Safe Haskell | None |
---|
TcCanonical
Documentation
canonicalize :: Ct -> TcS StopOrContinue
canEq :: SubGoalDepth -> CtFlavor -> EqVar -> Type -> Type -> TcS StopOrContinue
canEvVar :: EvVar -> PredTree -> SubGoalDepth -> CtFlavor -> TcS StopOrContinue
rewriteWithFunDeps :: [Equation] -> [Xi] -> WantedLoc -> TcS (Maybe ([Xi], [TcCoercion], [(EvVar, WantedLoc)]))
emitFDWorkAsWanted :: [(EvVar, WantedLoc)] -> SubGoalDepth -> TcS ()
emitFDWorkAsDerived :: [(EvVar, WantedLoc)] -> SubGoalDepth -> TcS ()