ghc-7.0.3: The GHC API

TcCanonical

# Documentation

mkCanonical :: CtFlavor -> EvVar -> TcS CanonicalCts Source

mkCanonicals :: CtFlavor -> [EvVar] -> TcS CanonicalCts Source

mkCanonicalFEV :: FlavoredEvVar -> TcS CanonicalCts Source

canWanteds :: [WantedEvVar] -> TcS CanonicalCts Source

canGivens :: GivenLoc -> [EvVar] -> TcS CanonicalCts Source

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

canEq :: CtFlavor -> EvVar -> Type -> Type -> TcS CanonicalCts Source

rewriteWithFunDeps :: [Equation] -> [Xi] -> CtFlavor -> TcS (Maybe ([Xi], [Coercion], CanonicalCts))Source