ghc-7.2.2: The GHC API

TcSMonad

Documentation

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

type Xi = TypeSource

data TcS a Source

Instances

tryTcS :: TcS a -> TcS aSource

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

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