Theoria.Env.Matcher (theoria v0.3.0)

Environment metadata for a generated matcher declaration.

Summary

Types

t()

Functions

new(name, source, type, info, opts \\ [])

Builds matcher declaration metadata from a source equation definition.

Types

t()

@type t() :: %Theoria.Env.Matcher{
  equation_identities: [atom()],
  info: Theoria.Equation.Matcher.Info.t(),
  level_params: [atom()],
  mode: :source_aligned | :matcher | :indexed_matcher,
  name: atom(),
  schema: Theoria.Equation.Schema.t() | nil,
  source: atom(),
  type: Theoria.Term.t(),
  value: Theoria.Term.t()
}

Functions

new(name, source, type, info, opts \\ [])

@spec new(
  atom(),
  atom(),
  Theoria.Term.t(),
  Theoria.Equation.Matcher.Info.t(),
  keyword()
) :: t()

Builds matcher declaration metadata from a source equation definition.