Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Haskell.Syntax.Extension

Synopsis

data NoExtField = NoExtField
noExtField :: NoExtField
data DataConCantHappen
dataConCantHappen :: DataConCantHappen -> a
type family XRec p a = (r :: Type) | r -> a
type family Anno a = (b :: Type)
class UnXRec p where
- unXRec :: XRec p a -> a
class MapXRec p where
- mapXRec :: Anno a ~ Anno b => (a -> b) -> XRec p a -> XRec p b
class WrapXRec p a where
- wrapXRec :: a -> XRec p a
type family IdP p
type LIdP p = XRec p (IdP p)
type family XHsValBinds x x'
type family XHsIPBinds x x'
type family XEmptyLocalBinds x x'
type family XXHsLocalBindsLR x x'
type family XValBinds x x'
type family XXValBindsLR x x'
type family XFunBind x x'
type family XPatBind x x'
type family XVarBind x x'
type family XPatSynBind x x'
type family XXHsBindsLR x x'
type family XPSB x x'
type family XXPatSynBind x x'
type family XIPBinds x
type family XXHsIPBinds x
type family XCIPBind x
type family XXIPBind x
type family XTypeSig x
type family XPatSynSig x
type family XClassOpSig x
type family XIdSig x
type family XFixSig x
type family XInlineSig x
type family XSpecSig x
type family XSpecInstSig x
type family XMinimalSig x
type family XSCCFunSig x
type family XCompleteMatchSig x
type family XXSig x
type family XFixitySig x
type family XXFixitySig x
type family XStandaloneKindSig x
type family XXStandaloneKindSig x
type family XTyClD x
type family XInstD x
type family XDerivD x
type family XValD x
type family XSigD x
type family XKindSigD x
type family XDefD x
type family XForD x
type family XWarningD x
type family XAnnD x
type family XRuleD x
type family XSpliceD x
type family XDocD x
type family XRoleAnnotD x
type family XXHsDecl x
type family XCHsGroup x
type family XXHsGroup x
type family XSpliceDecl x
type family XXSpliceDecl x
type family XFamDecl x
type family XSynDecl x
type family XDataDecl x
type family XClassDecl x
type family XXTyClDecl x
type family XCFunDep x
type family XXFunDep x
type family XCTyClGroup x
type family XXTyClGroup x
type family XNoSig x
type family XCKindSig x
type family XTyVarSig x
type family XXFamilyResultSig x
type family XCFamilyDecl x
type family XXFamilyDecl x
type family XCHsDataDefn x
type family XXHsDataDefn x
type family XCHsDerivingClause x
type family XXHsDerivingClause x
type family XDctSingle x
type family XDctMulti x
type family XXDerivClauseTys x
type family XConDeclGADT x
type family XConDeclH98 x
type family XXConDecl x
type family XCFamEqn x r
type family XXFamEqn x r
type family XCTyFamInstDecl x
type family XXTyFamInstDecl x
type family XCClsInstDecl x
type family XXClsInstDecl x
type family XClsInstD x
type family XDataFamInstD x
type family XTyFamInstD x
type family XXInstDecl x
type family XCDerivDecl x
type family XXDerivDecl x
type family XStockStrategy x
type family XAnyClassStrategy x
type family XNewtypeStrategy x
type family XViaStrategy x
type family XCDefaultDecl x
type family XXDefaultDecl x
type family XForeignImport x
type family XForeignExport x
type family XXForeignDecl x
type family XCImport x
type family XXForeignImport x
type family XCExport x
type family XXForeignExport x
type family XCRuleDecls x
type family XXRuleDecls x
type family XHsRule x
type family XXRuleDecl x
type family XCRuleBndr x
type family XRuleBndrSig x
type family XXRuleBndr x
type family XWarnings x
type family XXWarnDecls x
type family XWarning x
type family XXWarnDecl x
type family XHsAnnotation x
type family XXAnnDecl x
type family XCRoleAnnotDecl x
type family XXRoleAnnotDecl x
type family XCInjectivityAnn x
type family XXInjectivityAnn x
type family XCModule x
type family XXModule x
type family XVar x
type family XUnboundVar x
type family XRecSel x
type family XOverLabel x
type family XIPVar x
type family XOverLitE x
type family XLitE x
type family XLam x
type family XLamCase x
type family XApp x
type family XAppTypeE x
type family XOpApp x
type family XNegApp x
type family XPar x
type family XSectionL x
type family XSectionR x
type family XExplicitTuple x
type family XExplicitSum x
type family XCase x
type family XIf x
type family XMultiIf x
type family XLet x
type family XDo x
type family XExplicitList x
type family XRecordCon x
type family XRecordUpd x
type family XLHsRecUpdLabels x
type family XLHsOLRecUpdLabels x
type family XGetField x
type family XProjection x
type family XExprWithTySig x
type family XArithSeq x
type family XTypedBracket x
type family XUntypedBracket x
type family XTypedSplice x
type family XUntypedSplice x
type family XProc x
type family XStatic x
type family XTick x
type family XBinTick x
type family XPragE x
type family XXExpr x
type family XCDotFieldOcc x
type family XXDotFieldOcc x
type family XSCC x
type family XXPragE x
type family XUnambiguous x
type family XAmbiguous x
type family XXAmbiguousFieldOcc x
type family XPresent x
type family XMissing x
type family XXTupArg x
type family XUntypedSpliceExpr x
type family XQuasiQuote x
type family XXUntypedSplice x
type family XExpBr x
type family XPatBr x
type family XDecBrL x
type family XDecBrG x
type family XTypBr x
type family XVarBr x
type family XXQuote x
type family XCmdTop x
type family XXCmdTop x
type family XMG x b
type family XXMatchGroup x b
type family XCMatch x b
type family XXMatch x b
type family XCGRHSs x b
type family XXGRHSs x b
type family XCGRHS x b
type family XXGRHS x b
type family XLastStmt x x' b
type family XBindStmt x x' b
type family XApplicativeStmt 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 XApplicativeArgOne x
type family XApplicativeArgMany x
type family XXApplicativeArg x
type family XHsChar x
type family XHsCharPrim x
type family XHsString 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 XHsInteger x
type family XHsRat 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 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 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 XForAllTy x
type family XQualTy x
type family XTyVar x
type family XAppTy x
type family XAppKindTy x
type family XFunTy x
type family XListTy x
type family XTupleTy x
type family XSumTy x
type family XOpTy x
type family XParTy x
type family XIParamTy x
type family XStarTy x
type family XKindSig x
type family XSpliceTy x
type family XDocTy x
type family XBangTy x
type family XRecTy x
type family XExplicitListTy x
type family XExplicitTupleTy x
type family XTyLit x
type family XWildCardTy x
type family XXType x
type family XNumTy x
type family XStrTy x
type family XCharTy x
type family XXTyLit x
type family XHsForAllVis x
type family XHsForAllInvis x
type family XXHsForAllTelescope x
type family XUserTyVar x
type family XKindedTyVar x
type family XXTyVarBndr x
type family XConDeclField x
type family XXConDeclField x
type family XCFieldOcc x
type family XXFieldOcc x
type family XCImportDecl x
type family XXImportDecl x
type family ImportDeclPkgQual x
type family XIEVar x
type family XIEThingAbs x
type family XIEThingAll x
type family XIEThingWith x
type family XIEModuleContents x
type family XIEGroup x
type family XIEDoc x
type family XIEDocNamed x
type family XXIE x
type family XIEName p
type family XIEPattern p
type family XIEType p
type family XXIEWrappedName p
type family NoGhcTc p

