TcBinds

ghc-8.0.0.20160421: The GHC API

Safe Haskell | None
Language | Haskell2010

TcBinds

# 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 #

Constructors

TcIdSig TcIdSigInfo |
TcPatSynSig TcPatSynInfo |

Instances

Outputable TcSigInfo # |
Methods ppr :: TcSigInfo -> SDoc Source # pprPrec :: Rational -> TcSigInfo -> SDoc 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 #