| Safe Haskell | None |
|---|
Core.Constraints
Description
Check universe constraints.
- ucheck :: [(UConstraint, FC)] -> TC ()
Documentation
ucheck :: [(UConstraint, FC)] -> TC ()Source
Check that a list of universe constraints can be satisfied.
idris
| Safe Haskell | None |
|---|
Core.Constraints
Description
Check universe constraints.
ucheck :: [(UConstraint, FC)] -> TC ()Source
Check that a list of universe constraints can be satisfied.