Safe Haskell | None |
---|
TcBinds
Documentation
tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing)
tcTopBinds :: HsValBinds Name -> TcM (TcGblEnv, TcLclEnv)
tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv
tcHsBootSigs :: HsValBinds Name -> TcM [Id]
tcPolyBinds :: TopLevelFlag -> TcSigFun -> PragFun -> RecFlag -> RecFlag -> [LHsBind Name] -> TcM (LHsBinds TcId, [TcId], TopLevelFlag)
tcPolyCheck :: TcSigInfo -> PragFun -> RecFlag -> [LHsBind Name] -> TcM (LHsBinds TcId, [TcId], TopLevelFlag)
tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]
instTcTySigFromId :: SrcSpan -> Id -> TcM TcSigInfo