| Safe Haskell | Safe-Infered |
|---|
Top.Constraint.Equality
Description
- data EqualityConstraint info = Equality Tp Tp info
- (.==.) :: Tp -> Tp -> info -> EqualityConstraint info
Documentation
data EqualityConstraint info Source
Instances
| Functor EqualityConstraint | |
| Show info => Show (EqualityConstraint info) | |
| Substitutable (EqualityConstraint info) | |
| (TypeConstraintInfo info, HasSubst m info, HasTI m info) => Solvable (EqualityConstraint info) m |
(.==.) :: Tp -> Tp -> info -> EqualityConstraint infoSource
The constructor of an equality constraint.