Documentation
tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing)Source
tcTopBinds :: HsValBinds Name -> TcM (LHsBinds TcId, [LTcSpecPrag], TcLclEnv)Source
tcHsBootSigs :: HsValBinds Name -> TcM [Id]Source
tcPolyBinds :: TopLevelFlag -> SigFun -> PragFun -> RecFlag -> RecFlag -> [LHsBind Name] -> TcM (LHsBinds TcId, [TcId])Source
tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]Source
TcSigInfo | |
|