| ||||||||||||||||
| ||||||||||||||||
| 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.6.0 | ||||||||||||||||