Theoria.Equation.Recursor.Descriptor.Rule (theoria v0.3.0)

Copy Markdown View Source

Recursor rule shape used by matcher descriptor generation.

Summary

Types

t()

Functions

from_recursor_rule(rule, constructor_metadata, fields)

Types

t()

@type t() :: %Theoria.Equation.Recursor.Descriptor.Rule{
  constructor: atom(),
  constructor_metadata: Theoria.Env.Constructor.t() | nil,
  field_count: non_neg_integer(),
  fields: [Theoria.Equation.Recursor.Descriptor.Rule.Field.t()],
  index_patterns: [Theoria.Term.t()],
  recursive_fields: [Theoria.Equation.Recursor.Descriptor.Rule.Field.t()],
  rhs: Theoria.Term.t()
}

Functions

from_recursor_rule(rule, constructor_metadata, fields)

@spec from_recursor_rule(
  Theoria.Env.RecursorRule.t(),
  Theoria.Env.Constructor.t() | nil,
  [
    Theoria.Equation.Recursor.Descriptor.Rule.Field.t()
  ]
) :: t()