Theoria.Validation.InductiveCheck (theoria v0.3.0)

A Theoria-owned validation check for a built-in inductive specification.

Summary

Types

t()

Functions

check(prelude, inductive_check)

Checks the spec against its dependencies and verifies the installed prelude declaration.

new(category, name, spec, dependency_env)

Builds an inductive validation check.

Types

t()

@type t() :: %Theoria.Validation.InductiveCheck{
  category: atom(),
  dependency_env: Theoria.Env.t(),
  name: atom(),
  spec: Theoria.Inductive.Spec.t()
}

Functions

check(prelude, inductive_check)

@spec check(Theoria.Env.t(), t()) :: :ok | {:error, term()}

Checks the spec against its dependencies and verifies the installed prelude declaration.

new(category, name, spec, dependency_env)

@spec new(atom(), atom(), Theoria.Inductive.Spec.t(), Theoria.Env.t()) :: t()

Builds an inductive validation check.