Documentation

mkCanonical :: CtFlavor -> EvVar -> TcS CanonicalCtsSource

mkCanonicals :: CtFlavor -> [EvVar] -> TcS CanonicalCtsSource

canWanteds :: [WantedEvVar] -> TcS CanonicalCtsSource

canGivens :: GivenLoc -> [EvVar] -> TcS CanonicalCtsSource

canOccursCheck :: CtFlavor -> TcTyVar -> Xi -> TcS (Maybe Xi)Source

canEq :: CtFlavor -> EvVar -> Type -> Type -> TcS CanonicalCtsSource