Documentation

tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing)Source

tcTopBinds :: HsValBinds Name -> TcM (TcGblEnv, TcLclEnv)Source

tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnvSource

tcHsBootSigs :: HsValBinds Name -> TcM [Id]Source

tcPolyBinds :: TopLevelFlag -> TcSigFun -> PragFun -> RecFlag -> RecFlag -> [LHsBind Name] -> TcM (LHsBinds TcId, [TcId], TopLevelFlag)Source

tcPolyCheck :: TcSigInfo -> PragFun -> RecFlag -> [LHsBind Name] -> TcM (LHsBinds TcId, [TcId], TopLevelFlag)Source

type PragFun = Name -> [LSig Name]Source

tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]Source

tcVectDecls :: [LVectDecl Name] -> TcM [LVectDecl TcId]Source

mkPragFun :: [LSig Name] -> LHsBinds Name -> PragFunSource

data TcSigInfo Source

type TcSigFun = Name -> Maybe TcSigInfoSource

instTcTySig :: LHsType Name -> TcType -> Name -> TcM TcSigInfoSource

instTcTySigFromId :: SrcSpan -> Id -> TcM TcSigInfoSource

badBootDeclErr :: MsgDocSource