ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

TcSMonad

Documentation

data WorkList Source

Constructors

WorkList 

Fields

wl_eqs :: [Ct]
 
wl_funeqs :: [Ct]
 
wl_rest :: [Ct]
 

Instances

type Xi = TypeSource

data TcS a Source

Instances

tryTcS :: TcS a -> TcS aSource

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

updInertSet :: InertSet -> AtomicInert -> InertSetSource

updInertSetTcS :: AtomicInert -> TcS ()Source

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