Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.Head

5 types
19 values

Packageghc-10.0.0.20260917
Exports24
LanguageGHC2024
LicenceBSD-3-Clause
SourceHead.hs

datadata HsExprArg (p :: TcPass) where

Constructors

EValArg :: HsExprLoc -> !XEVAType p -> LHsExpr (GhcPass (XPass p)) -> HsExprArg p
- ea_loc_span :: HsExprLoc
- ea_arg_ty :: !XEVAType p
- ea_arg :: LHsExpr (GhcPass (XPass p))
EValArgQL :: HsExprLoc -> Scaled TcSigmaType -> LHsExpr GhcRn -> HsExpr GhcRn -> (HsExpr GhcTc, SrcSpan) -> UsageEnv -> [HsExprArg 'TcpInst] -> WantedConstraints -> Bool -> TcRhoType -> HsExprArg 'TcpInst
- eaql_loc_span :: HsExprLoc
- eaql_arg_ty :: Scaled TcSigmaType
- eaql_larg :: LHsExpr GhcRn
- eaql_rn_fun :: HsExpr GhcRn
- eaql_tc_fun :: (HsExpr GhcTc, SrcSpan)
- eaql_fun_ue :: UsageEnv
- eaql_args :: [HsExprArg 'TcpInst]
- eaql_wanted :: WantedConstraints
- eaql_encl :: Bool
- eaql_res_rho :: TcRhoType
ETypeArg :: HsExprLoc -> LHsWcType GhcRn -> !XETAType p -> HsExprArg p
- ea_loc_span :: HsExprLoc
- ea_hs_ty :: LHsWcType GhcRn
- ea_ty_arg :: !XETAType p
EPrag :: HsExprLoc -> HsPragE (GhcPass (XPass p)) -> HsExprArg p
EWrap :: EWrap -> HsExprArg p

Instances1Outputable

OutputableBndrId (XPass p) => Outputable (HsExprArg p)Defined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Head

typetype HsExprLoc = EpAnn AnnListItem

datadata TcPass

TcpRn TcpInst TcpTc

datadata QLFlag

DoQL NoQL

Instances1Outputable

Outputable QLFlagDefined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Head

datadata EWrap

Constructors

EPar HsExprLoc
EExpand HsExprLoc HsCtxt
EHsWrap HsWrapper

Instances1Outputable

Outputable EWrapDefined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Head

valuesplitHsApps :: HsExpr GhcRn -> TcM (HsExpr GhcRn, [HsExprArg 'TcpRn])

Split the expression into an application chain See Note [splitHsApps] See Note [Application chains and heads]

valuerebuildHsApps

:: HsExpr GhcTc
the function being applied
-> [HsExprArg 'TcpTc]
the arguments to the function
-> HsExpr GhcTc

Rebuild an application: takes a type-checked application head expression together with arguments in the form of typechecked HsExprArgs and returns a typechecked application of the head to the arguments.

valueaddArgWrap :: HsWrapper -> [HsExprArg p] -> [HsExprArg p]

valueisHsValArg :: HsExprArg id -> Bool

valuegetFunSrcSpan :: [HsExprArg 'TcpRn] -> TcM SrcSpan

valueleadingValArgs :: [HsExprArg 'TcpRn] -> [LHsExpr GhcRn]

valueisVisibleArg :: HsExprArg id -> Bool

valuegetDeepSubsumptionFlag_DataConHead

:: HsExpr GhcTc
-> TcM DeepSubsumptionFlag

Variant of getDeepSubsumptionFlag which enables a top-level subsumption in order to implement the plan of Note [Typechecking data constructors].

valuetcInferAppHead :: (HsExpr GhcRn, SrcSpan) -> TcM (HsExpr GhcTc, TcSigmaType)

valuetcInferAppHead_maybe

:: HsExpr GhcRn
-> TcM (Maybe (HsExpr GhcTc, TcSigmaType))

valuetcInferId :: LocatedN (WithUserRdr Name) -> TcM (HsExpr GhcTc, TcSigmaType)

valuetcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc)

valuetcInferConLike :: ConLike -> TcM (HsExpr GhcTc, TcSigmaType)

valueobviousSig :: HsExpr GhcRn -> Maybe (LHsSigWcType GhcRn)

valuetyConOf :: FamInstEnvs -> TcSigmaType -> Maybe TyCon

valuetyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon

valuenonBidirectionalErr :: Name -> TcRnMessage

valuepprArgInst :: HsExprArg 'TcpInst -> SDoc

valueaddFunResCtxt

:: HasDebugCallStack
=> HsExpr GhcTc
-> [HsExprArg p]
-> TcType
-> ExpRhoType
-> TcM a
-> TcM a