| ||||||||||||||||||
| ||||||||||||||||||
| Documentation | ||||||||||||||||||
| tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing) | ||||||||||||||||||
| tcTopBinds :: HsValBinds Name -> TcM (LHsBinds TcId, TcLclEnv) | ||||||||||||||||||
| tcHsBootSigs :: HsValBinds Name -> TcM [Id] | ||||||||||||||||||
| tcMonoBinds :: [LHsBind Name] -> TcSigFun -> RecFlag -> TcM (LHsBinds TcId, [MonoBindInfo]) | ||||||||||||||||||
| tcPolyBinds :: TopLevelFlag -> TcSigFun -> TcPragFun -> RecFlag -> RecFlag -> LHsBinds Name -> TcM (LHsBinds TcId, [TcId]) | ||||||||||||||||||
| type TcPragFun = Name -> [LSig Name] | ||||||||||||||||||
| tcPrags :: Id -> [LSig Name] -> TcM [LPrag] | ||||||||||||||||||
| mkPragFun :: [LSig Name] -> TcPragFun | ||||||||||||||||||
| data TcSigInfo | ||||||||||||||||||
| ||||||||||||||||||
| type TcSigFun = Name -> Maybe [Name] | ||||||||||||||||||
| mkTcSigFun :: [LSig Name] -> TcSigFun | ||||||||||||||||||
| badBootDeclErr :: Message | ||||||||||||||||||
| Produced by Haddock version 2.7.2 | ||||||||||||||||||