| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Core.Constraints
Description
Check universe constraints.
- ucheck :: Set ConstraintFC -> TC ()
Documentation
ucheck :: Set ConstraintFC -> TC () Source
Check that a list of universe constraints can be satisfied.