Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcCanonical
Documentation
canonicalize :: Ct -> TcS (StopOrContinue Ct)
makeSuperClasses :: [Ct] -> TcS [Ct]
mkGivensWithSuperClasses :: CtLoc -> [EvId] -> TcS [Ct]
stopWith :: CtEvidence -> String -> TcS (StopOrContinue a)
continueWith :: a -> TcS (StopOrContinue a)