TcCanonical
Documentation
mkCanonical :: CtFlavor -> EvVar -> TcS CanonicalCtsSource
mkCanonicals :: CtFlavor -> [EvVar] -> TcS CanonicalCtsSource
canWanteds :: [WantedEvVar] -> TcS CanonicalCtsSource
canEqLeafTyVarLeft :: CtFlavor -> CoVar -> TcTyVar -> TcType -> TcS (CanonicalCt, CanonicalCts)Source