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.