Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.Haskell.Syntax.Extension
Synopsis
- data NoExtField = NoExtField
- noExtField :: NoExtField
- data NoExtCon
- noExtCon :: NoExtCon -> a
- type family XRec p a = r | r -> a
- type family Anno a = b
- class UnXRec p where
- class MapXRec p where
- class WrapXRec p a where
- 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 XAbsBinds x x'
- type family XPatSynBind x x'
- type family XXHsBindsLR x x'
- type family XABE x
- type family XXABExport 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 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 XVar x
- type family XUnboundVar x
- type family XConLikeOut x
- type family XRecFld 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 XGetField x
- type family XProjection x
- type family XExprWithTySig x
- type family XArithSeq x
- type family XBracket x
- type family XRnBracketOut x
- type family XTcBracketOut x
- type family XSpliceE 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 XCHsFieldLabel x
- type family XXHsFieldLabel 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 XTypedSplice x
- type family XUntypedSplice x
- type family XQuasiQuote x
- type family XSpliced x
- type family XXSplice 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 XTExpBr x
- type family XXBracket 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 XHsInt64Prim 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 XHsRecField 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 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 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 NoGhcTc (p :: Type)
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 NoExtCon
, 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
noExtField :: NoExtField Source #
Used when constructing a term with an unused extension point.
Used in TTG extension constructors that have yet to be extended with
anything. If an extension constructor has NoExtCon
as its field, it is
not intended to ever be constructed anywhere, and any function that consumes
the extension constructor can eliminate it by way of noExtCon
.
This should not be confused with NoExtField
, which are found in unused
extension points (not constructors) and therefore can be inhabited.
Instances
Data NoExtCon Source # | |
Defined in Language.Haskell.Syntax.Extension Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoExtCon -> c NoExtCon # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtCon # toConstr :: NoExtCon -> Constr # dataTypeOf :: NoExtCon -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtCon) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtCon) # gmapT :: (forall b. Data b => b -> b) -> NoExtCon -> NoExtCon # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtCon -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtCon -> r # gmapQ :: (forall d. Data d => d -> u) -> NoExtCon -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtCon -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon # | |
Outputable NoExtCon Source # | |
Eq NoExtCon Source # | |
Ord NoExtCon Source # | |
Defined in Language.Haskell.Syntax.Extension |
type family XRec p a = r | 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
type XRec (GhcPass p) a Source # | |
Defined in GHC.Hs.Extension |
type family Anno a = b Source #
Instances
We can strip off the XRec to access the underlying data. See Note [XRec and SrcSpans in the AST]
class MapXRec p where Source #
We can map over the underlying type contained in an XRec
while preserving
the annotation as is.
class WrapXRec p a where Source #
The trivial wrapper that carries no additional information See Note [XRec and SrcSpans in the AST]
Maps the "normal" id type for a given pass
type family XHsValBinds x x' Source #
Instances
type XHsValBinds (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XHsIPBinds x x' Source #
Instances
type XHsIPBinds (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XEmptyLocalBinds x x' Source #
Instances
type XEmptyLocalBinds (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XXHsLocalBindsLR x x' Source #
Instances
type XXHsLocalBindsLR (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XXValBindsLR x x' Source #
Instances
type XXValBindsLR (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XPatSynBind x x' Source #
Instances
type XPatSynBind (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
type family XXHsBindsLR x x' Source #
Instances
type XXHsBindsLR (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Binds |
Instances
type XABE (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XXABExport x Source #
Instances
type XXABExport (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XXPatSynBind x x' Source #
Instances
type XXPatSynBind (GhcPass idL) (GhcPass idR) Source # | |
Defined in GHC.Hs.Binds |
type family XIPBinds x Source #
Instances
type XIPBinds GhcPs Source # | |
Defined in GHC.Hs.Binds | |
type XIPBinds GhcRn Source # | |
Defined in GHC.Hs.Binds | |
type XIPBinds GhcTc Source # | |
Defined in GHC.Hs.Binds |
type family XXHsIPBinds x Source #
Instances
type XXHsIPBinds (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XPatSynSig x Source #
Instances
type XPatSynSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XClassOpSig x Source #
Instances
type XClassOpSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
Instances
type XIdSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XInlineSig x Source #
Instances
type XInlineSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XSpecInstSig x Source #
Instances
type XSpecInstSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XMinimalSig x Source #
Instances
type XMinimalSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XSCCFunSig x Source #
Instances
type XSCCFunSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XCompleteMatchSig x Source #
Instances
type XCompleteMatchSig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XFixitySig x Source #
Instances
type XFixitySig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XXFixitySig x Source #
Instances
type XXFixitySig (GhcPass p) Source # | |
Defined in GHC.Hs.Binds |
type family XStandaloneKindSig x Source #
Instances
type XStandaloneKindSig GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XStandaloneKindSig GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XStandaloneKindSig GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXStandaloneKindSig x Source #
Instances
type XXStandaloneKindSig (GhcPass p) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XTyClD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XInstD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XValD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XSigD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XKindSigD x Source #
Instances
type XKindSigD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XDefD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XForD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XWarningD x Source #
Instances
type XWarningD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XAnnD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XRuleD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XSpliceD x Source #
Instances
type XSpliceD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XDocD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XRoleAnnotD x Source #
Instances
type XRoleAnnotD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCHsGroup x Source #
Instances
type XCHsGroup (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XSpliceDecl x Source #
Instances
type XSpliceDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXSpliceDecl x Source #
Instances
type XXSpliceDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XFamDecl x Source #
Instances
type XFamDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XDataDecl x Source #
Instances
type XDataDecl GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XDataDecl GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XDataDecl GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XClassDecl x Source #
Instances
type XClassDecl GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XClassDecl GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XClassDecl GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXTyClDecl x Source #
Instances
type XXTyClDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCTyClGroup x Source #
Instances
type XCTyClGroup (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXTyClGroup x Source #
Instances
type XXTyClGroup (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XNoSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCKindSig x Source #
Instances
type XCKindSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XTyVarSig x Source #
Instances
type XTyVarSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXFamilyResultSig x Source #
Instances
type XXFamilyResultSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCFamilyDecl x Source #
Instances
type XCFamilyDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXFamilyDecl x Source #
Instances
type XXFamilyDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCHsDataDefn x Source #
Instances
type XCHsDataDefn (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXHsDataDefn x Source #
Instances
type XXHsDataDefn (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCHsDerivingClause x Source #
Instances
type XCHsDerivingClause (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXHsDerivingClause x Source #
Instances
type XXHsDerivingClause (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XDctSingle x Source #
Instances
type XDctSingle (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XDctMulti x Source #
Instances
type XDctMulti (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXDerivClauseTys x Source #
Instances
type XXDerivClauseTys (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XConDeclGADT x Source #
Instances
type XConDeclGADT (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XConDeclH98 x Source #
Instances
type XConDeclH98 (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCTyFamInstDecl x Source #
Instances
type XCTyFamInstDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXTyFamInstDecl x Source #
Instances
type XXTyFamInstDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCClsInstDecl x Source #
Instances
type XCClsInstDecl GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XCClsInstDecl GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XCClsInstDecl GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXClsInstDecl x Source #
Instances
type XXClsInstDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XClsInstD x Source #
Instances
type XClsInstD (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XDataFamInstD x Source #
Instances
type XDataFamInstD GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XDataFamInstD GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XDataFamInstD GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XTyFamInstD x Source #
Instances
type XTyFamInstD GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XTyFamInstD GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XTyFamInstD GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXInstDecl x Source #
Instances
type XXInstDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCDerivDecl x Source #
Instances
type XCDerivDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXDerivDecl x Source #
Instances
type XXDerivDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XStockStrategy x Source #
Instances
type XStockStrategy GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XStockStrategy GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XStockStrategy GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XAnyClassStrategy x Source #
Instances
type XAnyClassStrategy GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XAnyClassStrategy GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XAnyClassStrategy GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XNewtypeStrategy x Source #
Instances
type XNewtypeStrategy GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XNewtypeStrategy GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XNewtypeStrategy GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XViaStrategy x Source #
Instances
type XViaStrategy GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XViaStrategy GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XViaStrategy GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XCDefaultDecl x Source #
Instances
type XCDefaultDecl GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XCDefaultDecl GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XCDefaultDecl GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXDefaultDecl x Source #
Instances
type XXDefaultDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XForeignImport x Source #
Instances
type XForeignImport GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XForeignImport GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XForeignImport GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XForeignExport x Source #
Instances
type XForeignExport GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XForeignExport GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XForeignExport GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXForeignDecl x Source #
Instances
type XXForeignDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCRuleDecls x Source #
Instances
type XCRuleDecls GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XCRuleDecls GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XCRuleDecls GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXRuleDecls x Source #
Instances
type XXRuleDecls (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXRuleDecl x Source #
Instances
type XXRuleDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCRuleBndr x Source #
Instances
type XCRuleBndr (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XRuleBndrSig x Source #
Instances
type XRuleBndrSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXRuleBndr x Source #
Instances
type XXRuleBndr (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XWarnings x Source #
Instances
type XWarnings GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XWarnings GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XWarnings GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXWarnDecls x Source #
Instances
type XXWarnDecls (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXWarnDecl x Source #
Instances
type XXWarnDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XHsAnnotation x Source #
Instances
type XHsAnnotation (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCRoleAnnotDecl x Source #
Instances
type XCRoleAnnotDecl GhcPs Source # | |
Defined in GHC.Hs.Decls | |
type XCRoleAnnotDecl GhcRn Source # | |
Defined in GHC.Hs.Decls | |
type XCRoleAnnotDecl GhcTc Source # | |
Defined in GHC.Hs.Decls |
type family XXRoleAnnotDecl x Source #
Instances
type XXRoleAnnotDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XCInjectivityAnn x Source #
Instances
type XCInjectivityAnn (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
type family XXInjectivityAnn x Source #
Instances
type XXInjectivityAnn (GhcPass _1) Source # | |
Defined in GHC.Hs.Decls |
Instances
type XVar (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr | |
type XVar (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XUnboundVar x Source #
Instances
type XUnboundVar GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XUnboundVar GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XUnboundVar GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XConLikeOut x Source #
Instances
type XConLikeOut (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr | |
type XConLikeOut (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XRecFld x Source #
Instances
type XRecFld (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr | |
type XRecFld (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XOverLabel x Source #
Instances
type XOverLabel GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XOverLabel GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XOverLabel GhcTc Source # | |
Defined in GHC.Hs.Expr |
Instances
type XLam (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr | |
type XLam (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XNegApp x Source #
Instances
type XNegApp GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XNegApp GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XNegApp GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XExplicitTuple x Source #
Instances
type XExplicitTuple GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitTuple GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitTuple GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XExplicitSum x Source #
Instances
type XExplicitSum GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitSum GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitSum GhcTc Source # | |
Defined in GHC.Hs.Expr |
Instances
type XCase GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCase GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCase GhcTc Source # | |
Defined in GHC.Hs.Expr |
Instances
type XIf GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XIf GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XIf GhcTc Source # | |
Defined in GHC.Hs.Expr |
Instances
type XLet GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XLet GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XLet GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XExplicitList x Source #
Instances
type XExplicitList GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitList GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XExplicitList GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XRecordCon x Source #
Instances
type XRecordCon GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XRecordCon GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XRecordCon GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XRecordUpd x Source #
Instances
type XRecordUpd GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XRecordUpd GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XRecordUpd GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XProjection x Source #
Instances
type XProjection GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XProjection GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XProjection GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XExprWithTySig x Source #
Instances
type XExprWithTySig GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XExprWithTySig GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XExprWithTySig GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XArithSeq x Source #
Instances
type XArithSeq GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XArithSeq GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XArithSeq GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XRnBracketOut x Source #
Instances
type XRnBracketOut (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XTcBracketOut x Source #
Instances
type XTcBracketOut (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XTick (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XPragE (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XCHsFieldLabel x Source #
Instances
type XCHsFieldLabel (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XXHsFieldLabel x Source #
Instances
type XXHsFieldLabel (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XUnambiguous x Source #
Instances
type XUnambiguous GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XUnambiguous GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XUnambiguous GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XAmbiguous x Source #
Instances
type XAmbiguous GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XAmbiguous GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XAmbiguous GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XXAmbiguousFieldOcc x Source #
Instances
type XXAmbiguousFieldOcc (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XTypedSplice x Source #
Instances
type XTypedSplice (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XUntypedSplice x Source #
Instances
type XUntypedSplice (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XQuasiQuote x Source #
Instances
type XQuasiQuote (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XExpBr (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XPatBr (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XTypBr (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XVarBr (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XCmdTop x Source #
Instances
type XCmdTop GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdTop GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdTop GhcTc Source # | |
Defined in GHC.Hs.Expr |
Instances
type XMG GhcPs b Source # | |
Defined in GHC.Hs.Expr | |
type XMG GhcRn b Source # | |
Defined in GHC.Hs.Expr | |
type XMG GhcTc b Source # | |
Defined in GHC.Hs.Expr |
type family XXMatchGroup x b Source #
Instances
type XXMatchGroup (GhcPass _1) b Source # | |
Defined in GHC.Hs.Expr |
type family XCGRHSs x b Source #
Instances
type XCGRHSs (GhcPass _1) _2 Source # | |
Defined in GHC.Hs.Expr |
type family XApplicativeStmt x x' b Source #
Instances
type XApplicativeStmt (GhcPass _1) GhcPs b Source # | |
Defined in GHC.Hs.Expr | |
type XApplicativeStmt (GhcPass _1) GhcRn b Source # | |
Defined in GHC.Hs.Expr | |
type XApplicativeStmt (GhcPass _1) GhcTc b Source # | |
Defined in GHC.Hs.Expr |
type family XTransStmt x x' b Source #
Instances
type XTransStmt (GhcPass _1) GhcPs b Source # | |
Defined in GHC.Hs.Expr | |
type XTransStmt (GhcPass _1) GhcRn b Source # | |
Defined in GHC.Hs.Expr | |
type XTransStmt (GhcPass _1) GhcTc b Source # | |
Defined in GHC.Hs.Expr |
type family XCmdArrApp x Source #
Instances
type XCmdArrApp GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdArrApp GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdArrApp GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XCmdArrForm x Source #
Instances
type XCmdArrForm GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdArrForm GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdArrForm GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XCmdCase x Source #
Instances
type XCmdCase GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdCase GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdCase GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XCmdLamCase x Source #
Instances
type XCmdLamCase (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
Instances
type XCmdIf GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdIf GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdIf GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XCmdLet x Source #
Instances
type XCmdLet GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XCmdLet GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XCmdLet GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XParStmtBlock x x' Source #
Instances
type XParStmtBlock (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Expr |
type family XXParStmtBlock x x' Source #
Instances
type XXParStmtBlock (GhcPass pL) (GhcPass pR) Source # | |
Defined in GHC.Hs.Expr |
type family XApplicativeArgOne x Source #
Instances
type XApplicativeArgOne GhcPs Source # | |
Defined in GHC.Hs.Expr | |
type XApplicativeArgOne GhcRn Source # | |
Defined in GHC.Hs.Expr | |
type XApplicativeArgOne GhcTc Source # | |
Defined in GHC.Hs.Expr |
type family XApplicativeArgMany x Source #
Instances
type XApplicativeArgMany (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XXApplicativeArg x Source #
Instances
type XXApplicativeArg (GhcPass _1) Source # | |
Defined in GHC.Hs.Expr |
type family XHsCharPrim x Source #
Instances
type XHsCharPrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsString x Source #
Instances
type XHsString (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsStringPrim x Source #
Instances
type XHsStringPrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
Instances
type XHsInt (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsIntPrim x Source #
Instances
type XHsIntPrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsWordPrim x Source #
Instances
type XHsWordPrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsInt64Prim x Source #
Instances
type XHsInt64Prim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsWord64Prim x Source #
Instances
type XHsWord64Prim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsInteger x Source #
Instances
type XHsInteger (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
Instances
type XHsRat (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsFloatPrim x Source #
Instances
type XHsFloatPrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XHsDoublePrim x Source #
Instances
type XHsDoublePrim (GhcPass _1) Source # | |
Defined in GHC.Hs.Lit |
type family XWildPat x Source #
Instances
type XWildPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XWildPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XWildPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
type family XLazyPat x Source #
Instances
type XLazyPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XLazyPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XLazyPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
Instances
type XAsPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XAsPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XAsPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
type family XBangPat x Source #
Instances
type XBangPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XBangPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XBangPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
type family XSumPat x Source #
Instances
type XSumPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XSumPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XSumPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
type family XSplicePat x Source #
Instances
type XSplicePat (GhcPass _1) Source # | |
Defined in GHC.Hs.Pat |
type family XNPlusKPat x Source #
Instances
type XNPlusKPat GhcPs Source # | |
Defined in GHC.Hs.Pat | |
type XNPlusKPat GhcRn Source # | |
Defined in GHC.Hs.Pat | |
type XNPlusKPat GhcTc Source # | |
Defined in GHC.Hs.Pat |
type family XHsRecField x Source #
Instances
type XHsRecField _1 Source # | |
Defined in GHC.Hs.Pat |
type family XXLHsQTyVars x Source #
Instances
type XXLHsQTyVars (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XHsOuterImplicit x Source #
Instances
type XHsOuterImplicit GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XHsOuterImplicit GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XHsOuterImplicit GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XHsOuterExplicit x flag Source #
Instances
type XHsOuterExplicit GhcPs _1 Source # | |
Defined in GHC.Hs.Type | |
type XHsOuterExplicit GhcRn _1 Source # | |
Defined in GHC.Hs.Type | |
type XHsOuterExplicit GhcTc flag Source # | |
Defined in GHC.Hs.Type |
type family XXHsOuterTyVarBndrs x Source #
Instances
type XXHsOuterTyVarBndrs (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
Instances
type XHsSig (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XXHsSigType x Source #
Instances
type XXHsSigType (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XXHsWildCardBndrs x b Source #
Instances
type XXHsWildCardBndrs (GhcPass _1) _2 Source # | |
Defined in GHC.Hs.Type |
type family XXHsPatSigType x Source #
Instances
type XXHsPatSigType (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XForAllTy x Source #
Instances
type XForAllTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
Instances
type XAppTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XAppKindTy x Source #
Instances
type XAppKindTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
Instances
type XFunTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
Instances
type XOpTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XSpliceTy x Source #
Instances
type XSpliceTy GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XSpliceTy GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XSpliceTy GhcTc Source # | |
Defined in GHC.Hs.Type |
Instances
type XRecTy GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XRecTy GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XRecTy GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XExplicitListTy x Source #
Instances
type XExplicitListTy GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XExplicitListTy GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XExplicitListTy GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XExplicitTupleTy x Source #
Instances
type XExplicitTupleTy GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XExplicitTupleTy GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XExplicitTupleTy GhcTc Source # | |
Defined in GHC.Hs.Type |
Instances
type XTyLit (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XWildCardTy x Source #
Instances
type XWildCardTy (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XHsForAllVis x Source #
Instances
type XHsForAllVis (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XHsForAllInvis x Source #
Instances
type XHsForAllInvis (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XXHsForAllTelescope x Source #
Instances
type XXHsForAllTelescope (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XUserTyVar x Source #
Instances
type XUserTyVar (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XKindedTyVar x Source #
Instances
type XKindedTyVar (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XXTyVarBndr x Source #
Instances
type XXTyVarBndr (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XConDeclField x Source #
Instances
type XConDeclField (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XXConDeclField x Source #
Instances
type XXConDeclField (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XCFieldOcc x Source #
Instances
type XCFieldOcc GhcPs Source # | |
Defined in GHC.Hs.Type | |
type XCFieldOcc GhcRn Source # | |
Defined in GHC.Hs.Type | |
type XCFieldOcc GhcTc Source # | |
Defined in GHC.Hs.Type |
type family XXFieldOcc x Source #
Instances
type XXFieldOcc (GhcPass _1) Source # | |
Defined in GHC.Hs.Type |
type family XCImportDecl x Source #
Instances
type XCImportDecl GhcPs Source # | |
Defined in GHC.Hs.ImpExp | |
type XCImportDecl GhcRn Source # | |
Defined in GHC.Hs.ImpExp | |
type XCImportDecl GhcTc Source # | |
Defined in GHC.Hs.ImpExp |
type family XXImportDecl x Source #
Instances
type XXImportDecl (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
Instances
type XIEVar GhcPs Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEVar GhcRn Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEVar GhcTc Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEThingAbs x Source #
Instances
type XIEThingAbs (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEThingAll x Source #
Instances
type XIEThingAll (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEThingWith x Source #
Instances
type XIEThingWith (GhcPass 'Parsed) Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEThingWith (GhcPass 'Renamed) Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEThingWith (GhcPass 'Typechecked) Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEModuleContents x Source #
Instances
type XIEModuleContents GhcPs Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEModuleContents GhcRn Source # | |
Defined in GHC.Hs.ImpExp | |
type XIEModuleContents GhcTc Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEGroup x Source #
Instances
type XIEGroup (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
Instances
type XIEDoc (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
type family XIEDocNamed x Source #
Instances
type XIEDocNamed (GhcPass _1) Source # | |
Defined in GHC.Hs.ImpExp |
type family NoGhcTc (p :: Type) 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
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] |
Defined in GHC.Hs.Extension |