| Safe Haskell | Safe-Infered |
|---|
Top.Interface.Qualification
Description
Documentation
Constructors
| ClassQual |
Instances
| Embedded ClassQual (OverloadingState info) (OverloadingState info) | |
| Embedded ClassQual (Simple (OverloadingState info) x m) (OverloadingState info) |
deQual :: (Embedded ClassQual (s (StateFixT s m)) t, Monad m) => Select t (StateFixT s m) a -> StateFixT s m aSource
class Monad m => HasQual m info | m -> info whereSource
Methods
proveQualifier :: info -> Predicate -> m ()Source
assumeQualifier :: info -> Predicate -> m ()Source
changeQualifiers :: (Predicate -> m Predicate) -> m ()Source
allQualifiers :: m [Predicate]Source
generalizeWithQualifiers :: Tps -> Tp -> m (Scheme [Predicate])Source
improveQualifiers :: Bool -> m [(info, Tp, Tp)]Source
improveQualifiersNormal :: m [(info, Tp, Tp)]Source
improveQualifiersFinal :: m [(info, Tp, Tp)]Source
simplifyQualifiers :: m ()Source
ambiguousQualifiers :: m ()Source
Instances
| (Monad m, Embedded ClassQual (s (StateFixT s m)) t, HasQual (Select t (StateFixT s m)) info) => HasQual (StateFixT s m) info | |
| (MonadState s m, HasBasic m info, HasTI m info, TypeConstraintInfo info, Embedded ClassQual s (OverloadingState info)) => HasQual (Select (OverloadingState info) m) info |
proveQualifiers :: HasQual m info => info -> Predicates -> m ()Source
assumeQualifiers :: HasQual m info => info -> Predicates -> m ()Source
contextReduction :: (HasSubst m info, HasQual m info) => m ()Source
ambiguities :: (HasSubst m info, HasQual m info) => m ()Source