Documentation

canonicalize :: Ct -> TcS StopOrContinueSource

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

canEq :: SubGoalDepth -> CtFlavor -> EqVar -> Type -> Type -> TcS StopOrContinueSource

canEvVar :: EvVar -> PredTree -> SubGoalDepth -> CtFlavor -> TcS StopOrContinueSource

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

emitFDWorkAsWanted :: [(EvVar, WantedLoc)] -> SubGoalDepth -> TcS ()Source

emitFDWorkAsDerived :: [(EvVar, WantedLoc)] -> SubGoalDepth -> TcS ()Source

data StopOrContinue Source