| Safe Haskell | Safe-Infered |
|---|
Top.Constraint.Qualifier
Description
Constraints for overloading
Documentation
data ExtraConstraint info Source
Instances
| Functor ExtraConstraint | |
| Show info => Show (ExtraConstraint info) | |
| Substitutable (ExtraConstraint info) | |
| (HasQual m info, PolyTypeConstraintInfo info) => Solvable (ExtraConstraint info) m |