Theoria.Inductive.Admission (theoria v0.4.0)

Copy Markdown View Source

Staged admission pipeline for inductive specifications.

Summary

Types

validation_result()

Functions

check(env, spec)
install(env, spec)
plan(env, spec)

Types

validation_result()

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

Functions

check(env, spec)

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

install(env, spec)

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

plan(env, spec)

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