Theoria.Inductive.Admission (theoria v0.3.0)

Staged admission pipeline for inductive specifications.

Summary

check(env, spec)

plan(env, spec)

@type validation_result() :: :ok | {:error, Theoria.Error.t()}

@spec check(Theoria.Env.t(), Theoria.Inductive.Spec.t()) :: validation_result()

@spec install(Theoria.Env.t(), Theoria.Inductive.Spec.t()) ::
  {:ok, Theoria.Env.t()} | {:error, Theoria.Error.t()}

@spec plan(Theoria.Env.t(), Theoria.Inductive.Spec.t()) ::
  {:ok, [Theoria.Inductive.Declaration.t()]} | {:error, Theoria.Error.t()}