Theoria.Validation.DefeqCheck (theoria v0.3.0)

Copy Markdown View Source

A Theoria-owned definitional-equality validation check.

Summary

Types

t()

Functions

check(env, check)

Checks the equality in Theoria's own normalizer.

new(category, name, left, right)

Builds a definitional-equality check.

Types

t()

@type t() :: %Theoria.Validation.DefeqCheck{
  category: atom(),
  left: Theoria.Term.t(),
  name: String.t(),
  right: Theoria.Term.t()
}

Functions

check(env, check)

@spec check(Theoria.Env.t(), t()) :: :ok | {:error, t()}

Checks the equality in Theoria's own normalizer.

new(category, name, left, right)

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

Builds a definitional-equality check.