Theoria.Level.ConstraintSet (theoria v0.5.0)

Explicit collection of universe-level ordering constraints.

Summary

failure()

t()

new()

@type failure() :: {:unsolved, Theoria.Level.Constraint.t()}

@type t() :: %Theoria.Level.ConstraintSet{constraints: [Theoria.Level.Constraint.t()]}

@spec add(t(), Theoria.Level.Constraint.t()) :: t()

@spec add_leq(t(), Theoria.Level.t(), Theoria.Level.t()) :: t()

@spec check(t()) :: :ok | {:error, [failure()]}

@spec explain(t()) :: [Theoria.Level.Solver.Explanation.t()]

@spec new() :: t()