Documentation

data NoExtField Source #

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

noExtField :: NoExtField Source #

Used when constructing a term with an unused extension point.

data DataConCantHappen Source #

Instances

Instances details

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

dataConCantHappen :: DataConCantHappen -> a Source #

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

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

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

Instances

Instances details

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

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

Instances

Instances details

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

class UnXRec p where Source #

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

Methods

unXRec :: XRec p a -> a Source #

Instances

Instances details

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

class MapXRec p where Source #

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

Methods

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

Instances

Instances details

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

class WrapXRec p a where Source #

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

Methods

wrapXRec :: a -> XRec p a Source #

Instances

Instances details

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

type family IdP p Source #

Maps the "normal" id type for a given pass

Instances

Instances details

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

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

type family XHsValBinds x x' Source #

Instances

Instances details

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

type family XHsIPBinds x x' Source #

Instances

Instances details

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

type family XEmptyLocalBinds x x' Source #

Instances

Instances details

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

type family XXHsLocalBindsLR x x' Source #

Instances

Instances details

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

type family XValBinds x x' Source #

Instances

Instances details

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

type family XXValBindsLR x x' Source #

Instances

Instances details

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

type family XFunBind x x' Source #

Instances

Instances details

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

type family XPatBind x x' Source #

Instances

Instances details

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

type family XVarBind x x' Source #

Instances

Instances details

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

type family XPatSynBind x x' Source #

Instances

Instances details

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

type family XXHsBindsLR x x' Source #

Instances

Instances details

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

type family XPSB x x' Source #

Instances

Instances details

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

type family XXPatSynBind x x' Source #

Instances

Instances details

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

type family XIPBinds x Source #

Instances

Instances details

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

type family XXHsIPBinds x Source #

Instances

Instances details

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

type family XCIPBind x Source #

Instances

Instances details

type XCIPBind GhcPs Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcPs = EpAnn [AddEpAnn]
type XCIPBind GhcRn Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcRn = NoExtField
type XCIPBind GhcTc Source #
Instance details Defined in GHC.Hs.Binds type XCIPBind GhcTc = Id

type family XXIPBind x Source #

Instances

Instances details

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

type family XTypeSig x Source #

Instances

Instances details

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

type family XPatSynSig x Source #

Instances

Instances details

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

type family XClassOpSig x Source #

Instances

Instances details

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

type family XIdSig x Source #

type family XFixSig x Source #

Instances

Instances details

type XFixSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XFixSig (GhcPass p) = EpAnn [AddEpAnn]

type family XInlineSig x Source #

Instances

Instances details

type XInlineSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XInlineSig (GhcPass p) = EpAnn [AddEpAnn]

type family XSpecSig x Source #

Instances

Instances details

type XSpecSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSpecSig (GhcPass p) = EpAnn [AddEpAnn]

type family XSpecInstSig x Source #

