| Safe Haskell | Safe-Infered |
|---|
Top.Constraint.Polymorphism
Description
- data PolymorphismConstraint info
- = Generalize Int (Tps, Tp) info
- | Instantiate Tp (Sigma Predicates) info
- | Skolemize Tp (Tps, Sigma Predicates) info
- | Implicit Tp (Tps, Tp) info
- (.::.) :: Tp -> Scheme Predicates -> info -> PolymorphismConstraint info
Documentation
data PolymorphismConstraint info Source
Constructors
| Generalize Int (Tps, Tp) info | |
| Instantiate Tp (Sigma Predicates) info | |
| Skolemize Tp (Tps, Sigma Predicates) info | |
| Implicit Tp (Tps, Tp) info |
Instances
| Functor PolymorphismConstraint | |
| Show info => Show (PolymorphismConstraint info) | |
| Substitutable (PolymorphismConstraint info) | |
| (HasBasic m info, HasTI m info, HasSubst m info, HasQual m info, PolyTypeConstraintInfo info) => Solvable (PolymorphismConstraint info) m |
(.::.) :: Tp -> Scheme Predicates -> info -> PolymorphismConstraint infoSource
The constructor of an instantiate (explicit instance) constraint.