ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

TcPat

Documentation

tcLetPat :: TcSigFun -> LetBndrSpec -> LPat Name -> TcSigmaType -> TcM a -> TcM (LPat TcId, a)Source

type TcSigFun = Name -> Maybe TcSigInfoSource

data TcSigInfo Source

Constructors

TcSigInfo 

Fields

sig_id :: TcId
 
sig_scoped :: [Name]
 
sig_tvs :: [TcTyVar]
 
sig_theta :: TcThetaType
 
sig_tau :: TcSigmaType
 
sig_loc :: SrcSpan
 

Instances

type TcPragFun = Name -> [LSig Name]Source

data LetBndrSpec Source

Constructors

LetLclBndr 
LetGblBndr TcPragFun 

addInlinePrags :: TcId -> [LSig Name] -> TcM TcIdSource

warnPrags :: Id -> [LSig Name] -> SDoc -> TcM ()Source

tcPat :: HsMatchContext Name -> LPat Name -> TcSigmaType -> TcM a -> TcM (LPat TcId, a)Source

tcPats :: HsMatchContext Name -> [LPat Name] -> [TcSigmaType] -> TcM a -> TcM ([LPat TcId], a)Source

newNoSigLetBndr :: LetBndrSpec -> Name -> TcType -> TcM TcIdSource

newSigLetBndr :: LetBndrSpec -> Name -> TcSigInfo -> TcM TcIdSource

addDataConStupidTheta :: DataCon -> [TcType] -> TcM ()Source

badFieldCon :: DataCon -> Name -> SDocSource

polyPatSig :: TcType -> SDocSource