Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
canonicalize :: Ct -> TcS (StopOrContinue Ct) #
makeSuperClasses :: [Ct] -> TcS [Ct] #
data StopOrContinue a #
Functor StopOrContinue # | |
Outputable a => Outputable (StopOrContinue a) # | |
stopWith :: CtEvidence -> String -> TcS (StopOrContinue a) #
continueWith :: a -> TcS (StopOrContinue a) #