Theoria.Kernel.Reference.Replay.Failure (theoria v0.7.0)

Copy Markdown View Source

Structured diagnostic for a reference environment replay failure.

Experimental before 1.0; the shape may change.

Summary

Types

t()

Functions

new(source_env, name, phase, reason, details \\ [])
with_replay_context(failure, checked_before_failure, pending_after_failure)

Types

t()

@type t() :: %Theoria.Kernel.Reference.Replay.Failure{
  checked_before_failure: [Theoria.Env.name()],
  declaration_kind: atom() | nil,
  dependency_path: [Theoria.Env.name()],
  details: keyword(),
  direct_dependencies: [Theoria.Env.name()],
  missing_dependencies: [Theoria.Env.name()],
  name: Theoria.Env.name(),
  pending_after_failure: [Theoria.Env.name()],
  phase: atom(),
  reason: term(),
  transitive_dependencies: [Theoria.Env.name()]
}

Functions

new(source_env, name, phase, reason, details \\ [])

@spec new(Theoria.Env.t(), Theoria.Env.name(), atom(), term(), keyword()) :: t()

with_replay_context(failure, checked_before_failure, pending_after_failure)

@spec with_replay_context(t(), [Theoria.Env.name()], [Theoria.Env.name()]) :: t()