Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
canonicalize :: Ct -> TcS (StopOrContinue Ct) Source
data StopOrContinue a Source
stopWith :: CtEvidence -> String -> TcS (StopOrContinue a) Source
continueWith :: a -> TcS (StopOrContinue a) Source