Documentation

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

tcTopBinds :: [(RecFlag, LHsBinds Name)] -> [LSig Name] -> TcM (TcGblEnv, TcLclEnv) Source #

tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv Source #

tcValBinds :: TopLevelFlag -> [(RecFlag, LHsBinds Name)] -> [LSig Name] -> TcM thing -> TcM ([(RecFlag, LHsBinds TcId)], thing) Source #

tcHsBootSigs :: [(RecFlag, LHsBinds Name)] -> [LSig Name] -> TcM [Id] Source #

tcPolyCheck :: RecFlag -> TcPragEnv -> TcIdSigInfo -> LHsBind Name -> TcM (LHsBinds TcId, [TcId]) Source #

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

tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper Source #

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

addTypecheckedBinds :: TcGblEnv -> [LHsBinds Id] -> TcGblEnv Source #

data TcSigInfo Source #

type TcSigFun = Name -> Maybe TcSigInfo Source #

type TcPragEnv = NameEnv [LSig Name] Source #

mkPragEnv :: [LSig Name] -> LHsBinds Name -> TcPragEnv Source #

tcUserTypeSig :: LHsSigWcType Name -> Maybe Name -> TcM TcIdSigInfo Source #

instTcTySig :: UserTypeCtxt -> LHsSigType Name -> TcType -> Name -> TcM TcIdSigInfo Source #

chooseInferredQuantifiers :: TcThetaType -> TcTyVarSet -> [TcTyVar] -> Maybe TcIdSigInfo -> TcM ([TcTyBinder], TcThetaType) Source #

instTcTySigFromId :: Id -> TcM TcIdSigInfo Source #

tcExtendTyVarEnvFromSig :: TcIdSigInfo -> TcM a -> TcM a Source #

badBootDeclErr :: MsgDoc Source #