Instances

Instances details

type XSpecInstSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSpecInstSig (GhcPass p) = (EpAnn [AddEpAnn], SourceText)

type family XMinimalSig x Source #

Instances

Instances details

type XMinimalSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XMinimalSig (GhcPass p) = (EpAnn [AddEpAnn], SourceText)

type family XSCCFunSig x Source #

Instances

Instances details

type XSCCFunSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XSCCFunSig (GhcPass p) = (EpAnn [AddEpAnn], SourceText)

type family XCompleteMatchSig x Source #

Instances

Instances details

type XCompleteMatchSig (GhcPass p) Source #
Instance details Defined in GHC.Hs.Binds type XCompleteMatchSig (GhcPass p) = (EpAnn [AddEpAnn], SourceText)

type family XXSig x Source #

Instances

Instances details

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

type family XFixitySig x Source #

Instances

Instances details

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

type family XXFixitySig x Source #

Instances

Instances details

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

type family XStandaloneKindSig x Source #

Instances

Instances details

type XStandaloneKindSig GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcPs = EpAnn [AddEpAnn]
type XStandaloneKindSig GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcRn = NoExtField
type XStandaloneKindSig GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XStandaloneKindSig GhcTc = NoExtField

type family XXStandaloneKindSig x Source #

Instances

Instances details

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

type family XTyClD x Source #

Instances

Instances details

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

type family XInstD x Source #

Instances

Instances details

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

type family XDerivD x Source #

Instances

Instances details

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

type family XValD x Source #

Instances

Instances details

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

type family XSigD x Source #

Instances

Instances details

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

type family XKindSigD x Source #

Instances

Instances details

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

type family XDefD x Source #

Instances

Instances details

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

type family XForD x Source #

Instances

Instances details

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

type family XWarningD x Source #

Instances

Instances details

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

type family XAnnD x Source #

Instances

Instances details

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

type family XRuleD x Source #

Instances

Instances details

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

type family XSpliceD x Source #

Instances

Instances details

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

type family XDocD x Source #

Instances

Instances details

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

type family XRoleAnnotD x Source #

Instances

Instances details

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

type family XXHsDecl x Source #

Instances

Instances details

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

type family XCHsGroup x Source #

Instances

Instances details

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

type family XXHsGroup x Source #

Instances

Instances details

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

type family XSpliceDecl x Source #

Instances

Instances details

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

type family XXSpliceDecl x Source #

Instances

Instances details

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

type family XFamDecl x Source #

Instances

Instances details

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

type family XSynDecl x Source #

Instances

Instances details

type XSynDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcPs = EpAnn [AddEpAnn]
type XSynDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcRn = NameSet
type XSynDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XSynDecl GhcTc = NameSet

type family XDataDecl x Source #

Instances

Instances details

type XDataDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcPs = EpAnn [AddEpAnn]
type XDataDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcRn = DataDeclRn
type XDataDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XDataDecl GhcTc = DataDeclRn

type family XClassDecl x Source #

Instances

Instances details

type XClassDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcPs = (EpAnn [AddEpAnn], AnnSortKey)
type XClassDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcRn = NameSet
type XClassDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XClassDecl GhcTc = NameSet

type family XXTyClDecl x Source #

Instances

Instances details

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

type family XCFunDep x Source #

Instances

Instances details

