Theoria.Equation.Matcher.Statement.Dispatch (theoria v0.7.0)

Copy Markdown View Source

Dispatches indexed matcher equation statement planning to family-specific planners.

Summary

Functions

indexed(shape, equation, alternative)

Builds an indexed matcher statement with the planner registered for the shape family.

Functions

indexed(shape, equation, alternative)

@spec indexed(term(), Theoria.Equation.Matcher.Equation.t(), term()) ::
  {:ok, Theoria.Term.t()} | {:error, term()}

Builds an indexed matcher statement with the planner registered for the shape family.