ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcBinds

Documentation

tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing) Source

tcTopBinds :: HsValBinds Name -> TcM (TcGblEnv, TcLclEnv) Source

tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv Source

tcHsBootSigs :: HsValBinds Name -> TcM [Id] Source

tcPolyCheck :: RecFlag -> PragFun -> TcSigInfo -> LHsBind Name -> TcM (LHsBinds TcId, [TcId], TopLevelFlag) Source

type PragFun = Name -> [LSig Name] Source

tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag] Source

tcVectDecls :: [LVectDecl Name] -> TcM [LVectDecl TcId] Source

mkPragFun :: [LSig Name] -> LHsBinds Name -> PragFun Source

data TcSigInfo Source

Constructors

TcSigInfo 

Fields

sig_id :: TcId
 
sig_tvs :: [(Maybe Name, TcTyVar)]
 
sig_nwcs :: [(Name, TcTyVar)]
 
sig_theta :: TcThetaType
 
sig_extra_cts :: Maybe SrcSpan
 
sig_tau :: TcSigmaType
 
sig_loc :: SrcSpan
 
sig_partial :: Bool
 
TcPatSynInfo TcPatSynInfo 

Instances

type TcSigFun = Name -> Maybe TcSigInfo Source

instTcTySig :: LHsType Name -> TcType -> Maybe SrcSpan -> [(Name, TcTyVar)] -> Name -> TcM TcSigInfo Source

instTcTySigFromId :: Id -> TcM TcSigInfo Source

findScopedTyVars :: LHsType Name -> TcType -> [TcTyVar] -> [(Maybe Name, TcTyVar)] Source

badBootDeclErr :: MsgDoc Source

mkExport :: PragFun -> [TyVar] -> TcThetaType -> MonoBindInfo -> TcM (ABExport Id) Source