Theoria.Kernel.MetadataReplayReport (theoria v0.7.0)

Copy Markdown View Source

Structured metadata/reduction replay assurance report.

Summary

Types

t()

Functions

checked(metadata_replay_report)
failure_count(metadata_replay_report)
new(entries)
source_count(metadata_replay_report, source)

Types

t()

@type t() :: %Theoria.Kernel.MetadataReplayReport{
  checked: non_neg_integer(),
  failures: [term()],
  sources: %{required(atom()) => non_neg_integer()}
}

Functions

checked(metadata_replay_report)

@spec checked(t()) :: non_neg_integer()

failure_count(metadata_replay_report)

@spec failure_count(t()) :: non_neg_integer()

new(entries)

@spec new([{atom(), non_neg_integer(), [term()]}]) :: t()

source_count(metadata_replay_report, source)

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