Safe Haskell	None
Language	GHC2021

Language.Haskell.Syntax.Extension

Synopsis

data NoExtField = NoExtField
noExtField :: NoExtField
data DataConCantHappen
dataConCantHappen :: DataConCantHappen -> a
type family XRec p a = (r :: Type) | r -> a
type family Anno a = (b :: Type)
class UnXRec p where
- unXRec :: XRec p a -> a
class MapXRec p where
- mapXRec :: Anno a ~ Anno b => (a -> b) -> XRec p a -> XRec p b
class WrapXRec p a where
- wrapXRec :: a -> XRec p a
type family IdP p
type LIdP p = XRec p (IdP p)
type family XHsValBinds x x'
type family XHsIPBinds x x'
type family XEmptyLocalBinds x x'
type family XXHsLocalBindsLR x x'
type family XValBinds x x'
type family XXValBindsLR x x'
type family XFunBind x x'
type family XPatBind x x'
type family XVarBind x x'
type family XPatSynBind x x'
type family XXHsBindsLR x x'
type family XPSB x x'
type family XXPatSynBind x x'
type family XIPBinds x
type family XXHsIPBinds x
type family XCIPBind x
type family XXIPBind x
type family XTypeSig x
type family XPatSynSig x
type family XClassOpSig x
type family XIdSig x
type family XFixSig x
type family XInlineSig x
type family XSpecSig x
type family XSpecInstSig x
type family XMinimalSig x
type family XSCCFunSig x
type family XCompleteMatchSig x
type family XXSig x
type family XFixitySig x
type family XXFixitySig x
type family XStandaloneKindSig x
type family XXStandaloneKindSig x
type family XTyClD x
type family XInstD x
type family XDerivD x
type family XValD x
type family XSigD x
type family XKindSigD x
type family XDefD x
type family XForD x
type family XWarningD x
type family XAnnD x
type family XRuleD x
type family XSpliceD x
type family XDocD x
type family XRoleAnnotD x
type family XXHsDecl x
type family XCHsGroup x
type family XXHsGroup x
type family XSpliceDecl x
type family XXSpliceDecl x
type family XFamDecl x
type family XSynDecl x
type family XDataDecl x
type family XClassDecl x
type family XXTyClDecl x
type family XCFunDep x
type family XXFunDep x
type family XCTyClGroup x
type family XXTyClGroup x
type family XNoSig x
type family XCKindSig x
type family XTyVarSig x
type family XXFamilyResultSig x
type family XCFamilyDecl x
type family XXFamilyDecl x
type family XCHsDataDefn x
type family XXHsDataDefn x
type family XCHsDerivingClause x
type family XXHsDerivingClause x
type family XDctSingle x
type family XDctMulti x
type family XXDerivClauseTys x
type family XConDeclGADT x
type family XConDeclH98 x
type family XXConDecl x
type family XCFamEqn x r
type family XXFamEqn x r
type family XCTyFamInstDecl x
type family XXTyFamInstDecl x
type family XCClsInstDecl x
type family XXClsInstDecl x
type family XClsInstD x
type family XDataFamInstD x
type family XTyFamInstD x
type family XXInstDecl x
type family XCDerivDecl x
type family XXDerivDecl x
type family XStockStrategy x
type family XAnyClassStrategy x
type family XNewtypeStrategy x
type family XViaStrategy x
type family XCDefaultDecl x
type family XXDefaultDecl x
type family XForeignImport x
type family XForeignExport x
type family XXForeignDecl x
type family XCImport x
type family XXForeignImport x
type family XCExport x
type family XXForeignExport x
type family XCRuleDecls x
type family XXRuleDecls x
type family XHsRule x
type family XXRuleDecl x
type family XCRuleBndr x
type family XRuleBndrSig x
type family XXRuleBndr x
type family XWarnings x
type family XXWarnDecls x
type family XWarning x
type family XXWarnDecl x
type family XHsAnnotation x
type family XXAnnDecl x
type family XCRoleAnnotDecl x
type family XXRoleAnnotDecl x
type family XCInjectivityAnn x
type family XXInjectivityAnn x
type family XCModule x
type family XXModule x
type family XVar x
type family XUnboundVar x
type family XRecSel x
type family XOverLabel x
type family XIPVar x
type family XOverLitE x
type family XLitE x
type family XLam x
type family XLamCase x
type family XApp x
type family XAppTypeE x
type family XOpApp x
type family XNegApp x
type family XPar x
type family XSectionL x
type family XSectionR x
type family XExplicitTuple x
type family XExplicitSum x
type family XCase x
type family XIf x
type family XMultiIf x
type family XLet x
type family XDo x
type family XExplicitList x
type family XRecordCon x
type family XRecordUpd x
type family XLHsRecUpdLabels x
type family XLHsOLRecUpdLabels x
type family XGetField x
type family XProjection x
type family XExprWithTySig x
type family XArithSeq x
type family XTypedBracket x
type family XUntypedBracket x
type family XTypedSplice x
type family XUntypedSplice x
type family XProc x
type family XStatic x
type family XTick x
type family XBinTick x
type family XPragE x
type family XEmbTy x
type family XForAll x
type family XQual x
type family XFunArr x
type family XXExpr x
type family XFunRhs
type family XCDotFieldOcc x
type family XXDotFieldOcc x
type family XSCC x
type family XXPragE x
type family XPresent x
type family XMissing x
type family XXTupArg x
type family XUntypedSpliceExpr x
type family XQuasiQuote x
type family XXUntypedSplice x
type family XExpBr x
type family XPatBr x
type family XDecBrL x
type family XDecBrG x
type family XTypBr x
type family XVarBr x
type family XXQuote x
type family XCmdTop x
type family XXCmdTop x
type family XMG x b
type family XXMatchGroup x b
type family XCMatch x b
type family XXMatch x b
type family XCGRHSs x b
type family XXGRHSs x b
type family XCGRHS x b
type family XXGRHS x b
type family XLastStmt x x' b
type family XBindStmt x x' b
type family XBodyStmt x x' b
type family XLetStmt x x' b
type family XParStmt x x' b
type family XTransStmt x x' b
type family XRecStmt x x' b
type family XXStmtLR x x' b
type family XCmdArrApp x
type family XCmdArrForm x
type family XCmdApp x
type family XCmdLam x
type family XCmdPar x
type family XCmdCase x
type family XCmdLamCase x
type family XCmdIf x
type family XCmdLet x
type family XCmdDo x
type family XCmdWrap x
type family XXCmd x
type family XParStmtBlock x x'
type family XXParStmtBlock x x'
type family XHsChar x
type family XHsCharPrim x
type family XHsString x
type family XHsMultilineString x
type family XHsStringPrim x
type family XHsInt x
type family XHsIntPrim x
type family XHsWordPrim x
type family XHsInt8Prim x
type family XHsInt16Prim x
type family XHsInt32Prim x
type family XHsInt64Prim x
type family XHsWord8Prim x
type family XHsWord16Prim x
type family XHsWord32Prim x
type family XHsWord64Prim x
type family XHsFloatPrim x
type family XHsDoublePrim x
type family XXLit x
type family XOverLit x
type family XXOverLit x
type family XWildPat x
type family XVarPat x
type family XLazyPat x
type family XAsPat x
type family XParPat x
type family XBangPat x
type family XListPat x
type family XTuplePat x
type family XSumPat x
type family XOrPat x
type family XConPat x
type family XViewPat x
type family XSplicePat x
type family XLitPat x
type family XNPat x
type family XNPlusKPat x
type family XSigPat x
type family XEmbTyPat x
type family XInvisPat x
type family XCoPat x
type family XXPat x
type family XHsFieldBind x
type family XHsQTvs x
type family XXLHsQTyVars x
type family XHsOuterImplicit x
type family XHsOuterExplicit x flag
type family XXHsOuterTyVarBndrs x
type family XHsSig x
type family XXHsSigType x
type family XHsWC x b
type family XXHsWildCardBndrs x b
type family XHsPS x
type family XXHsPatSigType x
type family XHsTP x
type family XXHsTyPat x
type family XForAllTy x
type family XQualTy x
type family XTyVar x
type family XAppTy x
type family XAppKindTy x
type family XFunTy x
type family XListTy x
type family XTupleTy x
type family XSumTy x
type family XOpTy x
type family XParTy x
type family XIParamTy x
type family XStarTy x
type family XKindSig x
type family XSpliceTy x
type family XDocTy x
type family XBangTy x
type family XRecTy x
type family XExplicitListTy x
type family XExplicitTupleTy x
type family XTyLit x
type family XWildCardTy x
type family XXType x
type family XNumTy x
type family XStrTy x
type family XCharTy x
type family XXTyLit x
type family XHsForAllVis x
type family XHsForAllInvis x
type family XXHsForAllTelescope x
type family XTyVarBndr x
type family XXTyVarBndr x
type family XConDeclField x
type family XXConDeclField x
type family XCFieldOcc x
type family XXFieldOcc x
type family XCImportDecl x
type family XXImportDecl x
type family ImportDeclPkgQual x
type family XIEVar x
type family XIEThingAbs x
type family XIEThingAll x
type family XIEThingWith x
type family XIEModuleContents x
type family XIEGroup x
type family XIEDoc x
type family XIEDocNamed x
type family XXIE x
type family XIEName p
type family XIEDefault p
type family XIEPattern p
type family XIEType p
type family XXIEWrappedName p
type family NoGhcTc p

Documentation

data NoExtField Source #

A placeholder type for TTG extension points that are not currently used to represent any particular value.

This should not be confused with DataConCantHappen, which are found in unused extension constructors and therefore should never be inhabited. In contrast, NoExtField is used in extension points (e.g., as the field of some constructor), so it must have an inhabitant to construct AST passes that manipulate fields with that extension point as their type.

Constructors

NoExtField

Instances

Instances details

Outputable NoExtField Source #
Instance details Defined in GHC.Hs.Extension Methods ppr :: NoExtField -> SDoc Source #
Data NoExtField Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoExtField -> c NoExtField # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtField # toConstr :: NoExtField -> Constr # dataTypeOf :: NoExtField -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtField) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtField) # gmapT :: (forall b. Data b => b -> b) -> NoExtField -> NoExtField # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtField -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtField -> r # gmapQ :: (forall d. Data d => d -> u) -> NoExtField -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtField -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtField -> m NoExtField # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtField -> m NoExtField # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtField -> m NoExtField #
Eq NoExtField Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods (==) :: NoExtField -> NoExtField -> Bool # (/=) :: NoExtField -> NoExtField -> Bool #
Ord NoExtField Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods compare :: NoExtField -> NoExtField -> Ordering # (<) :: NoExtField -> NoExtField -> Bool # (<=) :: NoExtField -> NoExtField -> Bool # (>) :: NoExtField -> NoExtField -> Bool # (>=) :: NoExtField -> NoExtField -> Bool # max :: NoExtField -> NoExtField -> NoExtField # min :: NoExtField -> NoExtField -> NoExtField #

noExtField :: NoExtField Source #

Used when constructing a term with an unused extension point.

data DataConCantHappen Source #

Instances

Instances details

