Theoria.Equation.Matcher.Descriptor.Alternative (theoria v0.3.0)

Copy Markdown View Source

Descriptor for one matcher alternative.

Summary

Types

t()

Types

t()

@type t() :: %Theoria.Equation.Matcher.Descriptor.Alternative{
  fields: [Theoria.Equation.Matcher.Descriptor.Field.t()],
  index_patterns: [Theoria.Term.t()],
  name: atom() | boolean(),
  pattern: [atom() | boolean()],
  recursive_fields: [Theoria.Equation.Matcher.Descriptor.Field.t()],
  recursive_hypotheses: [{atom(), Theoria.Term.t()}],
  result: Theoria.Term.t()
}