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