Documentation
mkCanonical :: CtFlavor -> EvVar -> TcS CanonicalCtsSource
mkCanonicals :: CtFlavor -> [EvVar] -> TcS CanonicalCtsSource
canWanteds :: [WantedEvVar] -> TcS CanonicalCtsSource
rewriteWithFunDeps :: [Equation] -> [Xi] -> CtFlavor -> TcS (Maybe ([Xi], [Coercion], CanonicalCts))Source