Theoria.Simp.Step (theoria v0.7.0)

Copy Markdown View Source

Experimental/internal API for 0.2; subject to change before 0.3. One simplifier rewrite step for tracing and debugging.

Summary

Types

t()

Functions

proof_checked?(step)
proof_status(step)

Types

t()

@type t() :: %Theoria.Simp.Step{
  after: Theoria.Term.t(),
  before: Theoria.Term.t(),
  path: [atom()],
  proof_result: Theoria.Rewrite.Proof.Result.t() | nil,
  rule: atom(),
  source: atom()
}

Functions

proof_checked?(step)

@spec proof_checked?(t()) :: boolean()

proof_status(step)

@spec proof_status(t()) :: Theoria.Rewrite.Proof.Result.status() | nil