Theoria.Kernel.Generator (theoria v0.6.0)

Copy Markdown View Source

Experimental typed term generators for kernel/reference differential assurance.

The generators return %Theoria.Kernel.GeneratedTerm{} values that pair a closed term with its expected type and environment. They are deterministic so assurance code can use them without depending on test-only property libraries.

Summary

Functions

bool_terms(size, opts \\ [])
nat_terms(size, opts \\ [])
small_terms(opts \\ [])

Functions

bool_terms(size, opts \\ [])

@spec bool_terms(
  non_neg_integer(),
  keyword()
) :: [Theoria.Term.t()]

nat_terms(size, opts \\ [])

@spec nat_terms(
  non_neg_integer(),
  keyword()
) :: [Theoria.Term.t()]

small_terms(opts \\ [])

@spec small_terms(keyword()) :: [Theoria.Kernel.GeneratedTerm.t()]