ghc-7.6.1: The GHC API

Safe HaskellNone

TcSMonad

Documentation

data WorkList

Constructors

WorkList 

Fields

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

Instances

type Xi = Type

data TcS a

runTcS :: TcS a -> TcM (a, Bag EvBind)

failTcS :: SDoc -> TcS a

panicTcS :: SDoc -> TcS a

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

tryTcS :: TcS a -> TcS a

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

wrapErrTcS :: TcM a -> TcS a

wrapWarnTcS :: TcM a -> TcS a

data XEvTerm

Constructors

XEvTerm 

Fields

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

data MaybeNew

Constructors

Fresh CtEvidence 
Cached EvTerm 

partitionCCanMap :: (Ct -> Bool) -> CCanMap a -> (Cts, CCanMap a)

getRelevantCts :: Uniquable a => a -> CCanMap a -> (Cts, CCanMap a)

data CCanMap a

data PredMap a

Instances

data FamHeadMap a

Instances

matchFam :: TyCon -> [Type] -> TcS (Maybe (FamInst, [Type]))

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