TcBinds

ghc-8.0.0.20160204: 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