Theoria.Kernel.ArtifactReplay.Skip (theoria v0.7.0)

Copy Markdown View Source

Experimental generated-artifact replay skip entry for Theoria 0.5 assurance reports.

The shape may change before 1.0.

Summary

Types

t()

Functions

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

Types

t()

@type t() :: %Theoria.Kernel.ArtifactReplay.Skip{
  details: term(),
  name: Theoria.Env.name() | Theoria.Equation.Identity.t(),
  reason: atom()
}

Functions

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

@spec new(Theoria.Env.name() | Theoria.Equation.Identity.t(), atom(), term()) :: t()