| Safe Haskell | Safe-Infered |
|---|
Top.Constraint.Information
Description
Documentation
class Show info => TypeConstraintInfo info whereSource
Methods
equalityTypePair :: (Tp, Tp) -> info -> infoSource
ambiguousPredicate :: Predicate -> info -> infoSource
unresolvedPredicate :: Predicate -> info -> infoSource
predicateArisingFrom :: (Predicate, info) -> info -> infoSource
parentPredicate :: Predicate -> info -> infoSource
escapedSkolems :: [Int] -> info -> infoSource
neverDirective :: (Predicate, info) -> info -> infoSource
closeDirective :: (String, info) -> info -> infoSource
disjointDirective :: (String, info) -> (String, info) -> info -> infoSource
Instances
class TypeConstraintInfo info => PolyTypeConstraintInfo info whereSource
Methods
instantiatedTypeScheme :: Forall (Qualification Predicates Tp) -> info -> infoSource
skolemizedTypeScheme :: (Tps, Forall (Qualification Predicates Tp)) -> info -> infoSource
Instances