Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcBinds
Documentation
tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing)
tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv
tcValBinds :: TopLevelFlag -> [(RecFlag, LHsBinds Name)] -> [LSig Name] -> TcM thing -> TcM ([(RecFlag, LHsBinds TcId)], thing)
tcPolyCheck :: RecFlag -> TcPragEnv -> TcIdSigInfo -> LHsBind Name -> TcM (LHsBinds TcId, [TcId])
tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]
tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper
addTypecheckedBinds :: TcGblEnv -> [LHsBinds Id] -> TcGblEnv
tcUserTypeSig :: LHsSigWcType Name -> Maybe Name -> TcM TcIdSigInfo
instTcTySig :: UserTypeCtxt -> LHsSigType Name -> TcType -> Name -> TcM TcIdSigInfo
chooseInferredQuantifiers :: TcThetaType -> TcTyVarSet -> [TcTyVar] -> Maybe TcIdSigInfo -> TcM ([TcTyBinder], TcThetaType)
instTcTySigFromId :: Id -> TcM TcIdSigInfo
tcExtendTyVarEnvFromSig :: TcIdSigInfo -> TcM a -> TcM a