Theoria.Kernel.GeneratedTerm (theoria v0.7.0)

Copy Markdown View Source

A generated closed term paired with its expected type for assurance tests.

Summary

Types

name()
t()

Functions

new(env, term, type, name \\ nil)

Types

name()

@type name() :: atom() | {atom(), non_neg_integer()}

t()

@type t() :: %Theoria.Kernel.GeneratedTerm{
  env: Theoria.Env.t(),
  name: name() | nil,
  term: Theoria.Term.t(),
  type: Theoria.Term.t()
}

Functions

new(env, term, type, name \\ nil)

@spec new(Theoria.Env.t(), Theoria.Term.t(), Theoria.Term.t(), name() | nil) :: t()