ghc-7.2.1: The GHC API

TcSMonad

Documentation

data WorkList

Instances

foldrWorkListM :: Monad m => (CanonicalCt -> r -> m r) -> r -> WorkList -> m r

type Xi = Type

data TcS a

Instances

traceTcS :: String -> SDoc -> TcS ()

traceFireTcS :: Int -> SDoc -> TcS ()

tryTcS :: TcS a -> TcS a

recoverTcS :: TcS a -> TcS a -> TcS a

wrapErrTcS :: TcM a -> TcS a

wrapWarnTcS :: TcM a -> TcS a

warnTcS :: CtLoc orig -> Bool -> SDoc -> TcS ()