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_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 :: 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 :: HsExpr GhcTc -> AppCtxt -> [HsExprArg 'TcpTc] -> HsExpr GhcTc

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

isHsValArg :: HsExprArg id -> Bool

countLeadingValArgs :: [HsExprArg id] -> Int

isVisibleArg :: HsExprArg id -> Bool

pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc

countVisAndInvisValArgs :: [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

lookupParents :: Bool -> RdrName -> RnM [(RecSelParent, GlobalRdrElt)]

fieldNotInType :: RecSelParent -> RdrName -> TcRnMessage

notSelector :: Name -> TcRnMessage

nonBidirectionalErr :: Outputable name => name -> TcRnMessage

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

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