Safe Haskell	None
Language	Haskell2010

GHC.Tc.Gen.Head

Synopsis

data HsExprArg (p :: TcPass)
- = EValArg {
  - eva_loc :: SrcSpan
  - eva_arg :: EValArg p
  - eva_arg_ty :: !(XEVAType p)
  }
- | ETypeArg {
  - eva_loc :: SrcSpan
  - eva_hs_ty :: LHsWcType GhcRn
  - eva_ty :: !(XETAType p)
  }
- | EPrag SrcSpan (HsPragE (GhcPass (XPass p)))
- | EPar SrcSpan
- | EWrap !(XEWrap p)
data EValArg (p :: TcPass) where
- ValArg :: LHsExpr (GhcPass (XPass p)) -> EValArg p
- ValArgQL :: {..} -> EValArg 'TcpInst
data TcPass
- = TcpRn
- | TcpInst
- | TcpTc
type Rebuilder = HsExpr GhcTc -> [HsExprArg 'TcpTc] -> HsExpr GhcTc
splitHsApps :: HsExpr GhcRn -> (HsExpr GhcRn, [HsExprArg 'TcpRn], Rebuilder)
addArgWrap :: HsWrapper -> [HsExprArg 'TcpInst] -> [HsExprArg 'TcpInst]
eValArgExpr :: EValArg 'TcpInst -> LHsExpr GhcRn
isHsValArg :: HsExprArg id -> Bool
setSrcSpanFromArgs :: [HsExprArg 'TcpRn] -> TcM a -> TcM a
countLeadingValArgs :: [HsExprArg id] -> Int
isVisibleArg :: HsExprArg id -> Bool
pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc
rebuildPrefixApps :: Rebuilder
tcInferAppHead :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (HsExpr GhcTc, TcSigmaType)
tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))
tcInferId :: Name -> TcM (HsExpr GhcTc, TcSigmaType)
tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc)
obviousSig :: HsExpr GhcRn -> Maybe (LHsSigWcType GhcRn)
addAmbiguousNameErr :: RdrName -> TcM ()
tyConOf :: FamInstEnvs -> TcSigmaType -> Maybe TyCon
tyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon
lookupParents :: RdrName -> RnM [(RecSelParent, GlobalRdrElt)]
fieldNotInType :: RecSelParent -> RdrName -> SDoc
notSelector :: Name -> SDoc
nonBidirectionalErr :: Outputable name => name -> TcM a
addExprCtxt :: HsExpr GhcRn -> TcRn a -> TcRn a
addLExprCtxt :: LHsExpr GhcRn -> TcRn a -> TcRn a
addFunResCtxt :: HsExpr GhcTc -> [HsExprArg 'TcpTc] -> TcType -> ExpRhoType -> TcM a -> TcM a

Documentation

data HsExprArg (p :: TcPass) Source #

Constructors

EValArg
Fields eva_loc :: SrcSpan eva_arg :: EValArg p eva_arg_ty :: !(XEVAType p)
ETypeArg
Fields eva_loc :: SrcSpan eva_hs_ty :: LHsWcType GhcRn eva_ty :: !(XETAType p)
EPrag SrcSpan (HsPragE (GhcPass (XPass p)))
EPar SrcSpan
EWrap !(XEWrap p)

Instances

Instances details

OutputableBndrId (XPass p) => Outputable (HsExprArg p) Source #
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: HsExprArg p -> SDoc

data EValArg (p :: TcPass) where Source #

Constructors

ValArg :: LHsExpr (GhcPass (XPass p)) -> EValArg p
ValArgQL
Fields :: { va_expr :: LHsExpr GhcRn , va_fun :: HsExpr GhcTc , va_args :: [HsExprArg 'TcpInst] , va_ty :: TcRhoType , va_rebuild :: Rebuilder } -> EValArg 'TcpInst

Instances

Instances details

OutputableBndrId (XPass p) => Outputable (EValArg p) Source #
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: EValArg p -> SDoc

data TcPass Source #

Constructors

TcpRn
TcpInst
TcpTc

type Rebuilder = HsExpr GhcTc -> [HsExprArg 'TcpTc] -> HsExpr GhcTc Source #

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

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

eValArgExpr :: EValArg 'TcpInst -> LHsExpr GhcRn Source #

isHsValArg :: HsExprArg id -> Bool Source #

setSrcSpanFromArgs :: [HsExprArg 'TcpRn] -> TcM a -> TcM a Source #

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

isVisibleArg :: HsExprArg id -> Bool Source #

pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc Source #

rebuildPrefixApps :: Rebuilder Source #

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

tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> 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 #

addAmbiguousNameErr :: RdrName -> TcM () Source #

This name really is ambiguous, so add a suitable "ambiguous occurrence" error, then continue

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

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

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

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

notSelector :: Name -> SDoc Source #

nonBidirectionalErr :: Outputable name => name -> TcM a Source #

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

addLExprCtxt :: LHsExpr GhcRn -> TcRn a -> TcRn a Source #

addFunResCtxt :: HsExpr GhcTc -> [HsExprArg 'TcpTc] -> TcType -> ExpRhoType -> TcM a -> TcM a Source #