TcCanonical
Documentation
mkCanonical :: CtFlavor -> EvVar -> TcS WorkList
mkCanonicals :: CtFlavor -> [EvVar] -> TcS WorkList
canWanteds :: [WantedEvVar] -> TcS WorkList
rewriteWithFunDeps :: [Equation] -> [Xi] -> WantedLoc -> TcS (Maybe ([Xi], [Coercion], [(EvVar, WantedLoc)]))
mkCanonicalFDAsDerived :: [(EvVar, WantedLoc)] -> TcS WorkList
mkCanonicalFDAsWanted :: [(EvVar, WantedLoc)] -> TcS WorkList