ghc-7.7.20130829: The GHC API

Safe HaskellNone

TcSMonad

Documentation

data WorkList Source

Constructors

WorkList 

Fields

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

Instances

type Xi = TypeSource

tryTcS :: TcS a -> TcS aSource

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

data XEvTerm Source

Constructors

XEvTerm 

Fields

ev_comp :: [EvTerm] -> EvTerm
 
ev_decomp :: EvTerm -> [EvTerm]
 

data Deque a Source

Constructors

DQ [a] [a] 

Instances

data CCanMap a Source

Instances

data PredMap a Source

Instances