Safe Haskell | None |
---|
TcCanonical
Documentation
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