Documentation

mkCanonical :: CtFlavor -> EvVar -> TcS WorkListSource

mkCanonicals :: CtFlavor -> [EvVar] -> TcS WorkListSource

mkCanonicalFEV :: FlavoredEvVar -> TcS WorkListSource

mkCanonicalFEVs :: Bag FlavoredEvVar -> TcS WorkListSource

canWanteds :: [WantedEvVar] -> TcS WorkListSource

canGivens :: GivenLoc -> [EvVar] -> TcS WorkListSource

canOccursCheck :: CtFlavor -> TcTyVar -> Xi -> TcS (Maybe Xi)Source

canEqToWorkList :: CtFlavor -> EvVar -> Type -> Type -> TcS WorkListSource

rewriteWithFunDeps :: [Equation] -> [Xi] -> WantedLoc -> TcS (Maybe ([Xi], [Coercion], [(EvVar, WantedLoc)]))Source

mkCanonicalFDAsDerived :: [(EvVar, WantedLoc)] -> TcS WorkListSource

mkCanonicalFDAsWanted :: [(EvVar, WantedLoc)] -> TcS WorkListSource