| 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 #
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
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 # | |
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtCon Source # toConstr :: NoExtCon -> Constr Source # dataTypeOf :: NoExtCon -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtCon) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtCon) Source # gmapT :: (forall b. Data b => b -> b) -> NoExtCon -> NoExtCon Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtCon -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtCon -> r Source # gmapQ :: (forall d. Data d => d -> u) -> NoExtCon -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtCon -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtCon -> m NoExtCon Source # | |
| Outputable NoExtCon # | |
Defined in Language.Haskell.Syntax.Extension | |
| Eq NoExtCon # | |
| Ord NoExtCon # | |
Defined in Language.Haskell.Syntax.Extension | |
type family XRec p a = r | r -> a #
GHC's L prefixed variants wrap their vanilla variant in this type family,
to add SrcLoc info via Located. Other passes than GhcPass not
interested in location information can define this as
type instance XRec NoLocated a = a.
See Note [XRec and SrcSpans in the AST]
Instances
| type XRec (GhcPass p) a # | |
Defined in GHC.Hs.Extension | |
Instances
We can strip off the XRec to access the underlying data. See Note [XRec and SrcSpans in the AST]
We can map over the underlying type contained in an XRec while preserving
the annotation as is.
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' #
Instances
| type XHsValBinds (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XHsIPBinds x x' #
Instances
| type XHsIPBinds (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XEmptyLocalBinds x x' #
Instances
| type XEmptyLocalBinds (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XXHsLocalBindsLR x x' #
Instances
| type XXHsLocalBindsLR (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XValBinds (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XXValBindsLR x x' #
Instances
| type XXValBindsLR (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XFunBind (GhcPass pL) GhcPs # | |
Defined in GHC.Hs.Binds | |
| type XFunBind (GhcPass pL) GhcRn # | |
Defined in GHC.Hs.Binds | |
| type XFunBind (GhcPass pL) GhcTc # | |
Defined in GHC.Hs.Binds | |
Instances
| type XVarBind (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XAbsBinds (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XPatSynBind x x' #
Instances
| type XPatSynBind (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
type family XXHsBindsLR x x' #
Instances
| type XXHsBindsLR (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XABE (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XXABExport x #
Instances
| type XXABExport (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
Instances
type family XXPatSynBind x x' #
Instances
| type XXPatSynBind (GhcPass idL) (GhcPass idR) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XIPBinds GhcPs # | |
Defined in GHC.Hs.Binds | |
| type XIPBinds GhcRn # | |
Defined in GHC.Hs.Binds | |
| type XIPBinds GhcTc # | |
Defined in GHC.Hs.Binds | |
type family XXHsIPBinds x #
Instances
| type XXHsIPBinds (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XPatSynSig x #
Instances
| type XPatSynSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XClassOpSig x #
Instances
| type XClassOpSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
Instances
| type XIdSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XInlineSig x #
Instances
| type XInlineSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XSpecInstSig x #
Instances
| type XSpecInstSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XMinimalSig x #
Instances
| type XMinimalSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XSCCFunSig x #
Instances
| type XSCCFunSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XCompleteMatchSig x #
Instances
| type XCompleteMatchSig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XFixitySig x #
Instances
| type XFixitySig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XXFixitySig x #
Instances
| type XXFixitySig (GhcPass p) # | |
Defined in GHC.Hs.Binds | |
type family XStandaloneKindSig x #
Instances
| type XStandaloneKindSig GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XStandaloneKindSig GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XStandaloneKindSig GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXStandaloneKindSig x #
Instances
| type XXStandaloneKindSig (GhcPass p) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XTyClD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XInstD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XDerivD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XValD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XSigD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XKindSigD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XDefD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XForD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XWarningD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XAnnD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XRuleD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XSpliceD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XDocD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XRoleAnnotD x #
Instances
| type XRoleAnnotD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XCHsGroup (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XSpliceDecl x #
Instances
| type XSpliceDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXSpliceDecl x #
Instances
| type XXSpliceDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XFamDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XDataDecl GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XDataDecl GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XDataDecl GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XClassDecl x #
Instances
| type XClassDecl GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XClassDecl GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XClassDecl GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXTyClDecl x #
Instances
| type XXTyClDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCTyClGroup x #
Instances
| type XCTyClGroup (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXTyClGroup x #
Instances
| type XXTyClGroup (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XNoSig (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XCKindSig (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XTyVarSig (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXFamilyResultSig x #
Instances
| type XXFamilyResultSig (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCFamilyDecl x #
Instances
| type XCFamilyDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXFamilyDecl x #
Instances
| type XXFamilyDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCHsDataDefn x #
Instances
| type XCHsDataDefn (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXHsDataDefn x #
Instances
| type XXHsDataDefn (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCHsDerivingClause x #
Instances
| type XCHsDerivingClause (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXHsDerivingClause x #
Instances
| type XXHsDerivingClause (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XDctSingle x #
Instances
| type XDctSingle (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XDctMulti (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXDerivClauseTys x #
Instances
| type XXDerivClauseTys (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XConDeclGADT x #
Instances
| type XConDeclGADT (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XConDeclH98 x #
Instances
| type XConDeclH98 (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCTyFamInstDecl x #
Instances
| type XCTyFamInstDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXTyFamInstDecl x #
Instances
| type XXTyFamInstDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCClsInstDecl x #
Instances
| type XCClsInstDecl GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XCClsInstDecl GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XCClsInstDecl GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXClsInstDecl x #
Instances
| type XXClsInstDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XClsInstD (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XDataFamInstD x #
Instances
| type XDataFamInstD GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XDataFamInstD GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XDataFamInstD GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XTyFamInstD x #
Instances
| type XTyFamInstD GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XTyFamInstD GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XTyFamInstD GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXInstDecl x #
Instances
| type XXInstDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCDerivDecl x #
Instances
| type XCDerivDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXDerivDecl x #
Instances
| type XXDerivDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XStockStrategy x #
Instances
| type XStockStrategy GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XStockStrategy GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XStockStrategy GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XAnyClassStrategy x #
Instances
| type XAnyClassStrategy GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XAnyClassStrategy GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XAnyClassStrategy GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XNewtypeStrategy x #
Instances
| type XNewtypeStrategy GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XNewtypeStrategy GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XNewtypeStrategy GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XViaStrategy x #
Instances
| type XViaStrategy GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XViaStrategy GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XViaStrategy GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XCDefaultDecl x #
Instances
| type XCDefaultDecl GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XCDefaultDecl GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XCDefaultDecl GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXDefaultDecl x #
Instances
| type XXDefaultDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XForeignImport x #
Instances
| type XForeignImport GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XForeignImport GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XForeignImport GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XForeignExport x #
Instances
| type XForeignExport GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XForeignExport GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XForeignExport GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXForeignDecl x #
Instances
| type XXForeignDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCRuleDecls x #
Instances
| type XCRuleDecls GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XCRuleDecls GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XCRuleDecls GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXRuleDecls x #
Instances
| type XXRuleDecls (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXRuleDecl x #
Instances
| type XXRuleDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCRuleBndr x #
Instances
| type XCRuleBndr (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XRuleBndrSig x #
Instances
| type XRuleBndrSig (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXRuleBndr x #
Instances
| type XXRuleBndr (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XWarnings GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XWarnings GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XWarnings GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXWarnDecls x #
Instances
| type XXWarnDecls (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXWarnDecl x #
Instances
| type XXWarnDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XHsAnnotation x #
Instances
| type XHsAnnotation (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCRoleAnnotDecl x #
Instances
| type XCRoleAnnotDecl GhcPs # | |
Defined in GHC.Hs.Decls | |
| type XCRoleAnnotDecl GhcRn # | |
Defined in GHC.Hs.Decls | |
| type XCRoleAnnotDecl GhcTc # | |
Defined in GHC.Hs.Decls | |
type family XXRoleAnnotDecl x #
Instances
| type XXRoleAnnotDecl (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XCInjectivityAnn x #
Instances
| type XCInjectivityAnn (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
type family XXInjectivityAnn x #
Instances
| type XXInjectivityAnn (GhcPass _1) # | |
Defined in GHC.Hs.Decls | |
Instances
| type XVar (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
| type XVar (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XUnboundVar x #
Instances
| type XUnboundVar GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XUnboundVar GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XUnboundVar GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XConLikeOut x #
Instances
| type XConLikeOut (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
| type XConLikeOut (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XRecFld (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
| type XRecFld (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XOverLabel x #
Instances
| type XOverLabel GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XOverLabel GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XOverLabel GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XLam (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
| type XLam (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XNegApp GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XNegApp GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XNegApp GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XExplicitTuple x #
Instances
| type XExplicitTuple GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XExplicitTuple GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XExplicitTuple GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XExplicitSum x #
Instances
| type XExplicitSum GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XExplicitSum GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XExplicitSum GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCase GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCase GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCase GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XIf GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XIf GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XIf GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XLet GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XLet GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XLet GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XExplicitList x #
Instances
| type XExplicitList GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XExplicitList GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XExplicitList GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XRecordCon x #
Instances
| type XRecordCon GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XRecordCon GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XRecordCon GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XRecordUpd x #
Instances
| type XRecordUpd GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XRecordUpd GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XRecordUpd GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XProjection x #
Instances
| type XProjection GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XProjection GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XProjection GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XExprWithTySig x #
Instances
| type XExprWithTySig GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XExprWithTySig GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XExprWithTySig GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XArithSeq GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XArithSeq GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XArithSeq GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XRnBracketOut x #
Instances
| type XRnBracketOut (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XTcBracketOut x #
Instances
| type XTcBracketOut (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XTick (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XBinTick (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XPragE (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XXExpr GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XXExpr GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XXExpr GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XCHsFieldLabel x #
Instances
| type XCHsFieldLabel (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XXHsFieldLabel x #
Instances
| type XXHsFieldLabel (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XUnambiguous x #
Instances
| type XUnambiguous GhcPs # | |
Defined in GHC.Hs.Type | |
| type XUnambiguous GhcRn # | |
Defined in GHC.Hs.Type | |
| type XUnambiguous GhcTc # | |
Defined in GHC.Hs.Type | |
type family XAmbiguous x #
Instances
| type XAmbiguous GhcPs # | |
Defined in GHC.Hs.Type | |
| type XAmbiguous GhcRn # | |
Defined in GHC.Hs.Type | |
| type XAmbiguous GhcTc # | |
Defined in GHC.Hs.Type | |
type family XXAmbiguousFieldOcc x #
Instances
| type XXAmbiguousFieldOcc (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XMissing GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XMissing GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XMissing GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XTypedSplice x #
Instances
| type XTypedSplice (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XUntypedSplice x #
Instances
| type XUntypedSplice (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XQuasiQuote x #
Instances
| type XQuasiQuote (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XSpliced (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XExpBr (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XPatBr (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XDecBrL (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XDecBrG (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XTypBr (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XVarBr (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XTExpBr (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdTop GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdTop GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdTop GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XMG GhcPs b # | |
Defined in GHC.Hs.Expr | |
| type XMG GhcRn b # | |
Defined in GHC.Hs.Expr | |
| type XMG GhcTc b # | |
Defined in GHC.Hs.Expr | |
type family XXMatchGroup x b #
Instances
| type XXMatchGroup (GhcPass _1) b # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCGRHSs (GhcPass _1) _2 # | |
Defined in GHC.Hs.Expr | |
type family XLastStmt x x' b #
Instances
| type XLastStmt (GhcPass _1) (GhcPass _2) b # | |
Defined in GHC.Hs.Expr | |
type family XApplicativeStmt x x' b #
Instances
| type XApplicativeStmt (GhcPass _1) GhcPs b # | |
Defined in GHC.Hs.Expr | |
| type XApplicativeStmt (GhcPass _1) GhcRn b # | |
Defined in GHC.Hs.Expr | |
| type XApplicativeStmt (GhcPass _1) GhcTc b # | |
Defined in GHC.Hs.Expr | |
type family XBodyStmt x x' b #
Instances
| type XBodyStmt (GhcPass _1) GhcPs b # | |
Defined in GHC.Hs.Expr | |
| type XBodyStmt (GhcPass _1) GhcRn b # | |
Defined in GHC.Hs.Expr | |
| type XBodyStmt (GhcPass _1) GhcTc b # | |
Defined in GHC.Hs.Expr | |
Instances
| type XParStmt (GhcPass _1) GhcPs b # | |
Defined in GHC.Hs.Expr | |
| type XParStmt (GhcPass _1) GhcRn b # | |
Defined in GHC.Hs.Expr | |
| type XParStmt (GhcPass _1) GhcTc b # | |
Defined in GHC.Hs.Expr | |
type family XTransStmt x x' b #
Instances
| type XTransStmt (GhcPass _1) GhcPs b # | |
Defined in GHC.Hs.Expr | |
| type XTransStmt (GhcPass _1) GhcRn b # | |
Defined in GHC.Hs.Expr | |
| type XTransStmt (GhcPass _1) GhcTc b # | |
Defined in GHC.Hs.Expr | |
type family XCmdArrApp x #
Instances
| type XCmdArrApp GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdArrApp GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdArrApp GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XCmdArrForm x #
Instances
| type XCmdArrForm GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdArrForm GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdArrForm GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdLam (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdCase GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdCase GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdCase GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XCmdLamCase x #
Instances
| type XCmdLamCase (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdIf GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdIf GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdIf GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdLet GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XCmdLet GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XCmdLet GhcTc # | |
Defined in GHC.Hs.Expr | |
Instances
| type XCmdWrap (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XParStmtBlock x x' #
Instances
| type XParStmtBlock (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Expr | |
type family XXParStmtBlock x x' #
Instances
| type XXParStmtBlock (GhcPass pL) (GhcPass pR) # | |
Defined in GHC.Hs.Expr | |
type family XApplicativeArgOne x #
Instances
| type XApplicativeArgOne GhcPs # | |
Defined in GHC.Hs.Expr | |
| type XApplicativeArgOne GhcRn # | |
Defined in GHC.Hs.Expr | |
| type XApplicativeArgOne GhcTc # | |
Defined in GHC.Hs.Expr | |
type family XApplicativeArgMany x #
Instances
| type XApplicativeArgMany (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
type family XXApplicativeArg x #
Instances
| type XXApplicativeArg (GhcPass _1) # | |
Defined in GHC.Hs.Expr | |
Instances
| type XHsChar (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsCharPrim x #
Instances
| type XHsCharPrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
Instances
| type XHsString (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsStringPrim x #
Instances
| type XHsStringPrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
Instances
| type XHsInt (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsIntPrim x #
Instances
| type XHsIntPrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsWordPrim x #
Instances
| type XHsWordPrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsInt64Prim x #
Instances
| type XHsInt64Prim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsWord64Prim x #
Instances
| type XHsWord64Prim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsInteger x #
Instances
| type XHsInteger (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
Instances
| type XHsRat (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsFloatPrim x #
Instances
| type XHsFloatPrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
type family XHsDoublePrim x #
Instances
| type XHsDoublePrim (GhcPass _1) # | |
Defined in GHC.Hs.Lit | |
Instances
| type XWildPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XWildPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XWildPat GhcTc # | |
Defined in GHC.Hs.Pat | |
Instances
| type XVarPat (GhcPass _1) # | |
Defined in GHC.Hs.Pat | |
Instances
| type XLazyPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XLazyPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XLazyPat GhcTc # | |
Defined in GHC.Hs.Pat | |
Instances
| type XAsPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XAsPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XAsPat GhcTc # | |
Defined in GHC.Hs.Pat | |
Instances
| type XBangPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XBangPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XBangPat GhcTc # | |
Defined in GHC.Hs.Pat | |
Instances
| type XSumPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XSumPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XSumPat GhcTc # | |
Defined in GHC.Hs.Pat | |
type family XSplicePat x #
Instances
| type XSplicePat (GhcPass _1) # | |
Defined in GHC.Hs.Pat | |
Instances
| type XLitPat (GhcPass _1) # | |
Defined in GHC.Hs.Pat | |
type family XNPlusKPat x #
Instances
| type XNPlusKPat GhcPs # | |
Defined in GHC.Hs.Pat | |
| type XNPlusKPat GhcRn # | |
Defined in GHC.Hs.Pat | |
| type XNPlusKPat GhcTc # | |
Defined in GHC.Hs.Pat | |
type family XHsRecField x #
Instances
| type XHsRecField _1 # | |
Defined in GHC.Hs.Pat | |
Instances
| type XHsQTvs GhcPs # | |
Defined in GHC.Hs.Type | |
| type XHsQTvs GhcRn # | |
Defined in GHC.Hs.Type | |
| type XHsQTvs GhcTc # | |
Defined in GHC.Hs.Type | |
type family XXLHsQTyVars x #
Instances
| type XXLHsQTyVars (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XHsOuterImplicit x #
Instances
| type XHsOuterImplicit GhcPs # | |
Defined in GHC.Hs.Type | |
| type XHsOuterImplicit GhcRn # | |
Defined in GHC.Hs.Type | |
| type XHsOuterImplicit GhcTc # | |
Defined in GHC.Hs.Type | |
type family XHsOuterExplicit x flag #
Instances
| type XHsOuterExplicit GhcPs _1 # | |
Defined in GHC.Hs.Type | |
| type XHsOuterExplicit GhcRn _1 # | |
Defined in GHC.Hs.Type | |
| type XHsOuterExplicit GhcTc flag # | |
Defined in GHC.Hs.Type | |
type family XXHsOuterTyVarBndrs x #
Instances
| type XXHsOuterTyVarBndrs (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XHsSig (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XXHsSigType x #
Instances
| type XXHsSigType (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XXHsWildCardBndrs x b #
Instances
| type XXHsWildCardBndrs (GhcPass _1) _2 # | |
Defined in GHC.Hs.Type | |
type family XXHsPatSigType x #
Instances
| type XXHsPatSigType (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XForAllTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XQualTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XAppTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XAppKindTy x #
Instances
| type XAppKindTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XFunTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XOpTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XStarTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
Instances
| type XSpliceTy GhcPs # | |
Defined in GHC.Hs.Type | |
| type XSpliceTy GhcRn # | |
Defined in GHC.Hs.Type | |
| type XSpliceTy GhcTc # | |
Defined in GHC.Hs.Type | |
Instances
| type XRecTy GhcPs # | |
Defined in GHC.Hs.Type | |
| type XRecTy GhcRn # | |
Defined in GHC.Hs.Type | |
| type XRecTy GhcTc # | |
Defined in GHC.Hs.Type | |
type family XExplicitListTy x #
Instances
| type XExplicitListTy GhcPs # | |
Defined in GHC.Hs.Type | |
| type XExplicitListTy GhcRn # | |
Defined in GHC.Hs.Type | |
| type XExplicitListTy GhcTc # | |
Defined in GHC.Hs.Type | |
type family XExplicitTupleTy x #
Instances
| type XExplicitTupleTy GhcPs # | |
Defined in GHC.Hs.Type | |
| type XExplicitTupleTy GhcRn # | |
Defined in GHC.Hs.Type | |
| type XExplicitTupleTy GhcTc # | |
Defined in GHC.Hs.Type | |
Instances
| type XTyLit (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XWildCardTy x #
Instances
| type XWildCardTy (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XHsForAllVis x #
Instances
| type XHsForAllVis (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XHsForAllInvis x #
Instances
| type XHsForAllInvis (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XXHsForAllTelescope x #
Instances
| type XXHsForAllTelescope (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XUserTyVar x #
Instances
| type XUserTyVar (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XKindedTyVar x #
Instances
| type XKindedTyVar (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XXTyVarBndr x #
Instances
| type XXTyVarBndr (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XConDeclField x #
Instances
| type XConDeclField (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XXConDeclField x #
Instances
| type XXConDeclField (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XCFieldOcc x #
Instances
| type XCFieldOcc GhcPs # | |
Defined in GHC.Hs.Type | |
| type XCFieldOcc GhcRn # | |
Defined in GHC.Hs.Type | |
| type XCFieldOcc GhcTc # | |
Defined in GHC.Hs.Type | |
type family XXFieldOcc x #
Instances
| type XXFieldOcc (GhcPass _1) # | |
Defined in GHC.Hs.Type | |
type family XCImportDecl x #
Instances
| type XCImportDecl GhcPs # | |
Defined in GHC.Hs.ImpExp | |
| type XCImportDecl GhcRn # | |
Defined in GHC.Hs.ImpExp | |
| type XCImportDecl GhcTc # | |
Defined in GHC.Hs.ImpExp | |
type family XXImportDecl x #
Instances
| type XXImportDecl (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
Instances
| type XIEVar GhcPs # | |
Defined in GHC.Hs.ImpExp | |
| type XIEVar GhcRn # | |
Defined in GHC.Hs.ImpExp | |
| type XIEVar GhcTc # | |
Defined in GHC.Hs.ImpExp | |
type family XIEThingAbs x #
Instances
| type XIEThingAbs (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
type family XIEThingAll x #
Instances
| type XIEThingAll (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
type family XIEThingWith x #
Instances
| type XIEThingWith (GhcPass 'Parsed) # | |
Defined in GHC.Hs.ImpExp | |
| type XIEThingWith (GhcPass 'Renamed) # | |
Defined in GHC.Hs.ImpExp | |
| type XIEThingWith (GhcPass 'Typechecked) # | |
Defined in GHC.Hs.ImpExp | |
type family XIEModuleContents x #
Instances
| type XIEModuleContents GhcPs # | |
Defined in GHC.Hs.ImpExp | |
| type XIEModuleContents GhcRn # | |
Defined in GHC.Hs.ImpExp | |
| type XIEModuleContents GhcTc # | |
Defined in GHC.Hs.ImpExp | |
Instances
| type XIEGroup (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
Instances
| type XIEDoc (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
type family XIEDocNamed x #
Instances
| type XIEDocNamed (GhcPass _1) # | |
Defined in GHC.Hs.ImpExp | |
type family NoGhcTc (p :: Type) #
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) # | 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 | |