GHC.Tc.Gen.Head

Documentation

data HsExprArg (p :: TcPass) Source #

Constructors

EValArg 

Fields

ETypeArg 

Fields

EPrag AppCtxt (HsPragE (GhcPass (XPass p))) 
EWrap EWrap 
Instances
Instances details
OutputableBndrId (XPass p) => Outputable (HsExprArg p) Source # 
Instance details

Defined in GHC.Tc.Gen.Head

Methods

ppr :: HsExprArg p -> SDoc Source #

data EValArg (p :: TcPass) where Source #

Constructors

ValArg :: LHsExpr (GhcPass (XPass p)) -> EValArg p 
ValArgQL 

Fields

Instances
Instances details
OutputableBndrId (XPass p) => Outputable (EValArg p) Source # 
Instance details

Defined in GHC.Tc.Gen.Head

Methods

ppr :: EValArg p -> SDoc Source #

data TcPass Source #

Constructors

TcpRn 
TcpInst 
TcpTc 

data AppCtxt Source #

Constructors

VAExpansion (HsExpr GhcRn) SrcSpan 
VACall (HsExpr GhcRn) Int SrcSpan 
Instances
Instances details
Outputable AppCtxt Source # 
Instance details

Defined in GHC.Tc.Gen.Head

Methods

ppr :: AppCtxt -> SDoc Source #

appCtxtLoc :: AppCtxt -> SrcSpan Source #

insideExpansion :: AppCtxt -> Bool Source #

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

rebuildHsApps :: HsExpr GhcTc -> AppCtxt -> [HsExprArg 'TcpTc] -> HsExpr GhcTc Source #

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

isHsValArg :: HsExprArg id -> Bool Source #

countLeadingValArgs :: [HsExprArg id] -> Int Source #

isVisibleArg :: HsExprArg id -> Bool Source #

pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc Source #

countVisAndInvisValArgs :: [HsExprArg id] -> Arity Source #

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

countHsWrapperInvisArgs :: HsWrapper -> Arity Source #

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) Source #

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

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

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

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

tyConOf :: FamInstEnvs -> TcSigmaType -> Maybe TyCon Source #

tyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon Source #

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

fieldNotInType :: RecSelParent -> RdrName -> TcRnMessage Source #

notSelector :: Name -> TcRnMessage Source #

nonBidirectionalErr :: Outputable name => name -> TcRnMessage Source #

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

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