Theoria.Equation.FixedParams (theoria v0.7.0)

Experimental/internal API for 0.2; subject to change before 0.3. Minimal descriptor for fixed parameters of compiled equation definitions.

Summary

t()

analyze(map)

Derives fixed parameters from a definition signature.

Returns whether an argument position is fixed.

Builds a fixed-parameter descriptor.

@type t() :: %Theoria.Equation.FixedParams{positions: [non_neg_integer()]}

@spec analyze(map()) :: {:ok, t()} | {:error, term()}

Derives fixed parameters from a definition signature.

@spec fixed?(t(), non_neg_integer()) :: boolean()

Returns whether an argument position is fixed.

@spec new([non_neg_integer()]) :: t()

Builds a fixed-parameter descriptor.