GHC.Tc.Gen.Head

Documentation

data HsExprArg (p :: TcPass)

Constructors

EValArg

Fields

• eva_ctxt :: AppCtxt
• eva_arg :: EValArg p
• eva_arg_ty :: !(XEVAType p)

ETypeArg

Fields

• eva_ctxt :: AppCtxt
• eva_at :: !(LHsToken "@" GhcRn)
• eva_hs_ty :: LHsWcType GhcRn
• eva_ty :: !(XETAType p)

EPrag AppCtxt (HsPragE (GhcPass (XPass p)))

EWrap EWrap

Instances

OutputableBndrId (XPass p) => Outputable (HsExprArg p)

Defined in GHC.Tc.Gen.Head

Methods

ppr :: HsExprArg p -> SDoc

data EValArg (p :: TcPass) where

Constructors

ValArg :: forall (p :: TcPass). LHsExpr (GhcPass (XPass p)) -> EValArg p

ValArgQL

Fields

• :: { va_expr :: LHsExpr GhcRn
•    , va_fun :: (HsExpr GhcTc, AppCtxt)
•    , va_args :: [HsExprArg 'TcpInst]
•    , va_ty :: TcRhoType
•    } -> EValArg 'TcpInst

Instances

OutputableBndrId (XPass p) => Outputable (EValArg p)

Defined in GHC.Tc.Gen.Head

Methods

ppr :: EValArg p -> SDoc

data TcPass

Constructors

TcpRn

TcpInst

TcpTc

data AppCtxt

Constructors

VAExpansion (HsExpr GhcRn) SrcSpan

VACall (HsExpr GhcRn) Int SrcSpan

Instances

Outputable AppCtxt

Defined in GHC.Tc.Gen.Head

Methods

ppr :: AppCtxt -> SDoc

appCtxtLoc :: AppCtxt -> SrcSpan

insideExpansion :: AppCtxt -> Bool

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

rebuildHsApps

Arguments

:: HsExpr GhcTc

the function being applied

-> AppCtxt

-> [HsExprArg 'TcpTc]

the arguments to the function

-> TcRhoType

result type of the application

-> TcM (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 the remaining value arguments in an application have a fixed RuntimeRep.

See Note [Checking for representation-polymorphic built-ins].

addArgWrap :: HsWrapper -> [HsExprArg 'TcpInst] -> [HsExprArg 'TcpInst]

isHsValArg :: forall (id :: TcPass). HsExprArg id -> Bool

countLeadingValArgs :: forall (id :: TcPass). [HsExprArg id] -> Int

isVisibleArg :: forall (id :: TcPass). HsExprArg id -> Bool

pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc

countVisAndInvisValArgs :: forall (id :: TcPass). [HsExprArg id] -> Arity

Count visible and invisible value arguments in a list of HsExprArg arguments.

countHsWrapperInvisArgs :: HsWrapper -> Arity

Counts the number of invisible term-level arguments applied by an HsWrapper. Precondition: this wrapper contains no abstractions.

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

tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))

tcInferId :: Name -> TcM (HsExpr GhcTc, TcSigmaType)

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

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

tyConOf :: FamInstEnvs -> TcSigmaType -> Maybe TyCon

tyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon

fieldNotInType :: RecSelParent -> RdrName -> TcRnMessage

nonBidirectionalErr :: Name -> TcRnMessage

addHeadCtxt :: AppCtxt -> TcM a -> TcM a

addExprCtxt :: HsExpr GhcRn -> TcRn a -> TcRn a

addFunResCtxt :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> TcType -> ExpRhoType -> TcM a -> TcM a