Theoria.Validation.Corpus (theoria v0.4.0)

Copy Markdown View Source

Theoria-owned validation corpus consumed by local checks and external oracles.

Summary

Types

t()

Functions

build(opts \\ [])

Builds a validation corpus.

builtin_theorem_modules()

Returns theorem modules included in the default validation corpus.

valid_categories()

Returns valid validation categories.

Types

t()

@type t() :: %Theoria.Validation.Corpus{
  categories: [atom()],
  defeq_checks: [Theoria.Validation.DefeqCheck.t()],
  inductive_checks: [Theoria.Validation.InductiveCheck.t()],
  theorem_checks: [Theoria.Validation.TheoremModuleCheck.t()],
  theorem_modules: [module()]
}

Functions

build(opts \\ [])

@spec build(keyword()) :: t()

Builds a validation corpus.

builtin_theorem_modules()

@spec builtin_theorem_modules() :: [module()]

Returns theorem modules included in the default validation corpus.

valid_categories()

@spec valid_categories() :: [atom()]

Returns valid validation categories.