ghc-lib-parser-9.14.1.20251220: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
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 IdOccP p
- type LIdOccP p = XRec p (IdOccP 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 XSpecSigE 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 XCRuleBndrs x
- type family XXRuleBndrs 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 XHole 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 XTypedSpliceExpr x
- type family XQuasiQuote x
- type family XXUntypedSplice x
- type family XXTypedSplice 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 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 XConDeclRecField x
- type family XXConDeclRecField 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 XIEData p
- type family XXIEWrappedName p
- type family NoGhcTc p

# Documentation

data NoExtField #

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

Data NoExtField # |
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 #
Outputable NoExtField # |
Instance details Defined in GHC.Hs.Extension Methods ppr :: NoExtField -> SDoc #
Eq NoExtField # |
Instance details Defined in Language.Haskell.Syntax.Extension Methods (==) :: NoExtField -> NoExtField -> Bool # (/=) :: NoExtField -> NoExtField -> Bool #
Ord NoExtField # |
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 #

Used when constructing a term with an unused extension point.

data DataConCantHappen #

#### Instances

Instances details

Data DataConCantHappen # |
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 #
Outputable DataConCantHappen # |
Instance details Defined in GHC.Hs.Extension Methods ppr :: DataConCantHappen -> SDoc #
Eq DataConCantHappen # |
Instance details Defined in Language.Haskell.Syntax.Extension Methods (==) :: DataConCantHappen -> DataConCantHappen -> Bool # (/=) :: DataConCantHappen -> DataConCantHappen -> Bool #
Ord DataConCantHappen # |
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 #

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

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

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 # |
Instance details Defined in GHC.Hs.Extension type XRec (GhcPass p) a = XRecGhc a

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

#### Instances

Instances details

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

class UnXRec p where #

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 #

#### Instances

Instances details

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

class MapXRec p where #

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 #

#### Instances

Instances details

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

class WrapXRec p a where #

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

Methods

wrapXRec :: a -> XRec p a #

#### Instances

Instances details

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

type family IdP p #

Maps the "normal" id type for a given pass

#### Instances

Instances details

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

type LIdP p = XRec p (IdP p) #

type family IdOccP p #

Like `IdP`, except it keeps track of the user-written module qualification, if any.

See Note [IdOcc].

#### Instances

Instances details

type IdOccP (GhcPass p) # |
Instance details Defined in GHC.Hs.Extension type IdOccP (GhcPass p) = IdOccGhcP p

type LIdOccP p = XRec p (IdOccP p) #

type family XHsValBinds x x' #

#### Instances

Instances details

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

type family XHsIPBinds x x' #

#### Instances

Instances details

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

type family XEmptyLocalBinds x x' #

#### Instances

Instances details

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

type family XXHsLocalBindsLR x x' #

#### Instances

Instances details

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

type family XValBinds x x' #

#### Instances

Instances details

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

type family XXValBindsLR x x' #

#### Instances

Instances details

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

type family XFunBind x x' #

#### Instances

Instances details

type XFunBind (GhcPass pL) GhcPs # |
Instance details Defined in GHC.Hs.Binds type XFunBind (GhcPass pL) GhcPs = NoExtField
type XFunBind (GhcPass pL) GhcRn # | 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 # | 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' #

#### Instances

Instances details

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

type family XVarBind x x' #

#### Instances

Instances details

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

type family XPatSynBind x x' #

#### Instances

Instances details

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

type family XXHsBindsLR x x' #

#### Instances

Instances details

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

type family XPSB x x' #

#### Instances

Instances details

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

type family XXPatSynBind x x' #

#### Instances

Instances details

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

type family XIPBinds x #

#### Instances

Instances details

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

type family XXHsIPBinds x #

#### Instances

Instances details

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

type family XCIPBind x #

#### Instances

Instances details

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

type family XXIPBind x #

#### Instances

Instances details

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

type family XTypeSig x #

#### Instances

Instances details

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

type family XPatSynSig x #

#### Instances

Instances details

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

type family XClassOpSig x #

#### Instances

Instances details

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

type family XIdSig x #

type family XFixSig x #

#### Instances

Instances details

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

type family XInlineSig x #

#### Instances

Instances details

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

type family XSpecSig x #

#### Instances

Instances details

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

type family XSpecSigE x #

#### Instances

Instances details

type XSpecSigE GhcPs # |
Instance details Defined in GHC.Hs.Binds type XSpecSigE GhcPs = AnnSpecSig
type XSpecSigE GhcRn # |
Instance details Defined in GHC.Hs.Binds type XSpecSigE GhcRn = Name
type XSpecSigE GhcTc # |
Instance details Defined in GHC.Hs.Binds type XSpecSigE GhcTc = NoExtField

type family XSpecInstSig x #

#### Instances

Instances details

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

type family XMinimalSig x #

#### Instances

Instances details

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

type family XSCCFunSig x #

#### Instances

Instances details

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

type family XCompleteMatchSig x #

#### Instances

Instances details

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

type family XXSig x #

#### Instances

Instances details

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

type family XFixitySig x #

#### Instances

Instances details

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

type family XXFixitySig x #

#### Instances

Instances details

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

type family XStandaloneKindSig x #

#### Instances

Instances details

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

type family XXStandaloneKindSig x #

#### Instances

Instances details

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

type family XTyClD x #

#### Instances

Instances details

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

type family XInstD x #

#### Instances

Instances details

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

type family XDerivD x #

#### Instances

Instances details

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

type family XValD x #

#### Instances

Instances details

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

type family XSigD x #

#### Instances

Instances details

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

type family XKindSigD x #

#### Instances

Instances details

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

type family XDefD x #

#### Instances

Instances details

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

type family XForD x #

#### Instances

Instances details

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

type family XWarningD x #

#### Instances

Instances details

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

type family XAnnD x #

#### Instances

Instances details

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

type family XRuleD x #

#### Instances

Instances details

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

type family XSpliceD x #

#### Instances

Instances details

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

type family XDocD x #

#### Instances

Instances details

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

type family XRoleAnnotD x #

#### Instances

Instances details

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

type family XXHsDecl x #

#### Instances

Instances details

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

type family XCHsGroup x #

#### Instances

Instances details

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

type family XXHsGroup x #

#### Instances

Instances details

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

type family XSpliceDecl x #

#### Instances

Instances details

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

type family XXSpliceDecl x #

#### Instances

Instances details

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

type family XFamDecl x #

#### Instances

Instances details

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

type family XSynDecl x #

#### Instances

Instances details

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

type family XDataDecl x #

#### Instances

Instances details

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

type family XClassDecl x #

#### Instances

Instances details

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

type family XXTyClDecl x #

#### Instances

Instances details

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

type family XCFunDep x #

#### Instances

Instances details

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

type family XXFunDep x #

#### Instances

Instances details

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

type family XCTyClGroup x #

#### Instances

Instances details

type XCTyClGroup GhcPs # |
Instance details Defined in GHC.Hs.Decls type XCTyClGroup GhcPs = NoExtField
type XCTyClGroup GhcRn # |
Instance details Defined in GHC.Hs.Decls type XCTyClGroup GhcRn = NameSet
type XCTyClGroup GhcTc # |
Instance details Defined in GHC.Hs.Decls type XCTyClGroup GhcTc = DataConCantHappen

type family XXTyClGroup x #

#### Instances

Instances details

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

type family XNoSig x #

#### Instances

Instances details

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

type family XCKindSig x #

#### Instances

Instances details

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

type family XTyVarSig x #

#### Instances

Instances details

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

type family XXFamilyResultSig x #

#### Instances

Instances details

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

type family XCFamilyDecl x #

#### Instances

Instances details

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

type family XXFamilyDecl x #

#### Instances

Instances details

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

type family XCHsDataDefn x #

#### Instances

Instances details

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

type family XXHsDataDefn x #

#### Instances

Instances details

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

type family XCHsDerivingClause x #

#### Instances

Instances details

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

type family XXHsDerivingClause x #

#### Instances

Instances details

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

type family XDctSingle x #

#### Instances

Instances details

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

type family XDctMulti x #

#### Instances

Instances details

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

type family XXDerivClauseTys x #

#### Instances

Instances details

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

type family XConDeclGADT x #

#### Instances

Instances details

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

type family XConDeclH98 x #

#### Instances

Instances details

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

type family XXConDecl x #

#### Instances

Instances details

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

type family XCFamEqn x r #

#### Instances

Instances details

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

type family XXFamEqn x r #

#### Instances

Instances details

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

type family XCTyFamInstDecl x #

#### Instances

Instances details

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

type family XXTyFamInstDecl x #

#### Instances

Instances details

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

type family XCClsInstDecl x #

#### Instances

Instances details

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

type family XXClsInstDecl x #

#### Instances

Instances details

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

type family XClsInstD x #

#### Instances

Instances details

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

type family XDataFamInstD x #

#### Instances

Instances details

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

type family XTyFamInstD x #

#### Instances

Instances details

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

type family XXInstDecl x #

#### Instances

Instances details

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

type family XCDerivDecl x #

#### Instances

Instances details

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

type family XXDerivDecl x #

#### Instances

Instances details

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

type family XStockStrategy x #

#### Instances

Instances details

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

type family XAnyClassStrategy x #

#### Instances

Instances details

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

type family XNewtypeStrategy x #

#### Instances

Instances details

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

type family XViaStrategy x #

#### Instances

Instances details

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

type family XCDefaultDecl x #

#### Instances

Instances details

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

type family XXDefaultDecl x #

#### Instances

Instances details

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

type family XForeignImport x #

#### Instances

Instances details

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

type family XForeignExport x #

#### Instances

Instances details

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

type family XXForeignDecl x #

#### Instances

Instances details

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

type family XCImport x #

#### Instances

Instances details

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

type family XXForeignImport x #

#### Instances

Instances details

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

type family XCExport x #

#### Instances

Instances details

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

type family XXForeignExport x #

#### Instances

Instances details

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

type family XCRuleDecls x #

#### Instances

Instances details

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

type family XXRuleDecls x #

#### Instances

Instances details

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

type family XHsRule x #

#### Instances

Instances details

type XHsRule GhcPs # |
Instance details Defined in GHC.Hs.Decls type XHsRule GhcPs = ((ActivationAnn, EpToken "="), SourceText)
type XHsRule GhcRn # |
Instance details Defined in GHC.Hs.Decls type XHsRule GhcRn = (HsRuleRn, SourceText)
type XHsRule GhcTc # |
Instance details Defined in GHC.Hs.Decls type XHsRule GhcTc = (HsRuleRn, SourceText)

type family XXRuleDecl x #

#### Instances

Instances details

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

type family XCRuleBndrs x #

#### Instances

Instances details

type XCRuleBndrs GhcPs # |
Instance details Defined in GHC.Hs.Binds type XCRuleBndrs GhcPs = HsRuleBndrsAnn
type XCRuleBndrs GhcRn # |
Instance details Defined in GHC.Hs.Binds type XCRuleBndrs GhcRn = NoExtField
type XCRuleBndrs GhcTc # |
Instance details Defined in GHC.Hs.Binds type XCRuleBndrs GhcTc = [Var]

type family XXRuleBndrs x #

#### Instances

Instances details

type XXRuleBndrs (GhcPass _1) # |
Instance details Defined in GHC.Hs.Binds type XXRuleBndrs (GhcPass _1) = DataConCantHappen

type family XCRuleBndr x #

#### Instances

Instances details

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

type family XRuleBndrSig x #

#### Instances

Instances details

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

type family XXRuleBndr x #

#### Instances

Instances details

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

type family XWarnings x #

#### Instances

Instances details

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

type family XXWarnDecls x #

#### Instances

Instances details

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

type family XWarning x #

#### Instances

Instances details

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

type family XXWarnDecl x #

#### Instances

Instances details

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

type family XHsAnnotation x #

#### Instances

Instances details

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

type family XXAnnDecl x #

#### Instances

Instances details

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

type family XCRoleAnnotDecl x #

#### Instances

Instances details

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

type family XXRoleAnnotDecl x #

#### Instances

Instances details

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

type family XCInjectivityAnn x #

#### Instances

Instances details

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

type family XXInjectivityAnn x #

#### Instances

Instances details

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

type family XCModule x #

#### Instances

Instances details

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

type family XXModule x #

#### Instances

Instances details

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

type family XVar x #

#### Instances

Instances details

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

type family XUnboundVar x #

type family XRecSel x #

#### Instances

Instances details

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

type family XOverLabel x #

#### Instances

Instances details

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

type family XIPVar x #

#### Instances

Instances details

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

type family XOverLitE x #

#### Instances

Instances details

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

type family XLitE x #

#### Instances

Instances details

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

type family XLam x #

#### Instances

Instances details

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

type family XLamCase x #

type family XApp x #

#### Instances

Instances details

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

type family XAppTypeE x #

#### Instances

Instances details

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

type family XOpApp x #

#### Instances

Instances details

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

type family XNegApp x #

#### Instances

Instances details

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

type family XPar x #

#### Instances

Instances details

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

type family XSectionL x #

#### Instances

Instances details

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

type family XSectionR x #

#### Instances

Instances details

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

type family XExplicitTuple x #

#### Instances

Instances details

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

type family XExplicitSum x #

#### Instances

Instances details

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

type family XCase x #

#### Instances

Instances details

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

type family XIf x #

#### Instances

Instances details

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

type family XMultiIf x #

#### Instances

Instances details

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

type family XLet x #

#### Instances

Instances details

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

type family XDo x #

#### Instances

Instances details

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

type family XExplicitList x #

#### Instances

Instances details

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

type family XRecordCon x #

#### Instances

Instances details

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

type family XRecordUpd x #

#### Instances

Instances details

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

type family XLHsRecUpdLabels x #

#### Instances

Instances details

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

type family XLHsOLRecUpdLabels x #

#### Instances

Instances details

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

type family XGetField x #

#### Instances

Instances details

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

type family XProjection x #

#### Instances

Instances details

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

type family XExprWithTySig x #

#### Instances

Instances details

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

type family XArithSeq x #

#### Instances

Instances details

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

type family XTypedBracket x #

#### Instances

Instances details

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

type family XUntypedBracket x #

#### Instances

Instances details

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

type family XTypedSplice x #

#### Instances

Instances details

type XTypedSplice GhcPs # |
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcPs = NoExtField
type XTypedSplice GhcRn # |
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcRn = HsTypedSpliceResult
type XTypedSplice GhcTc # |
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcTc = DelayedSplice

type family XUntypedSplice x #

#### Instances

Instances details

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

type family XProc x #

#### Instances

Instances details

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

type family XStatic x #

#### Instances

Instances details

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

type family XTick x #

type family XBinTick x #

type family XPragE x #

#### Instances

Instances details

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

type family XEmbTy x #

#### Instances

Instances details

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

type family XHole x #

#### Instances

Instances details

type XHole GhcPs # | Expression Hole. See Note [Holes in expressions].
Instance details Defined in GHC.Hs.Expr type XHole GhcPs = HoleKind
type XHole GhcRn # |
Instance details Defined in GHC.Hs.Expr type XHole GhcRn = HoleKind
type XHole GhcTc # |
Instance details Defined in GHC.Hs.Expr type XHole GhcTc = (HoleKind, HoleExprRef)

type family XForAll x #

#### Instances

Instances details

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

type family XQual x #

#### Instances

Instances details

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

type family XFunArr x #

#### Instances

Instances details

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

type family XXExpr x #

#### Instances

Instances details

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

type family XFunRhs #

#### Instances

Instances details

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

type family XCDotFieldOcc x #

#### Instances

Instances details

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

type family XXDotFieldOcc x #

#### Instances

Instances details

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

type family XSCC x #

#### Instances

Instances details

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

type family XXPragE x #

#### Instances

Instances details

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

type family XPresent x #

#### Instances

Instances details

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

type family XMissing x #

#### Instances

Instances details

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

type family XXTupArg x #

#### Instances

Instances details

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

type family XUntypedSpliceExpr x #

#### Instances

Instances details

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

type family XTypedSpliceExpr x #

#### Instances

Instances details

type XTypedSpliceExpr GhcPs # |
Instance details Defined in GHC.Hs.Expr type XTypedSpliceExpr GhcPs = EpToken "$$"
type XTypedSpliceExpr GhcRn # |
Instance details Defined in GHC.Hs.Expr type XTypedSpliceExpr GhcRn = NoExtField
type XTypedSpliceExpr GhcTc # |
Instance details Defined in GHC.Hs.Expr type XTypedSpliceExpr GhcTc = NoExtField

type family XQuasiQuote x #

#### Instances

Instances details

type XQuasiQuote GhcPs # |
Instance details Defined in GHC.Hs.Expr type XQuasiQuote GhcPs = NoExtField
type XQuasiQuote GhcRn # |
Instance details Defined in GHC.Hs.Expr type XQuasiQuote GhcRn = HsQuasiQuoteExt
type XQuasiQuote GhcTc # |
Instance details Defined in GHC.Hs.Expr type XQuasiQuote GhcTc = DataConCantHappen

type family XXUntypedSplice x #

#### Instances

Instances details

type XXUntypedSplice GhcPs # |
Instance details Defined in GHC.Hs.Expr type XXUntypedSplice GhcPs = DataConCantHappen
type XXUntypedSplice GhcRn # |
Instance details Defined in GHC.Hs.Expr type XXUntypedSplice GhcRn = HsImplicitLiftSplice
type XXUntypedSplice GhcTc # |
Instance details Defined in GHC.Hs.Expr type XXUntypedSplice GhcTc = DataConCantHappen

type family XXTypedSplice x #

#### Instances

Instances details

type XXTypedSplice GhcPs # |
Instance details Defined in GHC.Hs.Expr type XXTypedSplice GhcPs = DataConCantHappen
type XXTypedSplice GhcRn # |
Instance details Defined in GHC.Hs.Expr type XXTypedSplice GhcRn = HsImplicitLiftSplice
type XXTypedSplice GhcTc # |
Instance details Defined in GHC.Hs.Expr type XXTypedSplice GhcTc = DataConCantHappen

type family XExpBr x #

#### Instances

Instances details

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

type family XPatBr x #

#### Instances

Instances details

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

type family XDecBrL x #

#### Instances

Instances details

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

type family XDecBrG x #

#### Instances

Instances details

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

type family XTypBr x #

#### Instances

Instances details

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

type family XVarBr x #

#### Instances

Instances details

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

type family XXQuote x #

#### Instances

Instances details

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

type family XCmdTop x #

#### Instances

Instances details

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

type family XXCmdTop x #

#### Instances

Instances details

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

type family XMG x b #

#### Instances

Instances details

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

type family XXMatchGroup x b #

#### Instances

Instances details

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

type family XCMatch x b #

#### Instances

Instances details

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

type family XXMatch x b #

#### Instances

Instances details

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

type family XCGRHSs x b #

#### Instances

Instances details

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

type family XXGRHSs x b #

#### Instances

Instances details

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

type family XCGRHS x b #

#### Instances

Instances details

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

type family XXGRHS x b #

#### Instances

Instances details

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

type family XLastStmt x x' b #

#### Instances

Instances details

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

type family XBindStmt x x' b #

#### Instances

Instances details

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

type family XBodyStmt x x' b #

#### Instances

Instances details

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

type family XLetStmt x x' b #

#### Instances

Instances details

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

type family XParStmt x x' b #

#### Instances

Instances details

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

type family XTransStmt x x' b #

#### Instances

Instances details

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

type family XRecStmt x x' b #

#### Instances

Instances details

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

type family XXStmtLR x x' b #

#### Instances

Instances details

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

type family XCmdArrApp x #

#### Instances

Instances details

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

type family XCmdArrForm x #

#### Instances

Instances details

type XCmdArrForm GhcPs # |
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcPs = AnnList ()
type XCmdArrForm GhcRn # | 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 # |
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcTc = Maybe Fixity

type family XCmdApp x #

#### Instances

Instances details

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

type family XCmdLam x #

#### Instances

Instances details

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

type family XCmdPar x #

#### Instances

Instances details

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

type family XCmdCase x #

#### Instances

Instances details

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

type family XCmdLamCase x #

#### Instances

Instances details

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

type family XCmdIf x #

#### Instances

Instances details

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

type family XCmdLet x #

#### Instances

Instances details

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

type family XCmdDo x #

#### Instances

Instances details

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

type family XCmdWrap x #

#### Instances

Instances details

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

type family XXCmd x #

#### Instances

Instances details

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

type family XParStmtBlock x x' #

#### Instances

Instances details

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

type family XXParStmtBlock x x' #

#### Instances

Instances details

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

type family XHsChar x #

#### Instances

Instances details

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

type family XHsCharPrim x #

#### Instances

Instances details

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

type family XHsString x #

#### Instances

Instances details

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

type family XHsMultilineString x #

#### Instances

Instances details

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

type family XHsStringPrim x #

#### Instances

Instances details

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

type family XHsInt x #

#### Instances

Instances details

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

type family XHsIntPrim x #

#### Instances

Instances details

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

type family XHsWordPrim x #

#### Instances

Instances details

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

type family XHsInt8Prim x #

#### Instances

Instances details

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

type family XHsInt16Prim x #

#### Instances

Instances details

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

type family XHsInt32Prim x #

#### Instances

Instances details

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

type family XHsInt64Prim x #

#### Instances

Instances details

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

type family XHsWord8Prim x #

#### Instances

Instances details

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

type family XHsWord16Prim x #

#### Instances

Instances details

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

type family XHsWord32Prim x #

#### Instances

Instances details

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

type family XHsWord64Prim x #

#### Instances

Instances details

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

type family XHsFloatPrim x #

#### Instances

Instances details

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

type family XHsDoublePrim x #

#### Instances

Instances details

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

type family XXLit x #

#### Instances

Instances details

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

type family XOverLit x #

#### Instances

Instances details

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

type family XXOverLit x #

#### Instances

Instances details

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

type family XWildPat x #

#### Instances

Instances details

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

type family XVarPat x #

#### Instances

Instances details

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

type family XLazyPat x #

#### Instances

Instances details

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

type family XAsPat x #

#### Instances

Instances details

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

type family XParPat x #

#### Instances

Instances details

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

type family XBangPat x #

#### Instances

Instances details

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

type family XListPat x #

#### Instances

Instances details

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

type family XTuplePat x #

#### Instances

Instances details

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

type family XSumPat x #

#### Instances

Instances details

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

type family XOrPat x #

#### Instances

Instances details

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

type family XConPat x #

#### Instances

Instances details

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

type family XViewPat x #

#### Instances

Instances details

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

type family XSplicePat x #

#### Instances

Instances details

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

type family XLitPat x #

#### Instances

Instances details

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

type family XNPat x #

#### Instances

Instances details

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

type family XNPlusKPat x #

#### Instances

Instances details

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

type family XSigPat x #

#### Instances

Instances details

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

type family XEmbTyPat x #

#### Instances

Instances details

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

type family XInvisPat x #

#### Instances

Instances details

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

type family XCoPat x #

type family XXPat x #

#### Instances

Instances details

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

type family XHsFieldBind x #

#### Instances

Instances details

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

type family XHsQTvs x #

#### Instances

Instances details

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

type family XXLHsQTyVars x #

#### Instances

Instances details

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

type family XHsOuterImplicit x #

#### Instances

Instances details

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

type family XHsOuterExplicit x flag #

#### Instances

Instances details

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

type family XXHsOuterTyVarBndrs x #

#### Instances

Instances details

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

type family XHsSig x #

#### Instances

Instances details

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

type family XXHsSigType x #

#### Instances

Instances details

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

type family XHsWC x b #

#### Instances

Instances details

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

type family XXHsWildCardBndrs x b #

#### Instances

Instances details

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

type family XHsPS x #

#### Instances

Instances details

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

type family XXHsPatSigType x #

#### Instances

Instances details

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

type family XHsTP x #

#### Instances

Instances details

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

type family XXHsTyPat x #

#### Instances

Instances details

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

type family XForAllTy x #

#### Instances

Instances details

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

type family XQualTy x #

#### Instances

Instances details

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

type family XTyVar x #

#### Instances

Instances details

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

type family XAppTy x #

#### Instances

Instances details

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

type family XAppKindTy x #

#### Instances

Instances details

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

type family XFunTy x #

#### Instances

Instances details

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

type family XListTy x #

#### Instances

Instances details

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

type family XTupleTy x #

#### Instances

Instances details

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

type family XSumTy x #

#### Instances

Instances details

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

type family XOpTy x #

#### Instances

Instances details

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

type family XParTy x #

#### Instances

Instances details

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

type family XIParamTy x #

#### Instances

Instances details

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

type family XStarTy x #

#### Instances

Instances details

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

type family XKindSig x #

#### Instances

Instances details

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

type family XSpliceTy x #

#### Instances

Instances details

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

type family XDocTy x #

#### Instances

Instances details

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

type family XExplicitListTy x #

#### Instances

Instances details

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

type family XExplicitTupleTy x #

#### Instances

Instances details

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

type family XTyLit x #

#### Instances

Instances details

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

type family XWildCardTy x #

#### Instances

Instances details

type XWildCardTy GhcPs # |
Instance details Defined in GHC.Hs.Type type XWildCardTy GhcPs = EpToken "_"
type XWildCardTy GhcRn # |
Instance details Defined in GHC.Hs.Type type XWildCardTy GhcRn = NoExtField
type XWildCardTy GhcTc # |
Instance details Defined in GHC.Hs.Type type XWildCardTy GhcTc = NoExtField

type family XXType x #

#### Instances

Instances details

type XXType GhcPs # |
Instance details Defined in GHC.Hs.Type type XXType GhcPs = HsTypeGhcPsExt
type XXType GhcRn # |
Instance details Defined in GHC.Hs.Type type XXType GhcRn = HsCoreTy
type XXType GhcTc # |
Instance details Defined in GHC.Hs.Type type XXType GhcTc = DataConCantHappen

type family XNumTy x #

#### Instances

Instances details

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

type family XStrTy x #

#### Instances

Instances details

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

type family XCharTy x #

#### Instances

Instances details

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

type family XXTyLit x #

#### Instances

Instances details

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

type family XHsForAllVis x #

#### Instances

Instances details

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

type family XHsForAllInvis x #

#### Instances

Instances details

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

type family XXHsForAllTelescope x #

#### Instances

Instances details

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

type family XTyVarBndr x #

#### Instances

Instances details

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

type family XXTyVarBndr x #

#### Instances

Instances details

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

type family XConDeclRecField x #

#### Instances

Instances details

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

type family XXConDeclRecField x #

#### Instances

Instances details

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

type family XConDeclField x #

#### Instances

Instances details

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

type family XXConDeclField x #

type family XCFieldOcc x #

#### Instances

Instances details

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

type family XXFieldOcc x #

#### Instances

Instances details

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

type family XCImportDecl x #

#### Instances

Instances details

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

type family XXImportDecl x #

#### Instances

Instances details

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

type family ImportDeclPkgQual x #

#### Instances

Instances details

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

type family XIEVar x #

#### Instances

Instances details

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

type family XIEThingAbs x #

#### Instances

Instances details

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

type family XIEThingAll x #

#### Instances

Instances details

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

type family XIEThingWith x #

#### Instances

Instances details

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

type family XIEModuleContents x #

#### Instances

Instances details

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

type family XIEGroup x #

#### Instances

Instances details

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

type family XIEDoc x #

#### Instances

Instances details

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

type family XIEDocNamed x #

#### Instances

Instances details

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

type family XXIE x #

#### Instances

Instances details

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

type family XIEName p #

#### Instances

Instances details

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

type family XIEDefault p #

#### Instances

Instances details

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

type family XIEPattern p #

#### Instances

Instances details

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

type family XIEType p #

#### Instances

Instances details

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

type family XIEData p #

#### Instances

Instances details

type XIEData (GhcPass _1) # |
Instance details Defined in GHC.Hs.ImpExp type XIEData (GhcPass _1) = EpToken "data"

type family XXIEWrappedName p #

#### Instances

Instances details

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

type family NoGhcTc p #

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