Outputable DataConCantHappen Source #
Instance details Defined in GHC.Hs.Extension Methods ppr :: DataConCantHappen -> SDoc Source #
Data DataConCantHappen Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataConCantHappen -> c DataConCantHappen # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataConCantHappen # toConstr :: DataConCantHappen -> Constr # dataTypeOf :: DataConCantHappen -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataConCantHappen) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataConCantHappen) # gmapT :: (forall b. Data b => b -> b) -> DataConCantHappen -> DataConCantHappen # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataConCantHappen -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataConCantHappen -> r # gmapQ :: (forall d. Data d => d -> u) -> DataConCantHappen -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DataConCantHappen -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataConCantHappen -> m DataConCantHappen # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataConCantHappen -> m DataConCantHappen # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataConCantHappen -> m DataConCantHappen #
Eq DataConCantHappen Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods (==) :: DataConCantHappen -> DataConCantHappen -> Bool # (/=) :: DataConCantHappen -> DataConCantHappen -> Bool #
Ord DataConCantHappen Source #
Instance details Defined in Language.Haskell.Syntax.Extension Methods compare :: DataConCantHappen -> DataConCantHappen -> Ordering # (<) :: DataConCantHappen -> DataConCantHappen -> Bool # (<=) :: DataConCantHappen -> DataConCantHappen -> Bool # (>) :: DataConCantHappen -> DataConCantHappen -> Bool # (>=) :: DataConCantHappen -> DataConCantHappen -> Bool # max :: DataConCantHappen -> DataConCantHappen -> DataConCantHappen # min :: DataConCantHappen -> DataConCantHappen -> DataConCantHappen #

dataConCantHappen :: DataConCantHappen -> a Source #

Eliminate a DataConCantHappen. See Note [Constructor cannot occur].

type family XRec p a = (r :: Type) | r -> a Source #

GHC's L prefixed variants wrap their vanilla variant in this type family, to add SrcLoc info via Located. Other passes than GhcPass not interested in location information can define this as type instance XRec NoLocated a = a. See Note [XRec and SrcSpans in the AST]

Instances

Instances details

type XRec (GhcPass p) a Source #
Instance details Defined in GHC.Hs.Extension type XRec (GhcPass p) a = XRecGhc a

type family Anno a = (b :: Type) Source #

Instances

Instances details

