Theoria.Level.Solver (theoria v0.7.0)

Copy Markdown View Source

Small solver for universe-level ordering constraints.

Summary

Functions

explain(constraint)
leq?(left, right)
solve?(constraint)

Functions

explain(constraint)

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

leq?(left, right)

@spec leq?(Theoria.Level.t(), Theoria.Level.t()) :: boolean()

solve?(constraint)

@spec solve?(Theoria.Level.Constraint.t()) :: boolean()