Theoria.Equation.Case.Template (theoria v0.3.0)

Copy Markdown View Source

Experimental/internal API for 0.2; subject to change before 0.3. Schematic equation case template used by schema generation.

Summary

Types

t()

Functions

new(suffix, left, right, opts \\ [])

Builds one equation case template.

Types

t()

@type t() :: %Theoria.Equation.Case.Template{
  binders: [Theoria.Equation.Signature.binder()],
  equality_type: Theoria.Term.t() | nil,
  left: Theoria.Term.t(),
  right: Theoria.Term.t(),
  suffix: atom()
}

Functions

new(suffix, left, right, opts \\ [])

@spec new(atom(), Theoria.Term.t(), Theoria.Term.t(), keyword()) :: t()

Builds one equation case template.