Theoria.Kernel.GeneratedTerm.Failure (theoria v0.6.0)

Copy Markdown View Source

Diagnostic payload for a generated-term differential failure.

Experimental in the 0.6 line; the shape may change before 1.0.

Summary

Types

t()

Functions

new(phase, generated, production, reference)

Types

t()

@type t() :: %Theoria.Kernel.GeneratedTerm.Failure{
  name: term(),
  phase: atom(),
  production: String.t(),
  reference: String.t(),
  term: String.t(),
  type: String.t()
}

Functions

new(phase, generated, production, reference)

@spec new(atom(), Theoria.Kernel.GeneratedTerm.t(), term(), term()) :: t()