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

Safe HaskellSafe-Infered

Top.Interface.Qualification

Description

 

Documentation

deQual :: (Embedded ClassQual (s (StateFixT s m)) t, Monad m) => Select t (StateFixT s m) a -> StateFixT s m aSource

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

improveQualifiersFix :: (HasSubst m info, HasQual m info) => Bool -> m ()Source