Theoria.Simp.Rule (theoria v0.7.0)

Experimental/internal API for 0.2; subject to change before 0.3. Simplifier rule metadata layered over untrusted rewrite rules.

Summary

t()

Builds simplifier rule metadata.

@type t() :: %Theoria.Simp.Rule{
  priority: integer(),
  rewrite: Theoria.Rewrite.Rule.t(),
  source: atom()
}

@spec new(
  Theoria.Rewrite.Rule.t(),
  keyword()
) :: t()

Builds simplifier rule metadata.