Theoria.Kernel.EnvironmentCorpus.Report (theoria v0.7.0)

Copy Markdown View Source

Structured report for deterministic environment corpus assurance.

Summary

Types

t()

Functions

case(report, name)
case_count(report, name)
case_names(report)
new(cases)
normalize_checks(report)
replay_checks(report)
total(report)

Types

t()

@type t() :: %Theoria.Kernel.EnvironmentCorpus.Report{
  cases: [Theoria.Kernel.EnvironmentCorpus.Report.Case.t()],
  failures: [term()],
  normalize_checks: non_neg_integer(),
  replay_checks: non_neg_integer(),
  total: non_neg_integer()
}

Functions

case(report, name)

@spec case(t(), atom()) :: Theoria.Kernel.EnvironmentCorpus.Report.Case.t() | nil

case_count(report, name)

@spec case_count(t(), atom()) :: non_neg_integer()

case_names(report)

@spec case_names(t()) :: [atom()]

new(cases)

@spec new([Theoria.Kernel.EnvironmentCorpus.Report.Case.t()]) :: t()

normalize_checks(report)

@spec normalize_checks(t()) :: non_neg_integer()

replay_checks(report)

@spec replay_checks(t()) :: non_neg_integer()

total(report)

@spec total(t()) :: non_neg_integer()