Theoria.Level.Solver.Explanation (theoria v0.7.0)

Copy Markdown View Source

Structured explanation for one universe-constraint solver result.

Summary

Types

rule()
status()
t()

Types

rule()

@type rule() ::
  :reflexive
  | :zero
  | :closed
  | :succ
  | :succ_right
  | :max_upper
  | :max_left
  | :max_right
  | :none

status()

@type status() :: :solved | :unsolved

t()

@type t() :: %Theoria.Level.Solver.Explanation{
  constraint: Theoria.Level.Constraint.t(),
  rule: rule(),
  status: status()
}