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

Safe HaskellSafe-Infered

Top.Implementation.Overloading

Description

 

Documentation

data OverloadingState info Source

Constructors

OverloadingState 

Fields

classEnvironment :: ClassEnvironment

All known type classes and instances

predicateMap :: PredicateMap info

Type class assertions

typeClassDirectives :: TypeClassDirectives info

Directives for type class assertions

Instances

simplify :: (HasTI m info, TypeConstraintInfo info, HasBasic m info) => OrderedTypeSynonyms -> ClassEnvironment -> TypeClassDirectives info -> [(Predicate, info)] -> m [(Predicate, info)]Source

ambiguous :: (HasBasic m info, HasTI m info, TypeConstraintInfo info) => [(Predicate, info)] -> m ()Source

modifyPredicateMap :: MonadState (OverloadingState info) m => (PredicateMap info -> PredicateMap info) -> m ()Source

proveQsSubst, generalizedQsSubst, assumeQsSubst :: (MonadState s m, Embedded ClassQual s (OverloadingState info)) => Select (OverloadingState info) m [(Predicate, info)]Source

substPredicate :: HasSubst m info => (Predicate, info) -> m (Predicate, info)Source

type TypeClassDirectives info = [TypeClassDirective info]Source

data TypeClassDirective info Source

Constructors

NeverDirective Predicate info 
CloseDirective String info 
DisjointDirective [String] info 
DefaultDirective String Tps info 

Instances

data PredicateMap info Source

Constructors

PredicateMap 

Fields

globalQualifiers :: [(Predicate, info)]
 
globalGeneralizedQs :: [(Predicate, info)]
 
globalAssumptions :: [(Predicate, info)]
 

Instances

unresolvedLabel :: ErrorLabelSource

disjointLabel :: ErrorLabelSource

ambiguousLabel :: ErrorLabelSource

missingInSignatureLabel :: ErrorLabelSource