| Safe Haskell | None |
|---|
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.
idris-0.9.11: Functional Programming Language with Dependent Types
| Safe Haskell | None |
|---|
Idris.Core.Constraints
Description
Check universe constraints.
ucheck :: [(UConstraint, FC)] -> TC ()Source
Check that a list of universe constraints can be satisfied.