type XCFunDep (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCFunDep (GhcPass _1) = EpAnn [AddEpAnn]

type family XXFunDep x Source #

Instances

Instances details

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

type family XCTyClGroup x Source #

Instances

Instances details

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

type family XXTyClGroup x Source #

Instances

Instances details

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

type family XNoSig x Source #

Instances

Instances details

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

type family XCKindSig x Source #

Instances

Instances details

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

type family XTyVarSig x Source #

Instances

Instances details

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

type family XXFamilyResultSig x Source #

Instances

Instances details

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

type family XCFamilyDecl x Source #

Instances

Instances details

type XCFamilyDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCFamilyDecl (GhcPass _1) = EpAnn [AddEpAnn]

type family XXFamilyDecl x Source #

Instances

Instances details

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

type family XCHsDataDefn x Source #

Instances

Instances details

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

type family XXHsDataDefn x Source #

Instances

Instances details

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

type family XCHsDerivingClause x Source #

Instances

Instances details

type XCHsDerivingClause (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCHsDerivingClause (GhcPass _1) = EpAnn [AddEpAnn]

type family XXHsDerivingClause x Source #

Instances

Instances details

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

type family XDctSingle x Source #

Instances

Instances details

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

type family XDctMulti x Source #

Instances

Instances details

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

type family XXDerivClauseTys x Source #

Instances

Instances details

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

type family XConDeclGADT x Source #

Instances

Instances details

type XConDeclGADT (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XConDeclGADT (GhcPass _1) = EpAnn [AddEpAnn]

type family XConDeclH98 x Source #

Instances

Instances details

type XConDeclH98 (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XConDeclH98 (GhcPass _1) = EpAnn [AddEpAnn]

type family XXConDecl x Source #

Instances

Instances details

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

type family XCFamEqn x r Source #

Instances

Instances details

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

type family XXFamEqn x r Source #

Instances

Instances details

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

type family XCTyFamInstDecl x Source #

Instances

Instances details

type XCTyFamInstDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCTyFamInstDecl (GhcPass _1) = EpAnn [AddEpAnn]

type family XXTyFamInstDecl x Source #

Instances

Instances details

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

type family XCClsInstDecl x Source #

Instances

Instances details

type XCClsInstDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcPs = (EpAnn [AddEpAnn], AnnSortKey)
type XCClsInstDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcRn = NoExtField
type XCClsInstDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCClsInstDecl GhcTc = NoExtField

type family XXClsInstDecl x Source #

Instances

Instances details

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

type family XClsInstD x Source #

Instances

Instances details

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

type family XDataFamInstD x Source #

Instances

Instances details

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

type family XTyFamInstD x Source #

Instances

Instances details

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

type family XXInstDecl x Source #

Instances

Instances details

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

type family XCDerivDecl x Source #

Instances

Instances details

type XCDerivDecl (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCDerivDecl (GhcPass _1) = EpAnn [AddEpAnn]

type family XXDerivDecl x Source #

Instances

Instances details

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

type family XStockStrategy x Source #

Instances

Instances details

type XStockStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcPs = EpAnn [AddEpAnn]
type XStockStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcRn = NoExtField
type XStockStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XStockStrategy GhcTc = NoExtField

type family XAnyClassStrategy x Source #

Instances

Instances details

type XAnyClassStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcPs = EpAnn [AddEpAnn]
type XAnyClassStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcRn = NoExtField
type XAnyClassStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XAnyClassStrategy GhcTc = NoExtField

type family XNewtypeStrategy x Source #

Instances

Instances details

type XNewtypeStrategy GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcPs = EpAnn [AddEpAnn]
type XNewtypeStrategy GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcRn = NoExtField
type XNewtypeStrategy GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XNewtypeStrategy GhcTc = NoExtField

type family XViaStrategy x Source #

Instances

Instances details

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

type family XCDefaultDecl x Source #

Instances

Instances details

type XCDefaultDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcPs = EpAnn [AddEpAnn]
type XCDefaultDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcRn = NoExtField
type XCDefaultDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCDefaultDecl GhcTc = NoExtField

type family XXDefaultDecl x Source #

Instances

Instances details

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

type family XForeignImport x Source #

Instances

Instances details

type XForeignImport GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcPs = EpAnn [AddEpAnn]
type XForeignImport GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcRn = NoExtField
type XForeignImport GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XForeignImport GhcTc = Coercion

type family XForeignExport x Source #

Instances

Instances details

type XForeignExport GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcPs = EpAnn [AddEpAnn]
type XForeignExport GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcRn = NoExtField
type XForeignExport GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XForeignExport GhcTc = Coercion

type family XXForeignDecl x Source #

Instances

Instances details

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

type family XCImport x Source #

Instances

Instances details

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

type family XXForeignImport x Source #

Instances

Instances details

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

type family XCExport x Source #

Instances

Instances details

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

type family XXForeignExport x Source #

Instances

Instances details

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

type family XCRuleDecls x Source #

Instances

Instances details

type XCRuleDecls GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcPs = (EpAnn [AddEpAnn], SourceText)
type XCRuleDecls GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcRn = SourceText
type XCRuleDecls GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCRuleDecls GhcTc = SourceText

type family XXRuleDecls x Source #

Instances

Instances details

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

type family XHsRule x Source #

Instances

Instances details

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

type family XXRuleDecl x Source #

Instances

Instances details

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

type family XCRuleBndr x Source #

Instances

Instances details

type XCRuleBndr (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCRuleBndr (GhcPass _1) = EpAnn [AddEpAnn]

type family XRuleBndrSig x Source #

Instances

Instances details

type XRuleBndrSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XRuleBndrSig (GhcPass _1) = EpAnn [AddEpAnn]

type family XXRuleBndr x Source #

Instances

Instances details

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

type family XWarnings x Source #

Instances

Instances details

type XWarnings GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcPs = (EpAnn [AddEpAnn], SourceText)
type XWarnings GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcRn = SourceText
type XWarnings GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XWarnings GhcTc = SourceText

type family XXWarnDecls x Source #

Instances

Instances details

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

type family XWarning x Source #

Instances

Instances details

type XWarning (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XWarning (GhcPass _1) = EpAnn [AddEpAnn]

type family XXWarnDecl x Source #

Instances

Instances details

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

type family XHsAnnotation x Source #

Instances

Instances details

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

type family XXAnnDecl x Source #

Instances

Instances details

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

type family XCRoleAnnotDecl x Source #

Instances

Instances details

type XCRoleAnnotDecl GhcPs Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcPs = EpAnn [AddEpAnn]
type XCRoleAnnotDecl GhcRn Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcRn = NoExtField
type XCRoleAnnotDecl GhcTc Source #
Instance details Defined in GHC.Hs.Decls type XCRoleAnnotDecl GhcTc = NoExtField

type family XXRoleAnnotDecl x Source #

Instances

Instances details

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

type family XCInjectivityAnn x Source #

Instances

Instances details

type XCInjectivityAnn (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Decls type XCInjectivityAnn (GhcPass _1) = EpAnn [AddEpAnn]

type family XXInjectivityAnn x Source #

Instances

Instances details

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

type family XCModule x Source #

Instances

Instances details

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

type family XXModule x Source #

Instances

Instances details

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

type family XVar x Source #

Instances

Instances details

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

type family XUnboundVar x Source #

Instances

Instances details

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

type family XRecSel x Source #

Instances

Instances details

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

type family XOverLabel x Source #

Instances

Instances details

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

type family XIPVar x Source #

Instances

Instances details

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

type family XOverLitE x Source #

Instances

Instances details

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

type family XLitE x Source #

Instances

Instances details

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

type family XLam x Source #

Instances

Instances details

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

type family XLamCase x Source #

Instances

Instances details

type XLamCase (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XLamCase (GhcPass _1) = EpAnn [AddEpAnn]

type family XApp x Source #

Instances

Instances details

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

type family XAppTypeE x Source #

Instances

Instances details

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

type family XOpApp x Source #

Instances

Instances details

type XOpApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcPs = EpAnn [AddEpAnn]
type XOpApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcRn = Fixity
type XOpApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XOpApp GhcTc = DataConCantHappen

type family XNegApp x Source #

Instances

Instances details

type XNegApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcPs = EpAnn [AddEpAnn]
type XNegApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcRn = NoExtField
type XNegApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XNegApp GhcTc = NoExtField

type family XPar x Source #

Instances

Instances details

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

type family XSectionL x Source #

Instances

Instances details

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

type family XSectionR x Source #

Instances

Instances details

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

type family XExplicitTuple x Source #

Instances

Instances details

type XExplicitTuple GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcPs = EpAnn [AddEpAnn]
type XExplicitTuple GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcRn = NoExtField
type XExplicitTuple GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExplicitTuple GhcTc = NoExtField

type family XExplicitSum x Source #

Instances

Instances details

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

type family XCase x Source #

Instances

Instances details

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

type family XIf x Source #

Instances

Instances details

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

type family XMultiIf x Source #

Instances

Instances details

type XMultiIf GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcPs = EpAnn [AddEpAnn]
type XMultiIf GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcRn = NoExtField
type XMultiIf GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XMultiIf GhcTc = Type

type family XLet x Source #

Instances

Instances details

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

type family XDo x Source #

Instances

Instances details

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

type family XExplicitList x Source #

Instances

Instances details

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

type family XRecordCon x Source #

Instances

Instances details

type XRecordCon GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcPs = EpAnn [AddEpAnn]
type XRecordCon GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcRn = NoExtField
type XRecordCon GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XRecordCon GhcTc = PostTcExpr

type family XRecordUpd x Source #

Instances

Instances details

type XRecordUpd GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcPs = EpAnn [AddEpAnn]
type XRecordUpd GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcRn = NoExtField
type XRecordUpd GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XRecordUpd GhcTc = DataConCantHappen

type family XLHsRecUpdLabels x Source #

Instances

Instances details

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

type family XLHsOLRecUpdLabels x Source #

Instances

Instances details

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

type family XGetField x Source #

Instances

Instances details

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

type family XProjection x Source #

Instances

Instances details

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

type family XExprWithTySig x Source #

Instances

Instances details

type XExprWithTySig GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcPs = EpAnn [AddEpAnn]
type XExprWithTySig GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcRn = NoExtField
type XExprWithTySig GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XExprWithTySig GhcTc = NoExtField

type family XArithSeq x Source #

Instances

Instances details

type XArithSeq GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcPs = EpAnn [AddEpAnn]
type XArithSeq GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcRn = NoExtField
type XArithSeq GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XArithSeq GhcTc = PostTcExpr

type family XTypedBracket x Source #

Instances

Instances details

type XTypedBracket GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcPs = EpAnn [AddEpAnn]
type XTypedBracket GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcRn = NoExtField
type XTypedBracket GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XTypedBracket GhcTc = HsBracketTc

type family XUntypedBracket x Source #

Instances

Instances details

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

type family XTypedSplice x Source #

Instances

Instances details

type XTypedSplice GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcPs = (EpAnnCO, EpAnn [AddEpAnn])
type XTypedSplice GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcRn = SplicePointName
type XTypedSplice GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XTypedSplice GhcTc = DelayedSplice

type family XUntypedSplice x Source #

Instances

Instances details

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

type family XProc x Source #

Instances

Instances details

type XProc (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XProc (GhcPass _1) = EpAnn [AddEpAnn]

type family XStatic x Source #

Instances

Instances details

type XStatic GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcPs = EpAnn [AddEpAnn]
type XStatic GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcRn = NameSet
type XStatic GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XStatic GhcTc = (NameSet, Type)

type family XTick x Source #

type family XBinTick x Source #

type family XPragE x Source #

Instances

Instances details

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

type family XXExpr x Source #

Instances

Instances details

type XXExpr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcPs = DataConCantHappen
type XXExpr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcRn = HsExpansion (HsExpr GhcRn) (HsExpr GhcRn)
type XXExpr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XXExpr GhcTc = XXExprGhcTc

type family XCDotFieldOcc x Source #

Instances

Instances details

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

type family XXDotFieldOcc x Source #

Instances

Instances details

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

type family XSCC x Source #

Instances

Instances details

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

type family XXPragE x Source #

Instances

Instances details

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

type family XUnambiguous x Source #

Instances

Instances details

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

type family XAmbiguous x Source #

Instances

Instances details

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

type family XXAmbiguousFieldOcc x Source #

Instances

Instances details

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

type family XPresent x Source #

Instances

Instances details

type XPresent (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XPresent (GhcPass _1) = EpAnn [AddEpAnn]

type family XMissing x Source #

Instances

Instances details

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

type family XXTupArg x Source #

Instances

Instances details

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

type family XUntypedSpliceExpr x Source #

Instances

Instances details

type XUntypedSpliceExpr GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcPs = EpAnn [AddEpAnn]
type XUntypedSpliceExpr GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcRn = EpAnn [AddEpAnn]
type XUntypedSpliceExpr GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XUntypedSpliceExpr GhcTc = DataConCantHappen

type family XQuasiQuote x Source #

Instances

Instances details

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

type family XXUntypedSplice x Source #

Instances

Instances details

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

type family XExpBr x Source #

Instances

Instances details

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

type family XPatBr x Source #

Instances

Instances details

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

type family XDecBrL x Source #

Instances

Instances details

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

type family XDecBrG x Source #

Instances

Instances details

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

type family XTypBr x Source #

Instances

Instances details

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

type family XVarBr x Source #

Instances

Instances details

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

type family XXQuote x Source #

Instances

Instances details

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

type family XCmdTop x Source #

Instances

Instances details

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

type family XXCmdTop x Source #

Instances

Instances details

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

type family XMG x b Source #

Instances

Instances details

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

type family XXMatchGroup x b Source #

Instances

Instances details

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

type family XCMatch x b Source #

Instances

Instances details

type XCMatch (GhcPass _1) b Source #
Instance details Defined in GHC.Hs.Expr type XCMatch (GhcPass _1) b = EpAnn [AddEpAnn]

type family XXMatch x b Source #

Instances

Instances details

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

type family XCGRHSs x b Source #

Instances

Instances details

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

type family XXGRHSs x b Source #

Instances

Instances details

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

type family XCGRHS x b Source #

Instances

Instances details

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

type family XXGRHS x b Source #

Instances

Instances details

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

type family XLastStmt x x' b Source #

Instances

Instances details

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

type family XBindStmt x x' b Source #

Instances

Instances details

type XBindStmt (GhcPass _1) GhcPs b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcPs b = EpAnn [AddEpAnn]
type XBindStmt (GhcPass _1) GhcRn b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcRn b = XBindStmtRn
type XBindStmt (GhcPass _1) GhcTc b Source #
Instance details Defined in GHC.Hs.Expr type XBindStmt (GhcPass _1) GhcTc b = XBindStmtTc

type family XApplicativeStmt x x' b Source #

Instances

Instances details

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

type family XBodyStmt x x' b Source #

Instances

Instances details

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

type family XLetStmt x x' b Source #

Instances

Instances details

type XLetStmt (GhcPass _1) (GhcPass _2) b Source #
Instance details Defined in GHC.Hs.Expr type XLetStmt (GhcPass _1) (GhcPass _2) b = EpAnn [AddEpAnn]

type family XParStmt x x' b Source #

Instances

Instances details

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

type family XTransStmt x x' b Source #

Instances

Instances details

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

type family XRecStmt x x' b Source #

Instances

Instances details

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

type family XXStmtLR x x' b Source #

Instances

Instances details

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

type family XCmdArrApp x Source #

Instances

Instances details

type XCmdArrApp GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcPs = EpAnn AddEpAnn
type XCmdArrApp GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcRn = NoExtField
type XCmdArrApp GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrApp GhcTc = Type

type family XCmdArrForm x Source #

Instances

Instances details

type XCmdArrForm GhcPs Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcPs = EpAnn AnnList
type XCmdArrForm GhcRn Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcRn = NoExtField
type XCmdArrForm GhcTc Source #
Instance details Defined in GHC.Hs.Expr type XCmdArrForm GhcTc = NoExtField

type family XCmdApp x Source #

Instances

Instances details

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

type family XCmdLam x Source #

Instances

Instances details

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

type family XCmdPar x Source #

Instances

Instances details

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

type family XCmdCase x Source #

Instances

Instances details

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

type family XCmdLamCase x Source #

Instances

Instances details

type XCmdLamCase (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Expr type XCmdLamCase (GhcPass _1) = EpAnn [AddEpAnn]

type family XCmdIf x Source #

Instances

Instances details

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

type family XCmdLet x Source #

Instances

Instances details

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

type family XCmdDo x Source #

Instances

Instances details

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

type family XCmdWrap x Source #

Instances

Instances details

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

type family XXCmd x Source #

Instances

Instances details

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

type family XParStmtBlock x x' Source #

Instances

Instances details

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

type family XXParStmtBlock x x' Source #

Instances

Instances details

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

type family XApplicativeArgOne x Source #

Instances

Instances details

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

type family XApplicativeArgMany x Source #

Instances

Instances details

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

type family XXApplicativeArg x Source #

Instances

Instances details

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

type family XHsChar x Source #

Instances

Instances details

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

type family XHsCharPrim x Source #

Instances

Instances details

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

type family XHsString x Source #

Instances

Instances details

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

type family XHsStringPrim x Source #

Instances

Instances details

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

type family XHsInt x Source #

Instances

Instances details

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

type family XHsIntPrim x Source #

Instances

Instances details

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

type family XHsWordPrim x Source #

Instances

Instances details

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

type family XHsInt8Prim x Source #

Instances

Instances details

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

type family XHsInt16Prim x Source #

Instances

Instances details

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

type family XHsInt32Prim x Source #

Instances

Instances details

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

type family XHsInt64Prim x Source #

Instances

Instances details

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

type family XHsWord8Prim x Source #

Instances

Instances details

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

type family XHsWord16Prim x Source #

Instances

Instances details

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

type family XHsWord32Prim x Source #

Instances

Instances details

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

type family XHsWord64Prim x Source #

Instances

Instances details

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

type family XHsInteger x Source #

Instances

Instances details

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

type family XHsRat x Source #

Instances

Instances details

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

type family XHsFloatPrim x Source #

Instances

Instances details

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

type family XHsDoublePrim x Source #

Instances

Instances details

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

type family XXLit x Source #

Instances

Instances details

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

type family XOverLit x Source #

Instances

Instances details

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

type family XXOverLit x Source #

Instances

Instances details

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

type family XWildPat x Source #

Instances

Instances details

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

type family XVarPat x Source #

Instances

Instances details

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

type family XLazyPat x Source #

Instances

Instances details

type XLazyPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcPs = EpAnn [AddEpAnn]
type XLazyPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcRn = NoExtField
type XLazyPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XLazyPat GhcTc = NoExtField

type family XAsPat x Source #

Instances

Instances details

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

type family XParPat x Source #

Instances

Instances details

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

type family XBangPat x Source #

Instances

Instances details

type XBangPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcPs = EpAnn [AddEpAnn]
type XBangPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcRn = NoExtField
type XBangPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XBangPat GhcTc = NoExtField

type family XListPat x Source #

Instances

Instances details

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

type family XTuplePat x Source #

Instances

Instances details

type XTuplePat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcPs = EpAnn [AddEpAnn]
type XTuplePat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcRn = NoExtField
type XTuplePat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XTuplePat GhcTc = [Type]

type family XSumPat x Source #

Instances

Instances details

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

type family XConPat x Source #

Instances

Instances details

type XConPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcPs = EpAnn [AddEpAnn]
type XConPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcRn = NoExtField
type XConPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XConPat GhcTc = ConPatTc

type family XViewPat x Source #

Instances

Instances details

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

type family XSplicePat x Source #

Instances

Instances details

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

type family XLitPat x Source #

Instances

Instances details

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

type family XNPat x Source #

Instances

Instances details

type XNPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcPs = EpAnn [AddEpAnn]
type XNPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcRn = EpAnn [AddEpAnn]
type XNPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XNPat GhcTc = Type

type family XNPlusKPat x Source #

Instances

Instances details

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

type family XSigPat x Source #

Instances

Instances details

type XSigPat GhcPs Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcPs = EpAnn [AddEpAnn]
type XSigPat GhcRn Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcRn = NoExtField
type XSigPat GhcTc Source #
Instance details Defined in GHC.Hs.Pat type XSigPat GhcTc = Type

type family XCoPat x Source #

type family XXPat x Source #

Instances

Instances details

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

type family XHsFieldBind x Source #

Instances

Instances details

type XHsFieldBind _1 Source #
Instance details Defined in GHC.Hs.Pat type XHsFieldBind _1 = EpAnn [AddEpAnn]

type family XHsQTvs x Source #

Instances

Instances details

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

type family XXLHsQTyVars x Source #

Instances

Instances details

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

type family XHsOuterImplicit x Source #

Instances

Instances details

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

type family XHsOuterExplicit x flag Source #

Instances

Instances details

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

type family XXHsOuterTyVarBndrs x Source #

Instances

Instances details

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

type family XHsSig x Source #

Instances

Instances details

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

type family XXHsSigType x Source #

Instances

Instances details

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

type family XHsWC x b Source #

Instances

Instances details

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

type family XXHsWildCardBndrs x b Source #

Instances

Instances details

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

type family XHsPS x Source #

Instances

Instances details

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

type family XXHsPatSigType x Source #

Instances

Instances details

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

type family XForAllTy x Source #

Instances

Instances details

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

type family XQualTy x Source #

Instances

Instances details

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

type family XTyVar x Source #

Instances

Instances details

type XTyVar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XTyVar (GhcPass _1) = EpAnn [AddEpAnn]

type family XAppTy x Source #

Instances

Instances details

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

type family XAppKindTy x Source #

Instances

Instances details

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

type family XFunTy x Source #

Instances

Instances details

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

type family XListTy x Source #

Instances

Instances details

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

type family XTupleTy x Source #

Instances

Instances details

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

type family XSumTy x Source #

Instances

Instances details

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

type family XOpTy x Source #

Instances

Instances details

type XOpTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XOpTy (GhcPass _1) = EpAnn [AddEpAnn]

type family XParTy x Source #

Instances

Instances details

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

type family XIParamTy x Source #

Instances

Instances details

type XIParamTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XIParamTy (GhcPass _1) = EpAnn [AddEpAnn]

type family XStarTy x Source #

Instances

Instances details

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

type family XKindSig x Source #

Instances

Instances details

type XKindSig (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XKindSig (GhcPass _1) = EpAnn [AddEpAnn]

type family XSpliceTy x Source #

Instances

Instances details

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

type family XDocTy x Source #

Instances

Instances details

type XDocTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XDocTy (GhcPass _1) = EpAnn [AddEpAnn]

type family XBangTy x Source #

Instances

Instances details

type XBangTy (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XBangTy (GhcPass _1) = EpAnn [AddEpAnn]

type family XRecTy x Source #

Instances

Instances details

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

type family XExplicitListTy x Source #

Instances

Instances details

type XExplicitListTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcPs = EpAnn [AddEpAnn]
type XExplicitListTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcRn = NoExtField
type XExplicitListTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XExplicitListTy GhcTc = Kind

type family XExplicitTupleTy x Source #

Instances

Instances details

type XExplicitTupleTy GhcPs Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcPs = EpAnn [AddEpAnn]
type XExplicitTupleTy GhcRn Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcRn = NoExtField
type XExplicitTupleTy GhcTc Source #
Instance details Defined in GHC.Hs.Type type XExplicitTupleTy GhcTc = [Kind]

type family XTyLit x Source #

Instances

Instances details

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

type family XWildCardTy x Source #

Instances

Instances details

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

type family XXType x Source #

Instances

Instances details

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

type family XNumTy x Source #

Instances

Instances details

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

type family XStrTy x Source #

Instances

Instances details

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

type family XCharTy x Source #

Instances

Instances details

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

type family XXTyLit x Source #

Instances

Instances details

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

type family XHsForAllVis x Source #

Instances

Instances details

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

type family XHsForAllInvis x Source #

Instances

Instances details

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

type family XXHsForAllTelescope x Source #

Instances

Instances details

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

type family XUserTyVar x Source #

Instances

Instances details

type XUserTyVar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XUserTyVar (GhcPass _1) = EpAnn [AddEpAnn]

type family XKindedTyVar x Source #

Instances

Instances details

type XKindedTyVar (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XKindedTyVar (GhcPass _1) = EpAnn [AddEpAnn]

type family XXTyVarBndr x Source #

Instances

Instances details

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

type family XConDeclField x Source #

Instances

Instances details

type XConDeclField (GhcPass _1) Source #
Instance details Defined in GHC.Hs.Type type XConDeclField (GhcPass _1) = EpAnn [AddEpAnn]

type family XXConDeclField x Source #

Instances

Instances details

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

type family XCFieldOcc x Source #

Instances

Instances details

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

type family XXFieldOcc x Source #

Instances

Instances details

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

type family XCImportDecl x Source #

Instances

Instances details

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

type family XXImportDecl x Source #

Instances

Instances details

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

type family ImportDeclPkgQual x Source #

Instances

Instances details

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

type family XIEVar x Source #

Instances

Instances details

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

type family XIEThingAbs x Source #

Instances

Instances details

type XIEThingAbs GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcPs = (Maybe (LocatedP (WarningTxt GhcPs)), EpAnn [AddEpAnn])
type XIEThingAbs GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcRn = (Maybe (LocatedP (WarningTxt GhcRn)), EpAnn [AddEpAnn])
type XIEThingAbs GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAbs GhcTc = EpAnn [AddEpAnn]

type family XIEThingAll x Source #

Instances

Instances details

type XIEThingAll GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcPs = (Maybe (LocatedP (WarningTxt GhcPs)), EpAnn [AddEpAnn])
type XIEThingAll GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcRn = (Maybe (LocatedP (WarningTxt GhcRn)), EpAnn [AddEpAnn])
type XIEThingAll GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingAll GhcTc = EpAnn [AddEpAnn]

type family XIEThingWith x Source #

Instances

Instances details

type XIEThingWith GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcPs = (Maybe (LocatedP (WarningTxt GhcPs)), EpAnn [AddEpAnn])
type XIEThingWith GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcRn = (Maybe (LocatedP (WarningTxt GhcRn)), EpAnn [AddEpAnn])
type XIEThingWith GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEThingWith GhcTc = EpAnn [AddEpAnn]

type family XIEModuleContents x Source #

Instances

Instances details

type XIEModuleContents GhcPs Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcPs = (Maybe (LocatedP (WarningTxt GhcPs)), EpAnn [AddEpAnn])
type XIEModuleContents GhcRn Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcRn = Maybe (LocatedP (WarningTxt GhcRn))
type XIEModuleContents GhcTc Source #
Instance details Defined in GHC.Hs.ImpExp type XIEModuleContents GhcTc = NoExtField

type family XIEGroup x Source #

Instances

Instances details

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

type family XIEDoc x Source #

Instances

Instances details

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

type family XIEDocNamed x Source #

Instances

Instances details

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

type family XXIE x Source #

Instances

Instances details

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

type family XIEName p Source #

Instances

Instances details

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

type family XIEPattern p Source #

Instances

Instances details

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

type family XIEType p Source #

Instances

Instances details

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

type family XXIEWrappedName p Source #

Instances

Instances details

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

type family NoGhcTc p Source #

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

Instances

Instances details

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