| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.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.