Theoria.Equation.Matcher.Type.Alternative (theoria v0.5.0)

Copy Markdown View Source

Matcher branch type descriptor.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Matcher.Type.Alternative{
  binder_name: atom(),
  binder_type: Theoria.Term.t(),
  case_result: Theoria.Term.t() | nil,
  constructor: atom() | boolean(),
  fields: [Theoria.Equation.Matcher.Descriptor.Field.t()],
  index_patterns: [Theoria.Term.t()],
  motive_arguments: [Theoria.Term.t()],
  result_type: Theoria.Term.t()
}