Experimental/internal API for 0.2; subject to change before 0.3. Internal builder for checked matcher declaration types and bodies for supported fragments.
Summary
Functions
Returns branch descriptors for the matcher alternatives in a schema.
Returns branch descriptors from a matcher descriptor.
Builds a matcher type for supported schemas.
Builds a matcher type from a descriptor.
Experimentally emits an indexed matcher type term without enabling checked matcher declarations.
Experimentally emits an indexed matcher value term without enabling checked matcher declarations.
Plans matcher declaration binders and body from a descriptor.
Validates planned matcher declaration shape invariants.
Builds a matcher value for supported schemas.
Builds a matcher body from a descriptor.
Functions
@spec alternatives(Theoria.Equation.Schema.t(), Theoria.Equation.Matcher.Info.t()) :: [ Theoria.Equation.Matcher.Type.Alternative.t() ]
Returns branch descriptors for the matcher alternatives in a schema.
@spec alternatives_from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: [ Theoria.Equation.Matcher.Type.Alternative.t() ]
Returns branch descriptors from a matcher descriptor.
@spec build(Theoria.Equation.Schema.t(), Theoria.Equation.Matcher.Info.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Builds a matcher type for supported schemas.
@spec from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Builds a matcher type from a descriptor.
@spec indexed_from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Experimentally emits an indexed matcher type term without enabling checked matcher declarations.
@spec indexed_value_from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Experimentally emits an indexed matcher value term without enabling checked matcher declarations.
@spec shape_from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: {:ok, Theoria.Equation.Matcher.Type.Shape.t()} | {:error, term()}
Plans matcher declaration binders and body from a descriptor.
@spec validate_shape(Theoria.Equation.Matcher.Type.Shape.t()) :: :ok | {:error, term()}
Validates planned matcher declaration shape invariants.
@spec value(Theoria.Equation.Schema.t(), Theoria.Equation.Matcher.Info.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Builds a matcher value for supported schemas.
@spec value_from_descriptor(Theoria.Equation.Matcher.Descriptor.t()) :: {:ok, Theoria.Term.t()} | {:error, term()}
Builds a matcher body from a descriptor.