Theoria.Inductive.Constructor (theoria v0.7.0)

Copy Markdown View Source

Constructor declaration in an inductive specification.

Summary

Types

t()

Functions

result(constructor, spec)

Types

t()

@type t() :: %Theoria.Inductive.Constructor{name: atom(), type: Theoria.Term.t()}

Functions

result(constructor, spec)

@spec result(t(), Theoria.Inductive.Spec.t()) ::
  {:ok, Theoria.Inductive.Constructor.Result.t()} | {:error, Theoria.Error.t()}