Moduleghc-9.14.1GHC2021

GHC.Tc.Gen.Head

5 types
22 values

Packageghc-9.14.1
Exports27
LanguageGHC2021
LicenceBSD-3-Clause
SourceHead.hs

datadata HsExprArg (p :: TcPass) where

Constructors

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

Instances1Outputable

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

datadata TcPass

TcpRn TcpInst TcpTc

datadata QLFlag

DoQL NoQL

Instances1Outputable

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

datadata EWrap

Constructors

Instances1Outputable

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

datadata AppCtxt

Constructors

VAExpansion HsThingRn SrcSpan SrcSpan
VACall (HsExpr GhcRn) Int SrcSpan

Instances1Outputable

Outputable AppCtxtDefined in ghc-9.14.1 · GHC.Tc.Gen.Head

valueappCtxtLoc :: AppCtxt -> SrcSpan

valueinsideExpansion :: AppCtxt -> Bool

valuesplitHsApps

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

valuerebuildHsApps

:: (HsExpr GhcTc, AppCtxt)
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.

This performs a representation-polymorphism check to ensure that representation-polymorphic unlifted newtypes have been eta-expanded.

See Note [Eta-expanding rep-poly unlifted newtypes].

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

valueisHsValArg :: HsExprArg id -> Bool

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

valueisVisibleArg :: HsExprArg id -> Bool

valuetcInferAppHead :: (HsExpr GhcRn, AppCtxt) -> 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

valueaddHeadCtxt :: AppCtxt -> TcM a -> TcM a

valueaddExprCtxt :: HsExpr GhcRn -> TcRn a -> TcRn a

valueaddStmtCtxt :: ExprStmt GhcRn -> TcRn a -> TcRn a

valueaddFunResCtxt

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