| Safe Haskell | Safe-Infered |
|---|
Top.Implementation.Overloading
Description
Documentation
data OverloadingState info Source
Constructors
| OverloadingState | |
Fields
| |
Instances
| Embedded ClassQual (OverloadingState info) (OverloadingState info) | |
| Embedded ClassQual (Simple (OverloadingState info) x m) (OverloadingState info) | |
| Show (OverloadingState info) | |
| Empty (OverloadingState info) | |
| Show info => SolveState (OverloadingState info) | |
| (MonadState s m, HasBasic m info, HasTI m info, TypeConstraintInfo info, Embedded ClassQual s (OverloadingState info)) => HasQual (Select (OverloadingState info) m) info |
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
| Show (TypeClassDirective info) |
data PredicateMap info Source
Constructors
| PredicateMap | |
Fields
| |
Instances
| Show (PredicateMap info) | |
| Substitutable (PredicateMap info) | |
| Empty (PredicateMap info) |