Theoria.Kernel.GeneratedTerm.Report (theoria v0.6.0)

Copy Markdown View Source

Structured generated-term differential coverage summary.

Experimental in the 0.6 line; the shape may change before 1.0.

Summary

Types

t()

Functions

families(report)
family_count(report, family)
new(terms, opts)
total(report)

Types

t()

@type t() :: %Theoria.Kernel.GeneratedTerm.Report{
  families: %{required(atom()) => non_neg_integer()},
  max_terms: pos_integer(),
  size: non_neg_integer(),
  total: non_neg_integer()
}

Functions

families(report)

@spec families(t()) :: %{required(atom()) => non_neg_integer()}

family_count(report, family)

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

new(terms, opts)

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

total(report)

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