Safe Haskell | None |
---|---|
Language | Haskell98 |
- simplifyLevelConstraint :: Int -> Constraint -> Constraints -> Constraint
Documentation
simplifyLevelConstraint :: Int -> Constraint -> Constraints -> Constraint Source
simplifyLevelConstraint n c cs
turns an c
into an equality
constraint if it is an inequality constraint and the reverse
inequality is contained in cs
. Number n
is the length
of the context c
is defined in.