type Anno ConLike Source #
Instance details Defined in GHC.Hs.Pat type Anno ConLike = SrcSpanAnnN
type Anno FastString Source #
Instance details Defined in GHC.Hs.Expr type Anno FastString = EpAnnCO
type Anno OverlapMode Source #
Instance details Defined in GHC.Hs.Decls type Anno OverlapMode = SrcSpanAnnP
type Anno CCallConv Source #
Instance details Defined in GHC.Hs.Decls type Anno CCallConv = EpaLocation
type Anno CExportSpec Source #
Instance details Defined in GHC.Hs.Decls type Anno CExportSpec = EpaLocation
type Anno CType Source #
Instance details Defined in GHC.Hs.Decls type Anno CType = SrcSpanAnnP
type Anno Safety Source #
Instance details Defined in GHC.Hs.Decls type Anno Safety = EpaLocation
type Anno Name Source #
Instance details Defined in GHC.Hs.Extension type Anno Name = SrcSpanAnnN
type Anno RdrName Source #
Instance details Defined in GHC.Hs.Extension type Anno RdrName = SrcSpanAnnN
type Anno StringLiteral Source #
Instance details Defined in GHC.Hs.Binds type Anno StringLiteral = EpAnnCO
type Anno Id Source #
Instance details Defined in GHC.Hs.Extension type Anno Id = SrcSpanAnnN
type Anno FieldLabelString Source #
Instance details Defined in GHC.Hs.Expr type Anno FieldLabelString = SrcSpanAnnN
type Anno ModuleName Source #
Instance details Defined in GHC.Hs.ImpExp type Anno ModuleName = SrcSpanAnnA
type Anno RecFieldsDotDot Source #
Instance details Defined in GHC.Hs.Pat type Anno RecFieldsDotDot = EpaLocation
type Anno HsIPName Source #
Instance details Defined in GHC.Hs.Type type Anno HsIPName = EpAnnCO
type Anno Bool Source #
Instance details Defined in GHC.Hs.Decls type Anno Bool = EpAnnCO
type Anno (LocatedA (IE (GhcPass p))) Source #
Instance details Defined in GHC.Hs.ImpExp type Anno (LocatedA (IE (GhcPass p))) = SrcSpanAnnA
type Anno (WarningTxt (GhcPass pass)) Source #
Instance details Defined in GHC.Unit.Module.Warnings type Anno (WarningTxt (GhcPass pass)) = SrcSpanAnnP
type Anno (FixitySig (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Binds type Anno (FixitySig (GhcPass p)) = SrcSpanAnnA
type Anno (IPBind (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Binds type Anno (IPBind (GhcPass p)) = SrcSpanAnnA
type Anno (Sig (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Binds type Anno (Sig (GhcPass p)) = SrcSpanAnnA
type Anno (AnnDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (AnnDecl (GhcPass p)) = SrcSpanAnnA
type Anno (ClsInstDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (ClsInstDecl (GhcPass p)) = SrcSpanAnnA
type Anno (ConDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (ConDecl (GhcPass p)) = SrcSpanAnnA
type Anno (DataFamInstDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DataFamInstDecl (GhcPass p)) = SrcSpanAnnA
type Anno (DefaultDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DefaultDecl (GhcPass p)) = SrcSpanAnnA
type Anno (DerivClauseTys (GhcPass _1)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DerivClauseTys (GhcPass _1)) = SrcSpanAnnC
type Anno (DerivDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DerivDecl (GhcPass p)) = SrcSpanAnnA
type Anno (DerivStrategy (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DerivStrategy (GhcPass p)) = EpAnnCO
type Anno (DocDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (DocDecl (GhcPass p)) = SrcSpanAnnA
type Anno (FamilyDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (FamilyDecl (GhcPass p)) = SrcSpanAnnA
type Anno (FamilyResultSig (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (FamilyResultSig (GhcPass p)) = EpAnnCO
type Anno (ForeignDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (ForeignDecl (GhcPass p)) = SrcSpanAnnA
type Anno (FunDep (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (FunDep (GhcPass p)) = SrcSpanAnnA
type Anno (HsDecl (GhcPass _1)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (HsDecl (GhcPass _1)) = SrcSpanAnnA
type Anno (HsDerivingClause (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (HsDerivingClause (GhcPass p)) = EpAnnCO
type Anno (InjectivityAnn (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (InjectivityAnn (GhcPass p)) = EpAnnCO
type Anno (InstDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (InstDecl (GhcPass p)) = SrcSpanAnnA
type Anno (RoleAnnotDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (RoleAnnotDecl (GhcPass p)) = SrcSpanAnnA
type Anno (RuleBndr (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (RuleBndr (GhcPass p)) = EpAnnCO
type Anno (RuleDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (RuleDecl (GhcPass p)) = SrcSpanAnnA
type Anno (RuleDecls (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (RuleDecls (GhcPass p)) = SrcSpanAnnA
type Anno (SpliceDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (SpliceDecl (GhcPass p)) = SrcSpanAnnA
type Anno (StandaloneKindSig (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (StandaloneKindSig (GhcPass p)) = SrcSpanAnnA
type Anno (TyClDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (TyClDecl (GhcPass p)) = SrcSpanAnnA
type Anno (TyFamInstDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (TyFamInstDecl (GhcPass p)) = SrcSpanAnnA
type Anno (WarnDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (WarnDecl (GhcPass p)) = SrcSpanAnnA
type Anno (WarnDecls (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (WarnDecls (GhcPass p)) = SrcSpanAnnA
type Anno (DotFieldOcc (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (DotFieldOcc (GhcPass p)) = EpAnnCO
type Anno (FieldLabelStrings (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (FieldLabelStrings (GhcPass p)) = EpAnnCO
type Anno (HsCmd (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (HsCmd (GhcPass p)) = SrcSpanAnnA
type Anno (HsCmdTop (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (HsCmdTop (GhcPass p)) = EpAnnCO
type Anno (HsExpr (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (HsExpr (GhcPass p)) = SrcSpanAnnA
type Anno (HsUntypedSplice (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Expr type Anno (HsUntypedSplice (GhcPass p)) = SrcSpanAnnA
type Anno (IE (GhcPass p)) Source #
Instance details Defined in GHC.Hs.ImpExp type Anno (IE (GhcPass p)) = SrcSpanAnnA
type Anno (IEWrappedName (GhcPass _1)) Source #
Instance details Defined in GHC.Hs.ImpExp type Anno (IEWrappedName (GhcPass _1)) = SrcSpanAnnA
type Anno (ImportDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.ImpExp type Anno (ImportDecl (GhcPass p)) = SrcSpanAnnA
type Anno (HsOverLit (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Pat type Anno (HsOverLit (GhcPass p)) = EpAnnCO
type Anno (Pat (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Pat type Anno (Pat (GhcPass p)) = SrcSpanAnnA
type Anno (BangType (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (BangType (GhcPass p)) = SrcSpanAnnA
type Anno (ConDeclField (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (ConDeclField (GhcPass p)) = SrcSpanAnnA
type Anno (FieldOcc (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (FieldOcc (GhcPass p)) = SrcSpanAnnA
type Anno (HsKind (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsKind (GhcPass p)) = SrcSpanAnnA
type Anno (HsSigType (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsSigType (GhcPass p)) = SrcSpanAnnA
type Anno (HsType (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsType (GhcPass p)) = SrcSpanAnnA
type Anno (Maybe Role) Source #
Instance details Defined in GHC.Hs.Decls type Anno (Maybe Role) = EpAnnCO
type Anno [LocatedA (HsExpr (GhcPass p))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (HsExpr (GhcPass p))] = SrcSpanAnnC
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p))))] = SrcSpanAnnLW
type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p))))] = SrcSpanAnnLW
type Anno [LocatedA (Match GhcPs (LocatedA (PatBuilder GhcPs)))] Source #
Instance details Defined in GHC.Parser.Types type Anno [LocatedA (Match GhcPs (LocatedA (PatBuilder GhcPs)))] = SrcSpanAnnLW
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsCmd (GhcPass pr))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsCmd (GhcPass pr))))] = SrcSpanAnnLW
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsExpr (GhcPass pr))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (HsExpr (GhcPass pr))))] = SrcSpanAnnLW
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] = SrcSpanAnnLW
type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr))))] = SrcSpanAnnLW
type Anno [LocatedA (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs)))] Source #
Instance details Defined in GHC.Parser.Types type Anno [LocatedA (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs)))] = SrcSpanAnnLW
type Anno [LocatedA (IE (GhcPass p))] Source #
Instance details Defined in GHC.Hs.ImpExp type Anno [LocatedA (IE (GhcPass p))] = SrcSpanAnnLI
type Anno [LocatedA (Pat (GhcPass p))] Source #
Instance details Defined in GHC.Hs.Expr type Anno [LocatedA (Pat (GhcPass p))] = EpaLocation
type Anno [LocatedA (ConDeclField (GhcPass _1))] Source #
Instance details Defined in GHC.Hs.Decls type Anno [LocatedA (ConDeclField (GhcPass _1))] = SrcSpanAnnL
type Anno [LocatedA (HsType (GhcPass p))] Source #
Instance details Defined in GHC.Hs.Type type Anno [LocatedA (HsType (GhcPass p))] = SrcSpanAnnC
type Anno (HsBindLR (GhcPass idL) (GhcPass idR)) Source #
Instance details Defined in GHC.Hs.Binds type Anno (HsBindLR (GhcPass idL) (GhcPass idR)) = SrcSpanAnnA
type Anno (FamEqn (GhcPass p) _1) Source #
Instance details Defined in GHC.Hs.Decls type Anno (FamEqn (GhcPass p) _1) = SrcSpanAnnA
type Anno (FamEqn p (LocatedA (HsType p))) Source #
Instance details Defined in GHC.Hs.Decls type Anno (FamEqn p (LocatedA (HsType p))) = SrcSpanAnnA
type Anno (GRHS (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (GRHS (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = EpAnnCO
type Anno (GRHS (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (GRHS (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = EpAnnCO
type Anno (GRHS GhcPs (LocatedA (PatBuilder GhcPs))) Source #
Instance details Defined in GHC.Parser.Types type Anno (GRHS GhcPs (LocatedA (PatBuilder GhcPs))) = EpAnnCO
type Anno (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (Match (GhcPass p) (LocatedA (HsCmd (GhcPass p)))) = SrcSpanAnnA
type Anno (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (Match (GhcPass p) (LocatedA (HsExpr (GhcPass p)))) = SrcSpanAnnA
type Anno (Match GhcPs (LocatedA (PatBuilder GhcPs))) Source #
Instance details Defined in GHC.Parser.Types type Anno (Match GhcPs (LocatedA (PatBuilder GhcPs))) = SrcSpanAnnA
type Anno (HsFieldBind lhs rhs) Source #
Instance details Defined in GHC.Hs.Pat type Anno (HsFieldBind lhs rhs) = SrcSpanAnnA
type Anno (HsOuterTyVarBndrs _1 (GhcPass _2)) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsOuterTyVarBndrs _1 (GhcPass _2)) = SrcSpanAnnA
type Anno (HsTyVarBndr _flag (GhcPass _1)) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsTyVarBndr _flag (GhcPass _1)) = SrcSpanAnnA
type Anno (HsTyVarBndr _flag GhcPs) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsTyVarBndr _flag GhcPs) = SrcSpanAnnA
type Anno (HsTyVarBndr _flag GhcRn) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsTyVarBndr _flag GhcRn) = SrcSpanAnnA
type Anno (HsTyVarBndr _flag GhcTc) Source #
Instance details Defined in GHC.Hs.Type type Anno (HsTyVarBndr _flag GhcTc) = SrcSpanAnnA
type Anno (SourceText, RuleName) Source #
Instance details Defined in GHC.Hs.Decls type Anno (SourceText, RuleName) = EpAnnCO
type Anno (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr)))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (StmtLR (GhcPass pl) (GhcPass pr) (LocatedA (body (GhcPass pr)))) = SrcSpanAnnA
type Anno (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs))) Source #
Instance details Defined in GHC.Parser.Types type Anno (StmtLR GhcPs GhcPs (LocatedA (PatBuilder GhcPs))) = SrcSpanAnnA
type Anno (StmtLR GhcRn GhcRn (LocatedA (body GhcRn))) Source #
Instance details Defined in GHC.Hs.Expr type Anno (StmtLR GhcRn GhcRn (LocatedA (body GhcRn))) = SrcSpanAnnA

class UnXRec p where Source #

We can strip off the XRec to access the underlying data. See Note [XRec and SrcSpans in the AST]

Methods

unXRec :: XRec p a -> a Source #

Instances

Instances details

UnXRec (GhcPass p) Source #
Instance details Defined in GHC.Hs.Extension Methods unXRec :: XRec (GhcPass p) a -> a Source #

class MapXRec p where Source #

We can map over the underlying type contained in an XRec while preserving the annotation as is.

Methods

mapXRec :: Anno a ~ Anno b => (a -> b) -> XRec p a -> XRec p b Source #

Instances

Instances details

MapXRec (GhcPass p) Source #
Instance details Defined in GHC.Hs.Extension Methods mapXRec :: Anno a ~ Anno b => (a -> b) -> XRec (GhcPass p) a -> XRec (GhcPass p) b Source #

class WrapXRec p a where Source #

The trivial wrapper that carries no additional information See Note [XRec and SrcSpans in the AST]

Methods

wrapXRec :: a -> XRec p a Source #

Instances

Instances details

HasAnnotation (Anno a) => WrapXRec (GhcPass p) a Source #
Instance details Defined in GHC.Hs.Expr Methods wrapXRec :: a -> XRec (GhcPass p) a Source #

type family IdP p Source #

Maps the "normal" id type for a given pass

Instances

Instances details

type IdP (GhcPass p) Source #
Instance details Defined in GHC.Hs.Extension type IdP (GhcPass p) = IdGhcP p

type LIdP p = XRec p (IdP p) Source #

type family XHsValBinds x x' Source #

Instances

Instances details

type XHsValBinds (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XHsValBinds (GhcPass pL) (GhcPass pR) = EpAnn (AnnList (EpToken "where"))

type family XHsIPBinds x x' Source #

Instances

Instances details

type XHsIPBinds (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XHsIPBinds (GhcPass pL) (GhcPass pR) = EpAnn (AnnList (EpToken "where"))

type family XEmptyLocalBinds x x' Source #

Instances

Instances details

type XEmptyLocalBinds (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XEmptyLocalBinds (GhcPass pL) (GhcPass pR) = NoExtField

type family XXHsLocalBindsLR x x' Source #

Instances

Instances details

type XXHsLocalBindsLR (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XXHsLocalBindsLR (GhcPass pL) (GhcPass pR) = DataConCantHappen

type family XValBinds x x' Source #

Instances

Instances details

type XValBinds (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XValBinds (GhcPass pL) (GhcPass pR) = AnnSortKey BindTag

type family XXValBindsLR x x' Source #

Instances

Instances details

type XXValBindsLR (GhcPass pL) pR Source #
Instance details Defined in GHC.Hs.Binds type XXValBindsLR (GhcPass pL) pR = NHsValBindsLR (GhcPass pL)

type family XFunBind x x' Source #

Instances

Instances details

type XFunBind (GhcPass pL) GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XFunBind (GhcPass pL) GhcPs = NoExtField
type XFunBind (GhcPass pL) GhcRn Source #	After the renamer (but before the type-checker), the FunBind extension field contains the locally-bound free variables of this defn. See Note [Bind free vars]
Instance details Defined in GHC.Hs.Binds type XFunBind (GhcPass pL) GhcRn = NameSet
type XFunBind (GhcPass pL) GhcTc Source #	After the type-checker, the FunBind extension field contains the ticks to put on the rhs, if any, and a coercion from the type of the MatchGroup to the type of the Id. Example: f :: Int -> forall a. a -> a f x y = y Then the MatchGroup will have type (Int -> a' -> a') (with a free type variable a'). The coercion will take a CoreExpr of this type and convert it to a CoreExpr of type Int -> forall a'. a' -> a' Notice that the coercion captures the free a'.
Instance details Defined in GHC.Hs.Binds type XFunBind (GhcPass pL) GhcTc = (HsWrapper, [CoreTickish])

type family XPatBind x x' Source #

Instances

Instances details

type XPatBind GhcPs (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XPatBind GhcPs (GhcPass pR) = NoExtField
type XPatBind GhcRn (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XPatBind GhcRn (GhcPass pR) = NameSet
type XPatBind GhcTc (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XPatBind GhcTc (GhcPass pR) = (Type, ([CoreTickish], [[CoreTickish]]))

type family XVarBind x x' Source #

Instances

Instances details

type XVarBind (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XVarBind (GhcPass pL) (GhcPass pR) = XVarBindGhc pL pR

type family XPatSynBind x x' Source #

Instances

Instances details

type XPatSynBind (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Binds type XPatSynBind (GhcPass pL) (GhcPass pR) = NoExtField

type family XXHsBindsLR x x' Source #

Instances

Instances details

type XXHsBindsLR GhcPs pR Source #
Instance details Defined in GHC.Hs.Binds type XXHsBindsLR GhcPs pR = DataConCantHappen
type XXHsBindsLR GhcRn pR Source #
Instance details Defined in GHC.Hs.Binds type XXHsBindsLR GhcRn pR = DataConCantHappen
type XXHsBindsLR GhcTc pR Source #
Instance details Defined in GHC.Hs.Binds type XXHsBindsLR GhcTc pR = AbsBinds

type family XPSB x x' Source #

Instances

Instances details

type XPSB (GhcPass idL) GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XPSB (GhcPass idL) GhcPs = AnnPSB
type XPSB (GhcPass idL) GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XPSB (GhcPass idL) GhcRn = NameSet
type XPSB (GhcPass idL) GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XPSB (GhcPass idL) GhcTc = NameSet

type family XXPatSynBind x x' Source #

Instances

Instances details

type XXPatSynBind (GhcPass idL) (GhcPass idR) Source #
Instance details Defined in GHC.Hs.Binds type XXPatSynBind (GhcPass idL) (GhcPass idR) = DataConCantHappen

type family XIPBinds x Source #

Instances

Instances details

type XIPBinds GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XIPBinds GhcPs = NoExtField
type XIPBinds GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XIPBinds GhcRn = NoExtField
type XIPBinds GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XIPBinds GhcTc = TcEvBinds

type family XXHsIPBinds x Source #

Instances

Instances details

type XXHsIPBinds (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XXHsIPBinds (GhcPass p) = DataConCantHappen

type family XCIPBind x Source #

Instances

Instances details

type XCIPBind GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcPs = EpToken "="
type XCIPBind GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcRn = NoExtField
type XCIPBind GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcTc = Id

type family XXIPBind x Source #

Instances

Instances details

type XXIPBind (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XXIPBind (GhcPass p) = DataConCantHappen

type family XTypeSig x Source #

Instances

Instances details

type XTypeSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XTypeSig (GhcPass p) = AnnSig

type family XPatSynSig x Source #

Instances

Instances details

type XPatSynSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XPatSynSig (GhcPass p) = AnnSig

type family XClassOpSig x Source #

Instances

Instances details

type XClassOpSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XClassOpSig (GhcPass p) = AnnSig

type family XIdSig x Source #

type family XFixSig x Source #

Instances

Instances details

type XFixSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XFixSig (GhcPass p) = ((EpaLocation, Maybe EpaLocation), SourceText)

type family XInlineSig x Source #

Instances

Instances details

type XInlineSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XInlineSig (GhcPass p) = (EpaLocation, EpToken "#-}", ActivationAnn)

type family XSpecSig x Source #

Instances

Instances details

type XSpecSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSpecSig (GhcPass p) = AnnSpecSig

type family XSpecInstSig x Source #

Instances

Instances details

type XSpecInstSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSpecInstSig (GhcPass p) = ((EpaLocation, EpToken "instance", EpToken "#-}"), SourceText)

type family XMinimalSig x Source #

Instances

Instances details

type XMinimalSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XMinimalSig (GhcPass p) = ((EpaLocation, EpToken "#-}"), SourceText)

type family XSCCFunSig x Source #

Instances

Instances details

type XSCCFunSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSCCFunSig (GhcPass p) = ((EpaLocation, EpToken "#-}"), SourceText)

type family XCompleteMatchSig x Source #

Instances

Instances details

type XCompleteMatchSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XCompleteMatchSig (GhcPass p) = ((EpaLocation, Maybe TokDcolon, EpToken "#-}"), SourceText)

type family XXSig x Source #

Instances

Instances details

type XXSig GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XXSig GhcPs = DataConCantHappen
type XXSig GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XXSig GhcRn = IdSig
type XXSig GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XXSig GhcTc = IdSig

type family XFixitySig x Source #

Instances

Instances details

type XFixitySig GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XFixitySig GhcPs = NamespaceSpecifier
type XFixitySig GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XFixitySig GhcRn = NamespaceSpecifier
type XFixitySig GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XFixitySig GhcTc = NoExtField

type family XXFixitySig x Source #

Instances

Instances details

type XXFixitySig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XXFixitySig (GhcPass p) = DataConCantHappen

type family XStandaloneKindSig x Source #

Instances

Instances details

type XStandaloneKindSig GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcPs = (EpToken "type", TokDcolon)
type XStandaloneKindSig GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcRn = NoExtField
type XStandaloneKindSig GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcTc = NoExtField

type family XXStandaloneKindSig x Source #

Instances

Instances details

type XXStandaloneKindSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Decls type XXStandaloneKindSig (GhcPass p) = DataConCantHappen

type family XTyClD x Source #

Instances

Instances details

type XTyClD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XTyClD (GhcPass _1) = NoExtField

type family XInstD x Source #

Instances

Instances details

type XInstD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XInstD (GhcPass _1) = NoExtField

type family XDerivD x Source #

Instances

Instances details

type XDerivD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDerivD (GhcPass _1) = NoExtField

type family XValD x Source #

Instances

Instances details

type XValD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XValD (GhcPass _1) = NoExtField

type family XSigD x Source #

Instances

Instances details

type XSigD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XSigD (GhcPass _1) = NoExtField

type family XKindSigD x Source #

Instances

Instances details

type XKindSigD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XKindSigD (GhcPass _1) = NoExtField

type family XDefD x Source #

Instances

Instances details

type XDefD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDefD (GhcPass _1) = NoExtField

type family XForD x Source #

Instances

Instances details

type XForD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XForD (GhcPass _1) = NoExtField

type family XWarningD x Source #

Instances

Instances details

type XWarningD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XWarningD (GhcPass _1) = NoExtField

type family XAnnD x Source #

Instances

Instances details

type XAnnD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XAnnD (GhcPass _1) = NoExtField

type family XRuleD x Source #

Instances

Instances details

type XRuleD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XRuleD (GhcPass _1) = NoExtField

type family XSpliceD x Source #

Instances

Instances details

type XSpliceD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XSpliceD (GhcPass _1) = NoExtField

type family XDocD x Source #

Instances

Instances details

type XDocD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDocD (GhcPass _1) = NoExtField

type family XRoleAnnotD x Source #

Instances

Instances details

type XRoleAnnotD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XRoleAnnotD (GhcPass _1) = NoExtField

type family XXHsDecl x Source #

Instances

Instances details

type XXHsDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXHsDecl (GhcPass _1) = DataConCantHappen

type family XCHsGroup x Source #

Instances

Instances details

type XCHsGroup (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCHsGroup (GhcPass _1) = NoExtField

type family XXHsGroup x Source #

Instances

Instances details

type XXHsGroup (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXHsGroup (GhcPass _1) = DataConCantHappen

type family XSpliceDecl x Source #

Instances

Instances details

type XSpliceDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XSpliceDecl (GhcPass _1) = NoExtField

type family XXSpliceDecl x Source #

Instances

Instances details

type XXSpliceDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXSpliceDecl (GhcPass _1) = DataConCantHappen

type family XFamDecl x Source #

Instances

Instances details

type XFamDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XFamDecl (GhcPass _1) = NoExtField

type family XSynDecl x Source #

Instances

Instances details

type XSynDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcPs = AnnSynDecl
type XSynDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcRn = NameSet
type XSynDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcTc = NameSet

type family XDataDecl x Source #

Instances

Instances details

type XDataDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcPs = NoExtField
type XDataDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcRn = DataDeclRn
type XDataDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcTc = DataDeclRn

type family XClassDecl x Source #

Instances

Instances details

type XClassDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcPs = (AnnClassDecl, EpLayout, AnnSortKey DeclTag)
type XClassDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcRn = NameSet
type XClassDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcTc = NameSet

type family XXTyClDecl x Source #

Instances

Instances details

type XXTyClDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXTyClDecl (GhcPass _1) = DataConCantHappen

type family XCFunDep x Source #

Instances

Instances details

type XCFunDep (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCFunDep (GhcPass _1) = TokRarrow

type family XXFunDep x Source #

Instances

Instances details

type XXFunDep (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXFunDep (GhcPass _1) = DataConCantHappen

type family XCTyClGroup x Source #

Instances

Instances details

type XCTyClGroup (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCTyClGroup (GhcPass _1) = NoExtField

type family XXTyClGroup x Source #

Instances

Instances details

type XXTyClGroup (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXTyClGroup (GhcPass _1) = DataConCantHappen

type family XNoSig x Source #

Instances

Instances details

type XNoSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XNoSig (GhcPass _1) = NoExtField

type family XCKindSig x Source #

Instances

Instances details

type XCKindSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCKindSig (GhcPass _1) = NoExtField

type family XTyVarSig x Source #

Instances

Instances details

type XTyVarSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XTyVarSig (GhcPass _1) = NoExtField

type family XXFamilyResultSig x Source #

Instances

Instances details

type XXFamilyResultSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXFamilyResultSig (GhcPass _1) = DataConCantHappen

type family XCFamilyDecl x Source #

Instances

Instances details

type XCFamilyDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCFamilyDecl (GhcPass _1) = AnnFamilyDecl

type family XXFamilyDecl x Source #

Instances

Instances details

type XXFamilyDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXFamilyDecl (GhcPass _1) = DataConCantHappen

type family XCHsDataDefn x Source #

Instances

Instances details

type XCHsDataDefn (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCHsDataDefn (GhcPass _1) = AnnDataDefn

type family XXHsDataDefn x Source #

Instances

Instances details

type XXHsDataDefn (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXHsDataDefn (GhcPass _1) = DataConCantHappen

type family XCHsDerivingClause x Source #

Instances

Instances details

type XCHsDerivingClause (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCHsDerivingClause (GhcPass _1) = EpToken "deriving"

type family XXHsDerivingClause x Source #

Instances

Instances details

type XXHsDerivingClause (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXHsDerivingClause (GhcPass _1) = DataConCantHappen

type family XDctSingle x Source #

Instances

Instances details

type XDctSingle (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDctSingle (GhcPass _1) = NoExtField

type family XDctMulti x Source #

Instances

Instances details

type XDctMulti (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDctMulti (GhcPass _1) = NoExtField

type family XXDerivClauseTys x Source #

Instances

Instances details

type XXDerivClauseTys (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXDerivClauseTys (GhcPass _1) = DataConCantHappen

type family XConDeclGADT x Source #

Instances

Instances details

type XConDeclGADT GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XConDeclGADT GhcPs = AnnConDeclGADT
type XConDeclGADT GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XConDeclGADT GhcRn = NoExtField
type XConDeclGADT GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XConDeclGADT GhcTc = NoExtField

type family XConDeclH98 x Source #

Instances

Instances details

type XConDeclH98 GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XConDeclH98 GhcPs = AnnConDeclH98
type XConDeclH98 GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XConDeclH98 GhcRn = NoExtField
type XConDeclH98 GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XConDeclH98 GhcTc = NoExtField

type family XXConDecl x Source #

Instances

Instances details

type XXConDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXConDecl (GhcPass _1) = DataConCantHappen

type family XCFamEqn x r Source #

Instances

Instances details

type XCFamEqn (GhcPass _1) r Source #
Instance details Defined in GHC.Hs.Decls type XCFamEqn (GhcPass _1) r = ([EpToken "("], [EpToken ")"], EpToken "=")

type family XXFamEqn x r Source #

Instances

Instances details

type XXFamEqn (GhcPass _1) r Source #
Instance details Defined in GHC.Hs.Decls type XXFamEqn (GhcPass _1) r = DataConCantHappen

type family XCTyFamInstDecl x Source #

Instances

Instances details

type XCTyFamInstDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCTyFamInstDecl (GhcPass _1) = (EpToken "type", EpToken "instance")

type family XXTyFamInstDecl x Source #

Instances

Instances details

type XXTyFamInstDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXTyFamInstDecl (GhcPass _1) = DataConCantHappen

type family XCClsInstDecl x Source #

Instances

Instances details

type XCClsInstDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcPs = (Maybe (LWarningTxt GhcPs), AnnClsInstDecl, AnnSortKey DeclTag)
type XCClsInstDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcRn = Maybe (LWarningTxt GhcRn)
type XCClsInstDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcTc = NoExtField

type family XXClsInstDecl x Source #

Instances

Instances details

type XXClsInstDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXClsInstDecl (GhcPass _1) = DataConCantHappen

type family XClsInstD x Source #

Instances

Instances details

type XClsInstD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XClsInstD (GhcPass _1) = NoExtField

type family XDataFamInstD x Source #

Instances

Instances details

type XDataFamInstD (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XDataFamInstD (GhcPass _1) = NoExtField

type family XTyFamInstD x Source #

Instances

Instances details

type XTyFamInstD GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XTyFamInstD GhcPs = NoExtField
type XTyFamInstD GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XTyFamInstD GhcRn = NoExtField
type XTyFamInstD GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XTyFamInstD GhcTc = NoExtField

type family XXInstDecl x Source #

Instances

Instances details

type XXInstDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXInstDecl (GhcPass _1) = DataConCantHappen

type family XCDerivDecl x Source #

Instances

Instances details

type XCDerivDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCDerivDecl GhcPs = (Maybe (LWarningTxt GhcPs), AnnDerivDecl)
type XCDerivDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCDerivDecl GhcRn = (Maybe (LWarningTxt GhcRn), AnnDerivDecl)
type XCDerivDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCDerivDecl GhcTc = AnnDerivDecl

type family XXDerivDecl x Source #

Instances

Instances details

type XXDerivDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXDerivDecl (GhcPass _1) = DataConCantHappen

type family XStockStrategy x Source #

Instances

Instances details

type XStockStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcPs = EpToken "stock"
type XStockStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcRn = NoExtField
type XStockStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcTc = NoExtField

type family XAnyClassStrategy x Source #

Instances

Instances details

type XAnyClassStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcPs = EpToken "anyclass"
type XAnyClassStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcRn = NoExtField
type XAnyClassStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcTc = NoExtField

type family XNewtypeStrategy x Source #

Instances

Instances details

type XNewtypeStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcPs = EpToken "newtype"
type XNewtypeStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcRn = NoExtField
type XNewtypeStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcTc = NoExtField

type family XViaStrategy x Source #

Instances

Instances details

type XViaStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XViaStrategy GhcPs = XViaStrategyPs
type XViaStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XViaStrategy GhcRn = LHsSigType GhcRn
type XViaStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XViaStrategy GhcTc = Type

type family XCDefaultDecl x Source #

Instances

Instances details

type XCDefaultDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcPs = (EpToken "default", EpToken "(", EpToken ")")
type XCDefaultDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcRn = NoExtField
type XCDefaultDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcTc = NoExtField

type family XXDefaultDecl x Source #

Instances

Instances details

type XXDefaultDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXDefaultDecl (GhcPass _1) = DataConCantHappen

type family XForeignImport x Source #

Instances

Instances details

type XForeignImport GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcPs = (EpToken "foreign", EpToken "import", TokDcolon)
type XForeignImport GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcRn = NoExtField
type XForeignImport GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcTc = Coercion

type family XForeignExport x Source #

Instances

Instances details

type XForeignExport GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcPs = (EpToken "foreign", EpToken "export", TokDcolon)
type XForeignExport GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcRn = NoExtField
type XForeignExport GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcTc = Coercion

type family XXForeignDecl x Source #

Instances

Instances details

type XXForeignDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXForeignDecl (GhcPass _1) = DataConCantHappen

type family XCImport x Source #

Instances

Instances details

type XCImport (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCImport (GhcPass _1) = LocatedE SourceText

type family XXForeignImport x Source #

Instances

Instances details

type XXForeignImport (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXForeignImport (GhcPass _1) = DataConCantHappen

type family XCExport x Source #

Instances

Instances details

type XCExport (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCExport (GhcPass _1) = LocatedE SourceText

type family XXForeignExport x Source #

Instances

Instances details

type XXForeignExport (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXForeignExport (GhcPass _1) = DataConCantHappen

type family XCRuleDecls x Source #

Instances

Instances details

type XCRuleDecls GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcPs = ((EpaLocation, EpToken "#-}"), SourceText)
type XCRuleDecls GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcRn = SourceText
type XCRuleDecls GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcTc = SourceText

type family XXRuleDecls x Source #

Instances

Instances details

type XXRuleDecls (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXRuleDecls (GhcPass _1) = DataConCantHappen

type family XHsRule x Source #

Instances

Instances details

type XHsRule GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XHsRule GhcPs = (HsRuleAnn, SourceText)
type XHsRule GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XHsRule GhcRn = (HsRuleRn, SourceText)
type XHsRule GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XHsRule GhcTc = (HsRuleRn, SourceText)

type family XXRuleDecl x Source #

Instances

Instances details

type XXRuleDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXRuleDecl (GhcPass _1) = DataConCantHappen

type family XCRuleBndr x Source #

Instances

Instances details

type XCRuleBndr (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCRuleBndr (GhcPass _1) = AnnTyVarBndr

type family XRuleBndrSig x Source #

Instances

Instances details

type XRuleBndrSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XRuleBndrSig (GhcPass _1) = AnnTyVarBndr

type family XXRuleBndr x Source #

Instances

Instances details

type XXRuleBndr (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXRuleBndr (GhcPass _1) = DataConCantHappen

type family XWarnings x Source #

Instances

Instances details

type XWarnings GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcPs = ((EpaLocation, EpToken "#-}"), SourceText)
type XWarnings GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcRn = SourceText
type XWarnings GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcTc = SourceText

type family XXWarnDecls x Source #

Instances

Instances details

type XXWarnDecls (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXWarnDecls (GhcPass _1) = DataConCantHappen

type family XWarning x Source #

Instances

Instances details

type XWarning (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XWarning (GhcPass _1) = (NamespaceSpecifier, (EpToken "[", EpToken "]"))

type family XXWarnDecl x Source #

Instances

Instances details

type XXWarnDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXWarnDecl (GhcPass _1) = DataConCantHappen

type family XHsAnnotation x Source #

Instances

Instances details

type XHsAnnotation (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XHsAnnotation (GhcPass _1) = (AnnPragma, SourceText)

type family XXAnnDecl x Source #

Instances

Instances details

type XXAnnDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXAnnDecl (GhcPass _1) = DataConCantHappen

type family XCRoleAnnotDecl x Source #

Instances

Instances details

type XCRoleAnnotDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcPs = (EpToken "type", EpToken "role")
type XCRoleAnnotDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcRn = NoExtField
type XCRoleAnnotDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcTc = NoExtField

type family XXRoleAnnotDecl x Source #

Instances

Instances details

type XXRoleAnnotDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXRoleAnnotDecl (GhcPass _1) = DataConCantHappen

type family XCInjectivityAnn x Source #

Instances

Instances details

type XCInjectivityAnn (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCInjectivityAnn (GhcPass _1) = TokRarrow

type family XXInjectivityAnn x Source #

Instances

Instances details

type XXInjectivityAnn (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XXInjectivityAnn (GhcPass _1) = DataConCantHappen

type family XCModule x Source #

Instances

Instances details

type XCModule GhcPs Source #
Instance details Defined in GHC.Hs type XCModule GhcPs = XModulePs
type XCModule GhcRn Source #
Instance details Defined in GHC.Hs type XCModule GhcRn = DataConCantHappen
type XCModule GhcTc Source #
Instance details Defined in GHC.Hs type XCModule GhcTc = DataConCantHappen

type family XXModule x Source #

Instances

Instances details

type XXModule p Source #
Instance details Defined in GHC.Hs type XXModule p = DataConCantHappen

type family XVar x Source #

Instances

Instances details

type XVar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XVar (GhcPass _1) = NoExtField

type family XUnboundVar x Source #

Instances

Instances details

type XUnboundVar GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XUnboundVar GhcPs = Maybe EpAnnUnboundVar
type XUnboundVar GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XUnboundVar GhcRn = NoExtField
type XUnboundVar GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XUnboundVar GhcTc = HoleExprRef

type family XRecSel x Source #

Instances

Instances details

type XRecSel GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XRecSel GhcPs = DataConCantHappen
type XRecSel GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XRecSel GhcRn = NoExtField
type XRecSel GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XRecSel GhcTc = NoExtField

type family XOverLabel x Source #

Instances

Instances details

type XOverLabel GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XOverLabel GhcPs = SourceText
type XOverLabel GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XOverLabel GhcRn = SourceText
type XOverLabel GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XOverLabel GhcTc = DataConCantHappen

type family XIPVar x Source #

Instances

Instances details

type XIPVar GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XIPVar GhcPs = NoExtField
type XIPVar GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XIPVar GhcRn = NoExtField
type XIPVar GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XIPVar GhcTc = DataConCantHappen

type family XOverLitE x Source #

Instances

Instances details

type XOverLitE (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XOverLitE (GhcPass _1) = NoExtField

type family XLitE x Source #

Instances

Instances details

type XLitE (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XLitE (GhcPass _1) = NoExtField

type family XLam x Source #

Instances

Instances details

type XLam (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XLam (GhcPass _1) = EpAnnLam

type family XLamCase x Source #

type family XApp x Source #

Instances

Instances details

type XApp (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XApp (GhcPass _1) = NoExtField

type family XAppTypeE x Source #

Instances

Instances details

type XAppTypeE GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XAppTypeE GhcPs = EpToken "@"
type XAppTypeE GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XAppTypeE GhcRn = NoExtField
type XAppTypeE GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XAppTypeE GhcTc = Type

type family XOpApp x Source #

Instances

Instances details

type XOpApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcPs = NoExtField
type XOpApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcRn = Fixity
type XOpApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcTc = DataConCantHappen

type family XNegApp x Source #

Instances

Instances details

type XNegApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcPs = EpToken "-"
type XNegApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcRn = NoExtField
type XNegApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcTc = NoExtField

type family XPar x Source #

Instances

Instances details

type XPar GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XPar GhcPs = (EpToken "(", EpToken ")")
type XPar GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XPar GhcRn = NoExtField
type XPar GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XPar GhcTc = NoExtField

type family XSectionL x Source #

Instances

Instances details

type XSectionL GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XSectionL GhcPs = NoExtField
type XSectionL GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XSectionL GhcRn = NoExtField
type XSectionL GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XSectionL GhcTc = DataConCantHappen

type family XSectionR x Source #

Instances

Instances details

type XSectionR GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XSectionR GhcPs = NoExtField
type XSectionR GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XSectionR GhcRn = NoExtField
type XSectionR GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XSectionR GhcTc = DataConCantHappen

type family XExplicitTuple x Source #

Instances

Instances details

type XExplicitTuple GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcPs = (EpaLocation, EpaLocation)
type XExplicitTuple GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcRn = NoExtField
type XExplicitTuple GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcTc = NoExtField

type family XExplicitSum x Source #

Instances

Instances details

type XExplicitSum GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExplicitSum GhcPs = AnnExplicitSum
type XExplicitSum GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExplicitSum GhcRn = NoExtField
type XExplicitSum GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExplicitSum GhcTc = [Type]

type family XCase x Source #

Instances

Instances details

type XCase GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCase GhcPs = EpAnnHsCase
type XCase GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCase GhcRn = HsMatchContextRn
type XCase GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCase GhcTc = HsMatchContextRn

type family XIf x Source #

Instances

Instances details

type XIf GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XIf GhcPs = AnnsIf
type XIf GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XIf GhcRn = NoExtField
type XIf GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XIf GhcTc = NoExtField

type family XMultiIf x Source #

Instances

Instances details

type XMultiIf GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcPs = (EpToken "if", EpToken "{", EpToken "}")
type XMultiIf GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcRn = NoExtField
type XMultiIf GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcTc = Type

type family XLet x Source #

Instances

Instances details

type XLet GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XLet GhcPs = (EpToken "let", EpToken "in")
type XLet GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XLet GhcRn = NoExtField
type XLet GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XLet GhcTc = NoExtField

type family XDo x Source #

Instances

Instances details

type XDo GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XDo GhcPs = AnnList EpaLocation
type XDo GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XDo GhcRn = NoExtField
type XDo GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XDo GhcTc = Type

type family XExplicitList x Source #

Instances

Instances details

type XExplicitList GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExplicitList GhcPs = AnnList ()
type XExplicitList GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExplicitList GhcRn = NoExtField
type XExplicitList GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExplicitList GhcTc = Type

type family XRecordCon x Source #

Instances

Instances details

type XRecordCon GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcPs = (Maybe (EpToken "{"), Maybe (EpToken "}"))
type XRecordCon GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcRn = NoExtField
type XRecordCon GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcTc = PostTcExpr

type family XRecordUpd x Source #

Instances

Instances details

type XRecordUpd GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcPs = (Maybe (EpToken "{"), Maybe (EpToken "}"))
type XRecordUpd GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcRn = NoExtField
type XRecordUpd GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcTc = DataConCantHappen

type family XLHsRecUpdLabels x Source #

Instances

Instances details

type XLHsRecUpdLabels GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XLHsRecUpdLabels GhcPs = NoExtField
type XLHsRecUpdLabels GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XLHsRecUpdLabels GhcRn = NonEmpty (HsRecUpdParent GhcRn)
type XLHsRecUpdLabels GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XLHsRecUpdLabels GhcTc = DataConCantHappen

type family XLHsOLRecUpdLabels x Source #

Instances

Instances details

type XLHsOLRecUpdLabels p Source #
Instance details Defined in GHC.Hs.Expr type XLHsOLRecUpdLabels p = NoExtField

type family XGetField x Source #

Instances

Instances details

type XGetField GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XGetField GhcPs = NoExtField
type XGetField GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XGetField GhcRn = NoExtField
type XGetField GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XGetField GhcTc = DataConCantHappen

type family XProjection x Source #

Instances

Instances details

type XProjection GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XProjection GhcPs = AnnProjection
type XProjection GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XProjection GhcRn = NoExtField
type XProjection GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XProjection GhcTc = DataConCantHappen

type family XExprWithTySig x Source #

Instances

Instances details

type XExprWithTySig GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcPs = TokDcolon
type XExprWithTySig GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcRn = NoExtField
type XExprWithTySig GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcTc = NoExtField

type family XArithSeq x Source #

Instances

Instances details

type XArithSeq GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcPs = AnnArithSeq
type XArithSeq GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcRn = NoExtField
type XArithSeq GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcTc = PostTcExpr

type family XTypedBracket x Source #

Instances

Instances details

type XTypedBracket GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcPs = (BracketAnn (EpToken "[\|\|") (EpToken "[e\|\|"), EpToken "\|\|]")
type XTypedBracket GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcRn = NoExtField
type XTypedBracket GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcTc = HsBracketTc

type family XUntypedBracket x Source #

Instances

Instances details

type XUntypedBracket GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XUntypedBracket GhcPs = NoExtField
type XUntypedBracket GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XUntypedBracket GhcRn = [PendingRnSplice]
type XUntypedBracket GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XUntypedBracket GhcTc = HsBracketTc

type family XTypedSplice x Source #

Instances

Instances details

type XTypedSplice GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcPs = EpToken "$$"
type XTypedSplice GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcRn = SplicePointName
type XTypedSplice GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcTc = DelayedSplice

type family XUntypedSplice x Source #

Instances

Instances details

type XUntypedSplice GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSplice GhcPs = NoExtField
type XUntypedSplice GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSplice GhcRn = HsUntypedSpliceResult (HsExpr GhcRn)
type XUntypedSplice GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSplice GhcTc = DataConCantHappen

type family XProc x Source #

Instances

Instances details

type XProc (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XProc (GhcPass _1) = (EpToken "proc", TokRarrow)

type family XStatic x Source #

Instances

Instances details

type XStatic GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcPs = EpToken "static"
type XStatic GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcRn = NameSet
type XStatic GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcTc = (NameSet, Type)

type family XTick x Source #

type family XBinTick x Source #

type family XPragE x Source #

Instances

Instances details

type XPragE (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XPragE (GhcPass _1) = NoExtField

type family XEmbTy x Source #

Instances

Instances details

type XEmbTy GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XEmbTy GhcPs = EpToken "type"
type XEmbTy GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XEmbTy GhcRn = NoExtField
type XEmbTy GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XEmbTy GhcTc = DataConCantHappen

type family XForAll x Source #

Instances

Instances details

type XForAll GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XForAll GhcPs = NoExtField
type XForAll GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XForAll GhcRn = NoExtField
type XForAll GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XForAll GhcTc = DataConCantHappen

type family XQual x Source #

Instances

Instances details

type XQual GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XQual GhcPs = NoExtField
type XQual GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XQual GhcRn = NoExtField
type XQual GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XQual GhcTc = DataConCantHappen

type family XFunArr x Source #

Instances

Instances details

type XFunArr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XFunArr GhcPs = NoExtField
type XFunArr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XFunArr GhcRn = NoExtField
type XFunArr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XFunArr GhcTc = DataConCantHappen

type family XXExpr x Source #

Instances

Instances details

type XXExpr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcPs = DataConCantHappen
type XXExpr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcRn = XXExprGhcRn
type XXExpr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcTc = XXExprGhcTc

type family XFunRhs Source #

Instances

Instances details

type XFunRhs Source #
Instance details Defined in GHC.Hs.Expr type XFunRhs = AnnFunRhs

type family XCDotFieldOcc x Source #

Instances

Instances details

type XCDotFieldOcc (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCDotFieldOcc (GhcPass _1) = AnnFieldLabel

type family XXDotFieldOcc x Source #

Instances

Instances details

type XXDotFieldOcc (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XXDotFieldOcc (GhcPass _1) = DataConCantHappen

type family XSCC x Source #

Instances

Instances details

type XSCC (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XSCC (GhcPass _1) = (AnnPragma, SourceText)

type family XXPragE x Source #

Instances

Instances details

type XXPragE (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XXPragE (GhcPass _1) = DataConCantHappen

type family XPresent x Source #

Instances

Instances details

type XPresent (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XPresent (GhcPass _1) = NoExtField

type family XMissing x Source #

Instances

Instances details

type XMissing GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XMissing GhcPs = EpAnn Bool
type XMissing GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XMissing GhcRn = NoExtField
type XMissing GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XMissing GhcTc = Scaled Type

type family XXTupArg x Source #

Instances

Instances details

type XXTupArg (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XXTupArg (GhcPass _1) = DataConCantHappen

type family XUntypedSpliceExpr x Source #

Instances

Instances details

type XUntypedSpliceExpr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcPs = EpToken "$"
type XUntypedSpliceExpr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcRn = EpToken "$"
type XUntypedSpliceExpr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcTc = DataConCantHappen

type family XQuasiQuote x Source #

Instances

Instances details

type XQuasiQuote p Source #
Instance details Defined in GHC.Hs.Expr type XQuasiQuote p = NoExtField

type family XXUntypedSplice x Source #

Instances

Instances details

type XXUntypedSplice p Source #
Instance details Defined in GHC.Hs.Expr type XXUntypedSplice p = DataConCantHappen

type family XExpBr x Source #

Instances

Instances details

type XExpBr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExpBr GhcPs = (BracketAnn (EpUniToken "[\|" "\10214") (EpToken "[e\|"), EpUniToken "\|]" "\10215")
type XExpBr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExpBr GhcRn = NoExtField
type XExpBr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExpBr GhcTc = DataConCantHappen

type family XPatBr x Source #

Instances

Instances details

type XPatBr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XPatBr GhcPs = (EpToken "[p\|", EpUniToken "\|]" "\10215")
type XPatBr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XPatBr GhcRn = NoExtField
type XPatBr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XPatBr GhcTc = DataConCantHappen

type family XDecBrL x Source #

Instances

Instances details

type XDecBrL GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XDecBrL GhcPs = (EpToken "[d\|", EpUniToken "\|]" "\10215", (EpToken "{", EpToken "}"))
type XDecBrL GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XDecBrL GhcRn = NoExtField
type XDecBrL GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XDecBrL GhcTc = DataConCantHappen

type family XDecBrG x Source #

Instances

Instances details

type XDecBrG GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XDecBrG GhcPs = NoExtField
type XDecBrG GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XDecBrG GhcRn = NoExtField
type XDecBrG GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XDecBrG GhcTc = DataConCantHappen

type family XTypBr x Source #

Instances

Instances details

type XTypBr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XTypBr GhcPs = (EpToken "[t\|", EpUniToken "\|]" "\10215")
type XTypBr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XTypBr GhcRn = NoExtField
type XTypBr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XTypBr GhcTc = DataConCantHappen

type family XVarBr x Source #

Instances

Instances details

type XVarBr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XVarBr GhcPs = EpaLocation
type XVarBr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XVarBr GhcRn = NoExtField
type XVarBr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XVarBr GhcTc = DataConCantHappen

type family XXQuote x Source #

Instances

Instances details

type XXQuote GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XXQuote GhcPs = DataConCantHappen
type XXQuote GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XXQuote GhcRn = DataConCantHappen
type XXQuote GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XXQuote GhcTc = NoExtField

type family XCmdTop x Source #

Instances

Instances details

type XCmdTop GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdTop GhcPs = NoExtField
type XCmdTop GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdTop GhcRn = CmdSyntaxTable GhcRn
type XCmdTop GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdTop GhcTc = CmdTopTc

type family XXCmdTop x Source #

Instances

Instances details

type XXCmdTop (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XXCmdTop (GhcPass _1) = DataConCantHappen

type family XMG x b Source #

Instances

Instances details

type XMG GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XMG GhcPs b = Origin
type XMG GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XMG GhcRn b = Origin
type XMG GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XMG GhcTc b = MatchGroupTc

type family XXMatchGroup x b Source #

Instances

Instances details

type XXMatchGroup (GhcPass _1) b Source #
Instance details Defined in GHC.Hs.Expr type XXMatchGroup (GhcPass _1) b = DataConCantHappen

type family XCMatch x b Source #

Instances

Instances details

type XCMatch (GhcPass _1) b Source #
Instance details Defined in GHC.Hs.Expr type XCMatch (GhcPass _1) b = NoExtField

type family XXMatch x b Source #

Instances

Instances details

type XXMatch (GhcPass _1) b Source #
Instance details Defined in GHC.Hs.Expr type XXMatch (GhcPass _1) b = DataConCantHappen

type family XCGRHSs x b Source #

Instances

Instances details

type XCGRHSs (GhcPass _1) _2 Source #
Instance details Defined in GHC.Hs.Expr type XCGRHSs (GhcPass _1) _2 = EpAnnComments

type family XXGRHSs x b Source #

Instances

Instances details

type XXGRHSs (GhcPass _1) _2 Source #
Instance details Defined in GHC.Hs.Expr type XXGRHSs (GhcPass _1) _2 = DataConCantHappen

type family XCGRHS x b Source #

Instances

Instances details

type XCGRHS (GhcPass _1) _2 Source #
Instance details Defined in GHC.Hs.Expr type XCGRHS (GhcPass _1) _2 = EpAnn GrhsAnn

type family XXGRHS x b Source #

Instances

Instances details

type XXGRHS (GhcPass _1) b Source #
Instance details Defined in GHC.Hs.Expr type XXGRHS (GhcPass _1) b = DataConCantHappen

type family XLastStmt x x' b Source #

Instances

Instances details

type XLastStmt (GhcPass _1) (GhcPass _2) b Source #
Instance details Defined in GHC.Hs.Expr type XLastStmt (GhcPass _1) (GhcPass _2) b = NoExtField

type family XBindStmt x x' b Source #

Instances

Instances details

type XBindStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcPs b = EpUniToken "<-" "\8592"
type XBindStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcRn b = XBindStmtRn
type XBindStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcTc b = XBindStmtTc

type family XBodyStmt x x' b Source #

Instances

Instances details

type XBodyStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XBodyStmt (GhcPass _1) GhcPs b = NoExtField
type XBodyStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XBodyStmt (GhcPass _1) GhcRn b = NoExtField
type XBodyStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XBodyStmt (GhcPass _1) GhcTc b = Type

type family XLetStmt x x' b Source #

Instances

Instances details

type XLetStmt (GhcPass _1) (GhcPass _2) b Source #
Instance details Defined in GHC.Hs.Expr type XLetStmt (GhcPass _1) (GhcPass _2) b = EpToken "let"

type family XParStmt x x' b Source #

Instances

Instances details

type XParStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XParStmt (GhcPass _1) GhcPs b = NoExtField
type XParStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XParStmt (GhcPass _1) GhcRn b = NoExtField
type XParStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XParStmt (GhcPass _1) GhcTc b = Type

type family XTransStmt x x' b Source #

Instances

Instances details

type XTransStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XTransStmt (GhcPass _1) GhcPs b = AnnTransStmt
type XTransStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XTransStmt (GhcPass _1) GhcRn b = NoExtField
type XTransStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XTransStmt (GhcPass _1) GhcTc b = Type

type family XRecStmt x x' b Source #

Instances

Instances details

type XRecStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XRecStmt (GhcPass _1) GhcPs b = AnnList (EpToken "rec")
type XRecStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XRecStmt (GhcPass _1) GhcRn b = NoExtField
type XRecStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XRecStmt (GhcPass _1) GhcTc b = RecStmtTc

type family XXStmtLR x x' b Source #

Instances

Instances details

type XXStmtLR (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XXStmtLR (GhcPass _1) GhcPs b = DataConCantHappen
type XXStmtLR (GhcPass x) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XXStmtLR (GhcPass x) GhcRn b = ApplicativeStmt (GhcPass x) GhcRn
type XXStmtLR (GhcPass x) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XXStmtLR (GhcPass x) GhcTc b = ApplicativeStmt (GhcPass x) GhcTc

type family XCmdArrApp x Source #

Instances

Instances details

type XCmdArrApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcPs = (IsUnicodeSyntax, EpaLocation)
type XCmdArrApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcRn = NoExtField
type XCmdArrApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcTc = Type

type family XCmdArrForm x Source #

Instances

Instances details

type XCmdArrForm GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcPs = AnnList ()
type XCmdArrForm GhcRn Source #	fixity (filled in by the renamer), for forms that were converted from OpApp's by the renamer
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcRn = Maybe Fixity
type XCmdArrForm GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcTc = Maybe Fixity

type family XCmdApp x Source #

Instances

Instances details

type XCmdApp (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCmdApp (GhcPass _1) = NoExtField

type family XCmdLam x Source #

Instances

Instances details

type XCmdLam (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCmdLam (GhcPass _1) = NoExtField

type family XCmdPar x Source #

Instances

Instances details

type XCmdPar GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdPar GhcPs = (EpToken "(", EpToken ")")
type XCmdPar GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdPar GhcRn = NoExtField
type XCmdPar GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdPar GhcTc = NoExtField

type family XCmdCase x Source #

Instances

Instances details

type XCmdCase GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdCase GhcPs = EpAnnHsCase
type XCmdCase GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdCase GhcRn = NoExtField
type XCmdCase GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdCase GhcTc = NoExtField

type family XCmdLamCase x Source #

Instances

Instances details

type XCmdLamCase (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCmdLamCase (GhcPass _1) = EpAnnLam

type family XCmdIf x Source #

Instances

Instances details

type XCmdIf GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdIf GhcPs = AnnsIf
type XCmdIf GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdIf GhcRn = NoExtField
type XCmdIf GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdIf GhcTc = NoExtField

type family XCmdLet x Source #

Instances

Instances details

type XCmdLet GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdLet GhcPs = (EpToken "let", EpToken "in")
type XCmdLet GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdLet GhcRn = NoExtField
type XCmdLet GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdLet GhcTc = NoExtField

type family XCmdDo x Source #

Instances

Instances details

type XCmdDo GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdDo GhcPs = AnnList EpaLocation
type XCmdDo GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdDo GhcRn = NoExtField
type XCmdDo GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdDo GhcTc = Type

type family XCmdWrap x Source #

Instances

Instances details

type XCmdWrap (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCmdWrap (GhcPass _1) = NoExtField

type family XXCmd x Source #

Instances

Instances details

type XXCmd GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XXCmd GhcPs = DataConCantHappen
type XXCmd GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XXCmd GhcRn = DataConCantHappen
type XXCmd GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XXCmd GhcTc = HsWrap HsCmd

type family XParStmtBlock x x' Source #

Instances

Instances details

type XParStmtBlock (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Expr type XParStmtBlock (GhcPass pL) (GhcPass pR) = NoExtField

type family XXParStmtBlock x x' Source #

Instances

Instances details

type XXParStmtBlock (GhcPass pL) (GhcPass pR) Source #
Instance details Defined in GHC.Hs.Expr type XXParStmtBlock (GhcPass pL) (GhcPass pR) = DataConCantHappen

type family XHsChar x Source #

Instances

Instances details

type XHsChar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsChar (GhcPass _1) = SourceText

type family XHsCharPrim x Source #

Instances

Instances details

type XHsCharPrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsCharPrim (GhcPass _1) = SourceText

type family XHsString x Source #

Instances

Instances details

type XHsString (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsString (GhcPass _1) = SourceText

type family XHsMultilineString x Source #

Instances

Instances details

type XHsMultilineString (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsMultilineString (GhcPass _1) = SourceText

type family XHsStringPrim x Source #

Instances

Instances details

type XHsStringPrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsStringPrim (GhcPass _1) = SourceText

type family XHsInt x Source #

Instances

Instances details

type XHsInt (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsInt (GhcPass _1) = NoExtField

type family XHsIntPrim x Source #

Instances

Instances details

type XHsIntPrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsIntPrim (GhcPass _1) = SourceText

type family XHsWordPrim x Source #

Instances

Instances details

type XHsWordPrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsWordPrim (GhcPass _1) = SourceText

type family XHsInt8Prim x Source #

Instances

Instances details

type XHsInt8Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsInt8Prim (GhcPass _1) = SourceText

type family XHsInt16Prim x Source #

Instances

Instances details

type XHsInt16Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsInt16Prim (GhcPass _1) = SourceText

type family XHsInt32Prim x Source #

Instances

Instances details

type XHsInt32Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsInt32Prim (GhcPass _1) = SourceText

type family XHsInt64Prim x Source #

Instances

Instances details

type XHsInt64Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsInt64Prim (GhcPass _1) = SourceText

type family XHsWord8Prim x Source #

Instances

Instances details

type XHsWord8Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsWord8Prim (GhcPass _1) = SourceText

type family XHsWord16Prim x Source #

Instances

Instances details

type XHsWord16Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsWord16Prim (GhcPass _1) = SourceText

type family XHsWord32Prim x Source #

Instances

Instances details

type XHsWord32Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsWord32Prim (GhcPass _1) = SourceText

type family XHsWord64Prim x Source #

Instances

Instances details

type XHsWord64Prim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsWord64Prim (GhcPass _1) = SourceText

type family XHsFloatPrim x Source #

Instances

Instances details

type XHsFloatPrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsFloatPrim (GhcPass _1) = NoExtField

type family XHsDoublePrim x Source #

Instances

Instances details

type XHsDoublePrim (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XHsDoublePrim (GhcPass _1) = NoExtField

type family XXLit x Source #

Instances

Instances details

type XXLit GhcPs Source #
Instance details Defined in GHC.Hs.Lit type XXLit GhcPs = DataConCantHappen
type XXLit GhcRn Source #
Instance details Defined in GHC.Hs.Lit type XXLit GhcRn = DataConCantHappen
type XXLit GhcTc Source #
Instance details Defined in GHC.Hs.Lit type XXLit GhcTc = HsLitTc

type family XOverLit x Source #

Instances

Instances details

type XOverLit GhcPs Source #
Instance details Defined in GHC.Hs.Lit type XOverLit GhcPs = NoExtField
type XOverLit GhcRn Source #
Instance details Defined in GHC.Hs.Lit type XOverLit GhcRn = OverLitRn
type XOverLit GhcTc Source #
Instance details Defined in GHC.Hs.Lit type XOverLit GhcTc = OverLitTc

type family XXOverLit x Source #

Instances

Instances details

type XXOverLit (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Lit type XXOverLit (GhcPass _1) = DataConCantHappen

type family XWildPat x Source #

Instances

Instances details

type XWildPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XWildPat GhcPs = NoExtField
type XWildPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XWildPat GhcRn = NoExtField
type XWildPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XWildPat GhcTc = Type

type family XVarPat x Source #

Instances

Instances details

type XVarPat (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Pat type XVarPat (GhcPass _1) = NoExtField

type family XLazyPat x Source #

Instances

Instances details

type XLazyPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcPs = EpToken "~"
type XLazyPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcRn = NoExtField
type XLazyPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcTc = NoExtField

type family XAsPat x Source #

Instances

Instances details

type XAsPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XAsPat GhcPs = EpToken "@"
type XAsPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XAsPat GhcRn = NoExtField
type XAsPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XAsPat GhcTc = NoExtField

type family XParPat x Source #

Instances

Instances details

type XParPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XParPat GhcPs = (EpToken "(", EpToken ")")
type XParPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XParPat GhcRn = NoExtField
type XParPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XParPat GhcTc = NoExtField

type family XBangPat x Source #

Instances

Instances details

type XBangPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcPs = EpToken "!"
type XBangPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcRn = NoExtField
type XBangPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcTc = NoExtField

type family XListPat x Source #

Instances

Instances details

type XListPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XListPat GhcPs = AnnList ()
type XListPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XListPat GhcRn = NoExtField
type XListPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XListPat GhcTc = Type

type family XTuplePat x Source #

Instances

Instances details

type XTuplePat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcPs = (EpaLocation, EpaLocation)
type XTuplePat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcRn = NoExtField
type XTuplePat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcTc = [Type]

type family XSumPat x Source #

Instances

Instances details

type XSumPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XSumPat GhcPs = EpAnnSumPat
type XSumPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XSumPat GhcRn = NoExtField
type XSumPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XSumPat GhcTc = [Type]

type family XOrPat x Source #

Instances

Instances details

type XOrPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XOrPat GhcPs = NoExtField
type XOrPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XOrPat GhcRn = NoExtField
type XOrPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XOrPat GhcTc = Type

type family XConPat x Source #

Instances

Instances details

type XConPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcPs = (Maybe (EpToken "{"), Maybe (EpToken "}"))
type XConPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcRn = NoExtField
type XConPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcTc = ConPatTc

type family XViewPat x Source #

Instances

Instances details

type XViewPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XViewPat GhcPs = TokRarrow
type XViewPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XViewPat GhcRn = Maybe (HsExpr GhcRn)
type XViewPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XViewPat GhcTc = Type

type family XSplicePat x Source #

Instances

Instances details

type XSplicePat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XSplicePat GhcPs = NoExtField
type XSplicePat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XSplicePat GhcRn = HsUntypedSpliceResult (Pat GhcRn)
type XSplicePat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XSplicePat GhcTc = DataConCantHappen

type family XLitPat x Source #

Instances

Instances details

type XLitPat (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Pat type XLitPat (GhcPass _1) = NoExtField

type family XNPat x Source #

Instances

Instances details

type XNPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcPs = EpToken "-"
type XNPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcRn = EpToken "-"
type XNPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcTc = Type

type family XNPlusKPat x Source #

Instances

Instances details

type XNPlusKPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XNPlusKPat GhcPs = EpToken "+"
type XNPlusKPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XNPlusKPat GhcRn = NoExtField
type XNPlusKPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XNPlusKPat GhcTc = Type

type family XSigPat x Source #

Instances

Instances details

type XSigPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcPs = TokDcolon
type XSigPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcRn = NoExtField
type XSigPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcTc = Type

type family XEmbTyPat x Source #

Instances

Instances details

type XEmbTyPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XEmbTyPat GhcPs = EpToken "type"
type XEmbTyPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XEmbTyPat GhcRn = NoExtField
type XEmbTyPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XEmbTyPat GhcTc = Type

type family XInvisPat x Source #

Instances

Instances details

type XInvisPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XInvisPat GhcPs = (EpToken "@", Specificity)
type XInvisPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XInvisPat GhcRn = Specificity
type XInvisPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XInvisPat GhcTc = Type

type family XCoPat x Source #

type family XXPat x Source #

Instances

Instances details

type XXPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XXPat GhcPs = DataConCantHappen
type XXPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XXPat GhcRn = HsPatExpansion (Pat GhcRn) (Pat GhcRn)
type XXPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XXPat GhcTc = XXPatGhcTc

type family XHsFieldBind x Source #

Instances

Instances details

type XHsFieldBind _1 Source #
Instance details Defined in GHC.Hs.Pat type XHsFieldBind _1 = Maybe (EpToken "=")

type family XHsQTvs x Source #

Instances

Instances details

type XHsQTvs GhcPs Source #
Instance details Defined in GHC.Hs.Type type XHsQTvs GhcPs = NoExtField
type XHsQTvs GhcRn Source #
Instance details Defined in GHC.Hs.Type type XHsQTvs GhcRn
type XHsQTvs GhcTc Source #
Instance details Defined in GHC.Hs.Type type XHsQTvs GhcTc

type family XXLHsQTyVars x Source #

Instances

Instances details

type XXLHsQTyVars (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXLHsQTyVars (GhcPass _1) = DataConCantHappen

type family XHsOuterImplicit x Source #

Instances

Instances details

type XHsOuterImplicit GhcPs Source #
Instance details Defined in GHC.Hs.Type type XHsOuterImplicit GhcPs = NoExtField
type XHsOuterImplicit GhcRn Source #
Instance details Defined in GHC.Hs.Type type XHsOuterImplicit GhcRn = [Name]
type XHsOuterImplicit GhcTc Source #
Instance details Defined in GHC.Hs.Type type XHsOuterImplicit GhcTc = [TyVar]

type family XHsOuterExplicit x flag Source #

Instances

Instances details

type XHsOuterExplicit GhcPs _1 Source #
Instance details Defined in GHC.Hs.Type type XHsOuterExplicit GhcPs _1 = EpAnnForallInvis
type XHsOuterExplicit GhcRn _1 Source #
Instance details Defined in GHC.Hs.Type type XHsOuterExplicit GhcRn _1 = NoExtField
type XHsOuterExplicit GhcTc flag Source #
Instance details Defined in GHC.Hs.Type type XHsOuterExplicit GhcTc flag = [VarBndr TyVar flag]

type family XXHsOuterTyVarBndrs x Source #

Instances

Instances details

type XXHsOuterTyVarBndrs (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXHsOuterTyVarBndrs (GhcPass _1) = DataConCantHappen

type family XHsSig x Source #

Instances

Instances details

type XHsSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XHsSig (GhcPass _1) = NoExtField

type family XXHsSigType x Source #

Instances

Instances details

type XXHsSigType (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXHsSigType (GhcPass _1) = DataConCantHappen

type family XHsWC x b Source #

Instances

Instances details

type XHsWC GhcPs b Source #
Instance details Defined in GHC.Hs.Type type XHsWC GhcPs b = NoExtField
type XHsWC GhcRn b Source #
Instance details Defined in GHC.Hs.Type type XHsWC GhcRn b = [Name]
type XHsWC GhcTc b Source #
Instance details Defined in GHC.Hs.Type type XHsWC GhcTc b = [Name]

type family XXHsWildCardBndrs x b Source #

Instances

Instances details

type XXHsWildCardBndrs (GhcPass _1) _2 Source #
Instance details Defined in GHC.Hs.Type type XXHsWildCardBndrs (GhcPass _1) _2 = DataConCantHappen

type family XHsPS x Source #

Instances

Instances details

type XHsPS GhcPs Source #
Instance details Defined in GHC.Hs.Type type XHsPS GhcPs = EpAnnCO
type XHsPS GhcRn Source #
Instance details Defined in GHC.Hs.Type type XHsPS GhcRn = HsPSRn
type XHsPS GhcTc Source #
Instance details Defined in GHC.Hs.Type type XHsPS GhcTc = HsPSRn

type family XXHsPatSigType x Source #

Instances

Instances details

type XXHsPatSigType (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXHsPatSigType (GhcPass _1) = DataConCantHappen

type family XHsTP x Source #

Instances

Instances details

type XHsTP GhcPs Source #
Instance details Defined in GHC.Hs.Type type XHsTP GhcPs = NoExtField
type XHsTP GhcRn Source #
Instance details Defined in GHC.Hs.Type type XHsTP GhcRn = HsTyPatRn
type XHsTP GhcTc Source #
Instance details Defined in GHC.Hs.Type type XHsTP GhcTc = DataConCantHappen

type family XXHsTyPat x Source #

Instances

Instances details

type XXHsTyPat (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXHsTyPat (GhcPass _1) = DataConCantHappen

type family XForAllTy x Source #

Instances

Instances details

type XForAllTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XForAllTy (GhcPass _1) = NoExtField

type family XQualTy x Source #

Instances

Instances details

type XQualTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XQualTy (GhcPass _1) = NoExtField

type family XTyVar x Source #

Instances

Instances details

type XTyVar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XTyVar (GhcPass _1) = EpToken "'"

type family XAppTy x Source #

Instances

Instances details

type XAppTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XAppTy (GhcPass _1) = NoExtField

type family XAppKindTy x Source #

Instances

Instances details

type XAppKindTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XAppKindTy GhcPs = EpToken "@"
type XAppKindTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XAppKindTy GhcRn = NoExtField
type XAppKindTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XAppKindTy GhcTc = NoExtField

type family XFunTy x Source #

Instances

Instances details

type XFunTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XFunTy (GhcPass _1) = NoExtField

type family XListTy x Source #

Instances

Instances details

type XListTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XListTy (GhcPass _1) = AnnParen

type family XTupleTy x Source #

Instances

Instances details

type XTupleTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XTupleTy (GhcPass _1) = AnnParen

type family XSumTy x Source #

Instances

Instances details

type XSumTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XSumTy (GhcPass _1) = AnnParen

type family XOpTy x Source #

Instances

Instances details

type XOpTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XOpTy (GhcPass _1) = NoExtField

type family XParTy x Source #

Instances

Instances details

type XParTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XParTy (GhcPass _1) = (EpToken "(", EpToken ")")

type family XIParamTy x Source #

Instances

Instances details

type XIParamTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XIParamTy (GhcPass _1) = TokDcolon

type family XStarTy x Source #

Instances

Instances details

type XStarTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XStarTy (GhcPass _1) = NoExtField

type family XKindSig x Source #

Instances

Instances details

type XKindSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XKindSig (GhcPass _1) = TokDcolon

type family XSpliceTy x Source #

Instances

Instances details

type XSpliceTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XSpliceTy GhcPs = NoExtField
type XSpliceTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XSpliceTy GhcRn = HsUntypedSpliceResult (LHsType GhcRn)
type XSpliceTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XSpliceTy GhcTc = Kind

type family XDocTy x Source #

Instances

Instances details

type XDocTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XDocTy (GhcPass _1) = NoExtField

type family XBangTy x Source #

Instances

Instances details

type XBangTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XBangTy (GhcPass _1) = ((EpaLocation, EpToken "#-}", EpaLocation), SourceText)

type family XRecTy x Source #

Instances

Instances details

type XRecTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XRecTy GhcPs = AnnList ()
type XRecTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XRecTy GhcRn = NoExtField
type XRecTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XRecTy GhcTc = NoExtField

type family XExplicitListTy x Source #

Instances

Instances details

type XExplicitListTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcPs = (EpToken "'", EpToken "[", EpToken "]")
type XExplicitListTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcRn = NoExtField
type XExplicitListTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcTc = Kind

type family XExplicitTupleTy x Source #

Instances

Instances details

type XExplicitTupleTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcPs = (EpToken "'", EpToken "(", EpToken ")")
type XExplicitTupleTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcRn = NoExtField
type XExplicitTupleTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcTc = [Kind]

type family XTyLit x Source #

Instances

Instances details

type XTyLit (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XTyLit (GhcPass _1) = NoExtField

type family XWildCardTy x Source #

Instances

Instances details

type XWildCardTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XWildCardTy (GhcPass _1) = NoExtField

type family XXType x Source #

Instances

Instances details

type XXType (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXType (GhcPass _1) = HsCoreTy

type family XNumTy x Source #

Instances

Instances details

type XNumTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XNumTy (GhcPass _1) = SourceText

type family XStrTy x Source #

Instances

Instances details

type XStrTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XStrTy (GhcPass _1) = SourceText

type family XCharTy x Source #

Instances

Instances details

type XCharTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XCharTy (GhcPass _1) = SourceText

type family XXTyLit x Source #

Instances

Instances details

type XXTyLit (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXTyLit (GhcPass _1) = DataConCantHappen

type family XHsForAllVis x Source #

Instances

Instances details

type XHsForAllVis (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XHsForAllVis (GhcPass _1) = EpAnn (TokForall, TokRarrow)

type family XHsForAllInvis x Source #

Instances

Instances details

type XHsForAllInvis (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XHsForAllInvis (GhcPass _1) = EpAnn (TokForall, EpToken ".")

type family XXHsForAllTelescope x Source #

Instances

Instances details

type XXHsForAllTelescope (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXHsForAllTelescope (GhcPass _1) = DataConCantHappen

type family XTyVarBndr x Source #

Instances

Instances details

type XTyVarBndr (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XTyVarBndr (GhcPass _1) = AnnTyVarBndr

type family XXTyVarBndr x Source #

Instances

Instances details

type XXTyVarBndr (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXTyVarBndr (GhcPass _1) = DataConCantHappen

type family XConDeclField x Source #

Instances

Instances details

type XConDeclField (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XConDeclField (GhcPass _1) = TokDcolon

type family XXConDeclField x Source #

Instances

Instances details

type XXConDeclField (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XXConDeclField (GhcPass _1) = DataConCantHappen

type family XCFieldOcc x Source #

Instances

Instances details

type XCFieldOcc GhcPs Source #
Instance details Defined in GHC.Hs.Type type XCFieldOcc GhcPs = NoExtField
type XCFieldOcc GhcRn Source #
Instance details Defined in GHC.Hs.Type type XCFieldOcc GhcRn = RdrName
type XCFieldOcc GhcTc Source #
Instance details Defined in GHC.Hs.Type type XCFieldOcc GhcTc = RdrName

type family XXFieldOcc x Source #

Instances

Instances details

type XXFieldOcc (GhcPass p) Source #
Instance details Defined in GHC.Hs.Type type XXFieldOcc (GhcPass p) = DataConCantHappen

type family XCImportDecl x Source #

Instances

Instances details

type XCImportDecl GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XCImportDecl GhcPs = XImportDeclPass
type XCImportDecl GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XCImportDecl GhcRn = XImportDeclPass
type XCImportDecl GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XCImportDecl GhcTc = DataConCantHappen

type family XXImportDecl x Source #

Instances

Instances details

type XXImportDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XXImportDecl (GhcPass _1) = DataConCantHappen

type family ImportDeclPkgQual x Source #

Instances

Instances details

type ImportDeclPkgQual GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type ImportDeclPkgQual GhcPs = RawPkgQual
type ImportDeclPkgQual GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type ImportDeclPkgQual GhcRn = PkgQual
type ImportDeclPkgQual GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type ImportDeclPkgQual GhcTc = PkgQual

type family XIEVar x Source #

Instances

Instances details

type XIEVar GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEVar GhcPs = Maybe (LWarningTxt GhcPs)
type XIEVar GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEVar GhcRn = Maybe (LWarningTxt GhcRn)
type XIEVar GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEVar GhcTc = NoExtField

type family XIEThingAbs x Source #

Instances

Instances details

type XIEThingAbs GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcPs = Maybe (LWarningTxt GhcPs)
type XIEThingAbs GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcRn = Maybe (LWarningTxt GhcRn)
type XIEThingAbs GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcTc = ()

type family XIEThingAll x Source #

Instances

Instances details

type XIEThingAll GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcPs = (Maybe (LWarningTxt GhcPs), (EpToken "(", EpToken "..", EpToken ")"))
type XIEThingAll GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcRn = (Maybe (LWarningTxt GhcRn), (EpToken "(", EpToken "..", EpToken ")"))
type XIEThingAll GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcTc = (EpToken "(", EpToken "..", EpToken ")")

type family XIEThingWith x Source #

Instances

Instances details

type XIEThingWith GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcPs = (Maybe (LWarningTxt GhcPs), IEThingWithAnns)
type XIEThingWith GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcRn = (Maybe (LWarningTxt GhcRn), IEThingWithAnns)
type XIEThingWith GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcTc = IEThingWithAnns

type family XIEModuleContents x Source #

Instances

Instances details

type XIEModuleContents GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcPs = (Maybe (LWarningTxt GhcPs), EpToken "module")
type XIEModuleContents GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcRn = Maybe (LWarningTxt GhcRn)
type XIEModuleContents GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcTc = NoExtField

type family XIEGroup x Source #

Instances

Instances details

type XIEGroup (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEGroup (GhcPass _1) = NoExtField

type family XIEDoc x Source #

Instances

Instances details

type XIEDoc (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEDoc (GhcPass _1) = NoExtField

type family XIEDocNamed x Source #

Instances

Instances details

type XIEDocNamed (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEDocNamed (GhcPass _1) = NoExtField

type family XXIE x Source #

Instances

Instances details

type XXIE (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XXIE (GhcPass _1) = DataConCantHappen

type family XIEName p Source #

Instances

Instances details

type XIEName (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEName (GhcPass _1) = NoExtField

type family XIEDefault p Source #

Instances

Instances details

type XIEDefault (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEDefault (GhcPass _1) = EpToken "default"

type family XIEPattern p Source #

Instances

Instances details

type XIEPattern (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEPattern (GhcPass _1) = EpToken "pattern"

type family XIEType p Source #

Instances

Instances details

type XIEType (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XIEType (GhcPass _1) = EpToken "type"

type family XXIEWrappedName p Source #

Instances

Instances details

type XXIEWrappedName (GhcPass _1) Source #
Instance details Defined in GHC.Hs.ImpExp type XXIEWrappedName (GhcPass _1) = DataConCantHappen

type family NoGhcTc p Source #

See Note [NoGhcTc] in GHC.Hs.Extension. It has to be in this module because it is used like an extension point (in the data definitions of types that should be parameter-agnostic.

Instances

Instances details

type NoGhcTc (GhcPass pass) Source #	Marks that a field uses the GhcRn variant even when the pass parameter is GhcTc. Useful for storing HsTypes in GHC.Hs.Exprs, say, because HsType GhcTc should never occur. See Note [NoGhcTc]
Instance details Defined in GHC.Hs.Extension type NoGhcTc (GhcPass pass) = GhcPass (NoGhcTcPass pass)