Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-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