Theoria.Equation.Matcher.Indexed.Realization (theoria v0.4.0)

Copy Markdown View Source

Experimental/internal API for 0.2; subject to change before 0.3. Realization planning for indexed matcher equations.

Summary

Functions

blockers(plan)

Returns the unique blocking reasons in declaration order.

plan(package)

Builds the current proof plan for indexed matcher equations.

realizable?(plan)

Returns true only when every indexed matcher equation has an implemented proof plan.

realize(package, equation_name)

Realizes one indexed matcher equation artifact without installing it.

realize_all(package)

Realizes every indexed matcher equation artifact without installing it.

Functions

blockers(plan)

@spec blockers(Theoria.Equation.Matcher.Indexed.Realization.Plan.t()) :: [atom()]

Returns the unique blocking reasons in declaration order.

plan(package)

@spec plan(Theoria.Equation.Matcher.Indexed.Package.t()) ::
  {:ok, Theoria.Equation.Matcher.Indexed.Realization.Plan.t()}

Builds the current proof plan for indexed matcher equations.

realizable?(plan)

@spec realizable?(Theoria.Equation.Matcher.Indexed.Realization.Plan.t()) :: boolean()

Returns true only when every indexed matcher equation has an implemented proof plan.

realize(package, equation_name)

@spec realize(
  Theoria.Equation.Matcher.Indexed.Package.t(),
  Theoria.Equation.Identity.t()
) ::
  {:ok, Theoria.Equation.Realized.t()} | {:error, term()}

Realizes one indexed matcher equation artifact without installing it.

realize_all(package)

@spec realize_all(Theoria.Equation.Matcher.Indexed.Package.t()) ::
  {:ok, [Theoria.Equation.Realized.t()]} | {:error, term()}

Realizes every indexed matcher equation artifact without installing it.