Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.Exts.Prisms
Documentation
_ParenFormula :: forall l. Prism' (BooleanFormula l) (l, BooleanFormula l) Source #
_OrFormula :: forall l. Prism' (BooleanFormula l) (l, [BooleanFormula l]) Source #
_AndFormula :: forall l. Prism' (BooleanFormula l) (l, [BooleanFormula l]) Source #
_VarFormula :: forall l. Prism' (BooleanFormula l) (l, Name l) Source #
_ModuleAnn :: forall l. Prism' (Annotation l) (l, Exp l) Source #
_ActiveUntil :: forall l. Prism' (Activation l) (l, Int) Source #
_ActiveFrom :: forall l. Prism' (Activation l) (l, Int) Source #
_Rule :: forall l l. Iso (Rule l) (Rule l) (l, String, Maybe (Activation l), Maybe [RuleVar l], Exp l, Exp l) (l, String, Maybe (Activation l), Maybe [RuleVar l], Exp l, Exp l) Source #
_Incoherent :: forall l. Prism' (Overlap l) l Source #
_NoOverlap :: forall l. Prism' (Overlap l) l Source #
_AnnModulePragma :: forall l. Prism' (ModulePragma l) (l, Annotation l) Source #
_OptionsPragma :: forall l. Prism' (ModulePragma l) (l, Maybe Tool, String) Source #
_LanguagePragma :: forall l. Prism' (ModulePragma l) (l, [Name l]) Source #
_JavaScript :: forall l. Prism' (CallConv l) l Source #
_CPlusPlus :: forall l. Prism' (CallConv l) l Source #
_PlayInterruptible :: forall l. Prism' (Safety l) l Source #
_PlayRisky :: forall l. Prism' (Safety l) l Source #
_RoleWildcard :: forall l. Prism' (Role l) l Source #
_Representational :: forall l. Prism' (Role l) l Source #
_UnboxedSingleCon :: forall l. Prism' (SpecialCon l) l Source #
_Cons :: forall l. Prism' (SpecialCon l) l Source #
_FunCon :: forall l. Prism' (SpecialCon l) l Source #
_ListCon :: forall l. Prism' (SpecialCon l) l Source #
_UnitCon :: forall l. Prism' (SpecialCon l) l Source #
_ModuleName :: forall l l. Iso (ModuleName l) (ModuleName l) (l, String) (l, String) Source #
_PFieldWildcard :: forall l. Prism' (PatField l) l Source #
_PWildCard :: forall l. Prism' (Pat l) l Source #
_Alt :: forall l l. Iso (Alt l) (Alt l) (l, Pat l, Rhs l, Maybe (Binds l)) (l, Pat l, Rhs l, Maybe (Binds l)) Source #
_FieldWildcard :: forall l. Prism' (FieldUpdate l) l Source #
_FieldUpdate :: forall l. Prism' (FieldUpdate l) (l, QName l, Exp l) Source #
_RecUpdate :: forall l. Prism' (Exp l) (l, Exp l, [FieldUpdate l]) Source #
_RecConstr :: forall l. Prism' (Exp l) (l, QName l, [FieldUpdate l]) Source #
_TypeEqn :: forall l l. Iso (TypeEqn l) (TypeEqn l) (l, Type l, Type l) (l, Type l, Type l) Source #
_PromotedUnit :: forall l. Prism' (Promoted l) l Source #
_FunDep :: forall l l. Iso (FunDep l) (FunDep l) (l, [Name l], [Name l]) (l, [Name l], [Name l]) Source #
_GuardedRhs :: forall l l. Iso (GuardedRhs l) (GuardedRhs l) (l, [Stmt l], Exp l) (l, [Stmt l], Exp l) Source #
_GuardedRhss :: forall l. Prism' (Rhs l) (l, [GuardedRhs l]) Source #
_InfixMatch :: forall l. Prism' (Match l) (l, Pat l, Name l, [Pat l], Rhs l, Maybe (Binds l)) Source #
_NoUnpackPragma :: forall l. Prism' (Unpackedness l) l Source #
_NoUnpack :: forall l. Prism' (Unpackedness l) l Source #
_Unpack :: forall l. Prism' (Unpackedness l) l Source #
_NoStrictAnnot :: forall l. Prism' (BangType l) l Source #
_GadtDecl :: forall l l. Iso (GadtDecl l) (GadtDecl l) (l, Name l, Maybe [FieldDecl l], Type l) (l, Name l, Maybe [FieldDecl l], Type l) Source #
_QualConDecl :: forall l l. Iso (QualConDecl l) (QualConDecl l) (l, Maybe [TyVarBind l], Maybe (Context l), ConDecl l) (l, Maybe [TyVarBind l], Maybe (Context l), ConDecl l) Source #
_FieldDecl :: forall l l. Iso (FieldDecl l) (FieldDecl l) (l, [Name l], Type l) (l, [Name l], Type l) Source #
_InsGData :: forall l. Prism' (InstDecl l) (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l)) Source #
_InsData :: forall l. Prism' (InstDecl l) (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l)) Source #
_ClsTyFam :: forall l. Prism' (ClassDecl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l)) Source #
_ClsDataFam :: forall l. Prism' (ClassDecl l) (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l)) Source #
_InjectivityInfo :: forall l l. Iso (InjectivityInfo l) (InjectivityInfo l) (l, Name l, [Name l]) (l, Name l, [Name l]) Source #
_ExplicitBidirectional :: forall l l. Prism (PatternSynDirection l) (PatternSynDirection l) (l, [Decl l]) (l, [Decl l]) Source #
_ImplicitBidirectional :: forall l. Prism' (PatternSynDirection l) () Source #
_Unidirectional :: forall l. Prism' (PatternSynDirection l) () Source #
_IRule :: forall l. Prism' (InstRule l) (l, Maybe [TyVarBind l], Maybe (Context l), InstHead l) Source #
_MinimalPragma :: forall l. Prism' (Decl l) (l, Maybe (BooleanFormula l)) Source #
_AnnPragma :: forall l. Prism' (Decl l) (l, Annotation l) Source #
_SpecInlineSig :: forall l. Prism' (Decl l) (l, Bool, Maybe (Activation l), QName l, [Type l]) Source #
_InlineConlikeSig :: forall l. Prism' (Decl l) (l, Maybe (Activation l), QName l) Source #
_InlineSig :: forall l. Prism' (Decl l) (l, Bool, Maybe (Activation l), QName l) Source #
_ForImp :: forall l. Prism' (Decl l) (l, CallConv l, Maybe (Safety l), Maybe String, Name l, Type l) Source #
_PatSynSig :: forall l. Prism' (Decl l) (l, Name l, Maybe [TyVarBind l], Maybe (Context l), Maybe (Context l), Type l) Source #
_InstDecl :: forall l. Prism' (Decl l) (l, Maybe (Overlap l), InstRule l, Maybe [InstDecl l]) Source #
_ClassDecl :: forall l. Prism' (Decl l) (l, Maybe (Context l), DeclHead l, [FunDep l], Maybe [ClassDecl l]) Source #
_GDataInsDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l)) Source #
_DataInsDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l)) Source #
_DataFamDecl :: forall l. Prism' (Decl l) (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l)) Source #
_GDataDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Maybe (Context l), DeclHead l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l)) Source #
_DataDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Maybe (Context l), DeclHead l, [QualConDecl l], Maybe (Deriving l)) Source #
_ClosedTypeFamDecl :: forall l. Prism' (Decl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l), [TypeEqn l]) Source #
_TypeFamDecl :: forall l. Prism' (Decl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l)) Source #
_PatternNamespace :: forall l. Prism' (Namespace l) l Source #
_TypeNamespace :: forall l. Prism' (Namespace l) l Source #
_NoNamespace :: forall l. Prism' (Namespace l) l Source #
_AssocRight :: forall l. Prism' (Assoc l) l Source #
_AssocLeft :: forall l. Prism' (Assoc l) l Source #
_AssocNone :: forall l. Prism' (Assoc l) l Source #
_IThingWith :: forall l. Prism' (ImportSpec l) (l, Name l, [CName l]) Source #
_IThingAll :: forall l. Prism' (ImportSpec l) (l, Name l) Source #
_ImportSpecList :: forall l l. Iso (ImportSpecList l) (ImportSpecList l) (l, Bool, [ImportSpec l]) (l, Bool, [ImportSpec l]) Source #
_ImportDecl :: forall l l. Iso (ImportDecl l) (ImportDecl l) (l, ModuleName l, Bool, Bool, Bool, Maybe String, Maybe (ModuleName l), Maybe (ImportSpecList l)) (l, ModuleName l, Bool, Bool, Bool, Maybe String, Maybe (ModuleName l), Maybe (ImportSpecList l)) Source #
_NoWildcard :: forall l. Prism' (EWildcard l) l Source #
_EModuleContents :: forall l. Prism' (ExportSpec l) (l, ModuleName l) Source #
_EThingWith :: forall l. Prism' (ExportSpec l) (l, EWildcard l, QName l, [CName l]) Source #
_ExportSpecList :: forall l l. Iso (ExportSpecList l) (ExportSpecList l) (l, [ExportSpec l]) (l, [ExportSpec l]) Source #
_ModuleHead :: forall l l. Iso (ModuleHead l) (ModuleHead l) (l, ModuleName l, Maybe (WarningText l), Maybe (ExportSpecList l)) (l, ModuleName l, Maybe (WarningText l), Maybe (ExportSpecList l)) Source #
_XmlHybrid :: forall l. Prism' (Module l) (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l], XName l, [XAttr l], Maybe (Exp l), [Exp l]) Source #
_XmlPage :: forall l. Prism' (Module l) (l, ModuleName l, [ModulePragma l], XName l, [XAttr l], Maybe (Exp l), [Exp l]) Source #
_Module :: forall l. Prism' (Module l) (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l]) Source #
Constructors
C_Module (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l]) |
Constructors
C_XmlPage (l, ModuleName l, [ModulePragma l], XName l, [XAttr l], Maybe (Exp l), [Exp l]) |
newtype C_XmlHybrid l Source #
Constructors
C_XmlHybrid (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l], XName l, [XAttr l], Maybe (Exp l), [Exp l]) |
Instances
Wrapped (C_XmlHybrid l0) Source # | |
(~) * (C_XmlHybrid l0) t0 => Rewrapped (C_XmlHybrid l1) t0 Source # | |
type Unwrapped (C_XmlHybrid l0) Source # | |
newtype C_DeprText l Source #
Constructors
C_DeprText (l, String) |
Instances
Wrapped (C_DeprText l0) Source # | |
(~) * (C_DeprText l0) t0 => Rewrapped (C_DeprText l1) t0 Source # | |
type Unwrapped (C_DeprText l0) Source # | |
newtype C_WarnText l Source #
Constructors
C_WarnText (l, String) |
Instances
Wrapped (C_WarnText l0) Source # | |
(~) * (C_WarnText l0) t0 => Rewrapped (C_WarnText l1) t0 Source # | |
type Unwrapped (C_WarnText l0) Source # | |
newtype C_EThingWith l Source #
Constructors
C_EThingWith (l, EWildcard l, QName l, [CName l]) |
Instances
Wrapped (C_EThingWith l0) Source # | |
(~) * (C_EThingWith l0) t0 => Rewrapped (C_EThingWith l1) t0 Source # | |
type Unwrapped (C_EThingWith l0) Source # | |
newtype C_EModuleContents l Source #
Constructors
C_EModuleContents (l, ModuleName l) |
Instances
Wrapped (C_EModuleContents l0) Source # | |
(~) * (C_EModuleContents l0) t0 => Rewrapped (C_EModuleContents l1) t0 Source # | |
type Unwrapped (C_EModuleContents l0) Source # | |
newtype C_NoWildcard l Source #
Constructors
C_NoWildcard l |
Instances
Wrapped (C_NoWildcard l0) Source # | |
(~) * (C_NoWildcard l0) t0 => Rewrapped (C_NoWildcard l1) t0 Source # | |
type Unwrapped (C_NoWildcard l0) Source # | |
newtype C_EWildcard l Source #
Constructors
C_EWildcard (l, Int) |
Instances
Wrapped (C_EWildcard l0) Source # | |
(~) * (C_EWildcard l0) t0 => Rewrapped (C_EWildcard l1) t0 Source # | |
type Unwrapped (C_EWildcard l0) Source # | |
newtype C_IThingAll l Source #
Constructors
C_IThingAll (l, Name l) |
Instances
Wrapped (C_IThingAll l0) Source # | |
(~) * (C_IThingAll l0) t0 => Rewrapped (C_IThingAll l1) t0 Source # | |
type Unwrapped (C_IThingAll l0) Source # | |
newtype C_IThingWith l Source #
Constructors
C_IThingWith (l, Name l, [CName l]) |
Instances
Wrapped (C_IThingWith l0) Source # | |
(~) * (C_IThingWith l0) t0 => Rewrapped (C_IThingWith l1) t0 Source # | |
type Unwrapped (C_IThingWith l0) Source # | |
newtype C_AssocNone l Source #
Constructors
C_AssocNone l |
Instances
Wrapped (C_AssocNone l0) Source # | |
(~) * (C_AssocNone l0) t0 => Rewrapped (C_AssocNone l1) t0 Source # | |
type Unwrapped (C_AssocNone l0) Source # | |
newtype C_AssocLeft l Source #
Constructors
C_AssocLeft l |
Instances
Wrapped (C_AssocLeft l0) Source # | |
(~) * (C_AssocLeft l0) t0 => Rewrapped (C_AssocLeft l1) t0 Source # | |
type Unwrapped (C_AssocLeft l0) Source # | |
newtype C_AssocRight l Source #
Constructors
C_AssocRight l |
Instances
Wrapped (C_AssocRight l0) Source # | |
(~) * (C_AssocRight l0) t0 => Rewrapped (C_AssocRight l1) t0 Source # | |
type Unwrapped (C_AssocRight l0) Source # | |
newtype C_NoNamespace l Source #
Constructors
C_NoNamespace l |
Instances
Wrapped (C_NoNamespace l0) Source # | |
(~) * (C_NoNamespace l0) t0 => Rewrapped (C_NoNamespace l1) t0 Source # | |
type Unwrapped (C_NoNamespace l0) Source # | |
newtype C_TypeNamespace l Source #
Constructors
C_TypeNamespace l |
Instances
Wrapped (C_TypeNamespace l0) Source # | |
(~) * (C_TypeNamespace l0) t0 => Rewrapped (C_TypeNamespace l1) t0 Source # | |
type Unwrapped (C_TypeNamespace l0) Source # | |
newtype C_PatternNamespace l Source #
Constructors
C_PatternNamespace l |
Instances
Wrapped (C_PatternNamespace l0) Source # | |
(~) * (C_PatternNamespace l0) t0 => Rewrapped (C_PatternNamespace l1) t0 Source # | |
type Unwrapped (C_PatternNamespace l0) Source # | |
newtype C_TypeDecl l Source #
Constructors
C_TypeDecl (l, DeclHead l, Type l) |
Instances
Wrapped (C_TypeDecl l0) Source # | |
(~) * (C_TypeDecl l0) t0 => Rewrapped (C_TypeDecl l1) t0 Source # | |
type Unwrapped (C_TypeDecl l0) Source # | |
newtype C_TypeFamDecl l Source #
Constructors
C_TypeFamDecl (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l)) |
Instances
Wrapped (C_TypeFamDecl l0) Source # | |
(~) * (C_TypeFamDecl l0) t0 => Rewrapped (C_TypeFamDecl l1) t0 Source # | |
type Unwrapped (C_TypeFamDecl l0) Source # | |
newtype C_ClosedTypeFamDecl l Source #
Constructors
C_ClosedTypeFamDecl (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l), [TypeEqn l]) |
Instances
Wrapped (C_ClosedTypeFamDecl l0) Source # | |
(~) * (C_ClosedTypeFamDecl l0) t0 => Rewrapped (C_ClosedTypeFamDecl l1) t0 Source # | |
type Unwrapped (C_ClosedTypeFamDecl l0) Source # | |
newtype C_DataDecl l Source #
Constructors
C_DataDecl (l, DataOrNew l, Maybe (Context l), DeclHead l, [QualConDecl l], Maybe (Deriving l)) |
Instances
Wrapped (C_DataDecl l0) Source # | |
(~) * (C_DataDecl l0) t0 => Rewrapped (C_DataDecl l1) t0 Source # | |
type Unwrapped (C_DataDecl l0) Source # | |
newtype C_GDataDecl l Source #
Constructors
C_GDataDecl (l, DataOrNew l, Maybe (Context l), DeclHead l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l)) |
Instances
Wrapped (C_GDataDecl l0) Source # | |
(~) * (C_GDataDecl l0) t0 => Rewrapped (C_GDataDecl l1) t0 Source # | |
type Unwrapped (C_GDataDecl l0) Source # | |
newtype C_DataFamDecl l Source #
Instances
Wrapped (C_DataFamDecl l0) Source # | |
(~) * (C_DataFamDecl l0) t0 => Rewrapped (C_DataFamDecl l1) t0 Source # | |
type Unwrapped (C_DataFamDecl l0) Source # | |
newtype C_TypeInsDecl l Source #
Constructors
C_TypeInsDecl (l, Type l, Type l) |
Instances
Wrapped (C_TypeInsDecl l0) Source # | |
(~) * (C_TypeInsDecl l0) t0 => Rewrapped (C_TypeInsDecl l1) t0 Source # | |
type Unwrapped (C_TypeInsDecl l0) Source # | |
newtype C_DataInsDecl l Source #
Constructors
C_DataInsDecl (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l)) |
Instances
Wrapped (C_DataInsDecl l0) Source # | |
(~) * (C_DataInsDecl l0) t0 => Rewrapped (C_DataInsDecl l1) t0 Source # | |
type Unwrapped (C_DataInsDecl l0) Source # | |
newtype C_GDataInsDecl l Source #
Constructors
C_GDataInsDecl (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l)) |
Instances
Wrapped (C_GDataInsDecl l0) Source # | |
(~) * (C_GDataInsDecl l0) t0 => Rewrapped (C_GDataInsDecl l1) t0 Source # | |
type Unwrapped (C_GDataInsDecl l0) Source # | |
newtype C_ClassDecl l Source #
Instances
Wrapped (C_ClassDecl l0) Source # | |
(~) * (C_ClassDecl l0) t0 => Rewrapped (C_ClassDecl l1) t0 Source # | |
type Unwrapped (C_ClassDecl l0) Source # | |
newtype C_InstDecl l Source #
Instances
Wrapped (C_InstDecl l0) Source # | |
(~) * (C_InstDecl l0) t0 => Rewrapped (C_InstDecl l1) t0 Source # | |
type Unwrapped (C_InstDecl l0) Source # | |
newtype C_DerivDecl l Source #
Constructors
C_DerivDecl (l, Maybe (Overlap l), InstRule l) |
Instances
Wrapped (C_DerivDecl l0) Source # | |
(~) * (C_DerivDecl l0) t0 => Rewrapped (C_DerivDecl l1) t0 Source # | |
type Unwrapped (C_DerivDecl l0) Source # | |
newtype C_InfixDecl l Source #
Constructors
C_InfixDecl (l, Assoc l, Maybe Int, [Op l]) |
Instances
Wrapped (C_InfixDecl l0) Source # | |
(~) * (C_InfixDecl l0) t0 => Rewrapped (C_InfixDecl l1) t0 Source # | |
type Unwrapped (C_InfixDecl l0) Source # | |
newtype C_DefaultDecl l Source #
Constructors
C_DefaultDecl (l, [Type l]) |
Instances
Wrapped (C_DefaultDecl l0) Source # | |
(~) * (C_DefaultDecl l0) t0 => Rewrapped (C_DefaultDecl l1) t0 Source # | |
type Unwrapped (C_DefaultDecl l0) Source # | |
newtype C_SpliceDecl l Source #
Constructors
C_SpliceDecl (l, Exp l) |
Instances
Wrapped (C_SpliceDecl l0) Source # | |
(~) * (C_SpliceDecl l0) t0 => Rewrapped (C_SpliceDecl l1) t0 Source # | |
type Unwrapped (C_SpliceDecl l0) Source # | |
newtype C_PatSynSig l Source #
Constructors
C_PatSynSig (l, Name l, Maybe [TyVarBind l], Maybe (Context l), Maybe (Context l), Type l) |
Instances
Wrapped (C_PatSynSig l0) Source # | |
(~) * (C_PatSynSig l0) t0 => Rewrapped (C_PatSynSig l1) t0 Source # | |
type Unwrapped (C_PatSynSig l0) Source # | |
Constructors
C_PatSyn (l, Pat l, Pat l, PatternSynDirection l) |
newtype C_RulePragmaDecl l Source #
Constructors
C_RulePragmaDecl (l, [Rule l]) |
Instances
Wrapped (C_RulePragmaDecl l0) Source # | |
(~) * (C_RulePragmaDecl l0) t0 => Rewrapped (C_RulePragmaDecl l1) t0 Source # | |
type Unwrapped (C_RulePragmaDecl l0) Source # | |
newtype C_DeprPragmaDecl l Source #
Constructors
C_DeprPragmaDecl (l, [([Name l], String)]) |
Instances
Wrapped (C_DeprPragmaDecl l0) Source # | |
(~) * (C_DeprPragmaDecl l0) t0 => Rewrapped (C_DeprPragmaDecl l1) t0 Source # | |
type Unwrapped (C_DeprPragmaDecl l0) Source # | |
newtype C_WarnPragmaDecl l Source #
Constructors
C_WarnPragmaDecl (l, [([Name l], String)]) |
Instances
Wrapped (C_WarnPragmaDecl l0) Source # | |
(~) * (C_WarnPragmaDecl l0) t0 => Rewrapped (C_WarnPragmaDecl l1) t0 Source # | |
type Unwrapped (C_WarnPragmaDecl l0) Source # | |
newtype C_InlineSig l Source #
Constructors
C_InlineSig (l, Bool, Maybe (Activation l), QName l) |
Instances
Wrapped (C_InlineSig l0) Source # | |
(~) * (C_InlineSig l0) t0 => Rewrapped (C_InlineSig l1) t0 Source # | |
type Unwrapped (C_InlineSig l0) Source # | |
newtype C_InlineConlikeSig l Source #
Constructors
C_InlineConlikeSig (l, Maybe (Activation l), QName l) |
Instances
Wrapped (C_InlineConlikeSig l0) Source # | |
(~) * (C_InlineConlikeSig l0) t0 => Rewrapped (C_InlineConlikeSig l1) t0 Source # | |
type Unwrapped (C_InlineConlikeSig l0) Source # | |
Constructors
C_SpecSig (l, Maybe (Activation l), QName l, [Type l]) |
newtype C_SpecInlineSig l Source #
Constructors
C_SpecInlineSig (l, Bool, Maybe (Activation l), QName l, [Type l]) |
Instances
Wrapped (C_SpecInlineSig l0) Source # | |
(~) * (C_SpecInlineSig l0) t0 => Rewrapped (C_SpecInlineSig l1) t0 Source # | |
type Unwrapped (C_SpecInlineSig l0) Source # | |
newtype C_AnnPragma l Source #
Constructors
C_AnnPragma (l, Annotation l) |
Instances
Wrapped (C_AnnPragma l0) Source # | |
(~) * (C_AnnPragma l0) t0 => Rewrapped (C_AnnPragma l1) t0 Source # | |
type Unwrapped (C_AnnPragma l0) Source # | |
newtype C_MinimalPragma l Source #
Constructors
C_MinimalPragma (l, Maybe (BooleanFormula l)) |
Instances
Wrapped (C_MinimalPragma l0) Source # | |
(~) * (C_MinimalPragma l0) t0 => Rewrapped (C_MinimalPragma l1) t0 Source # | |
type Unwrapped (C_MinimalPragma l0) Source # | |
newtype C_RoleAnnotDecl l Source #
Constructors
C_RoleAnnotDecl (l, QName l, [Role l]) |
Instances
Wrapped (C_RoleAnnotDecl l0) Source # | |
(~) * (C_RoleAnnotDecl l0) t0 => Rewrapped (C_RoleAnnotDecl l1) t0 Source # | |
type Unwrapped (C_RoleAnnotDecl l0) Source # | |
newtype C_Unidirectional l Source #
Constructors
C_Unidirectional () |
Instances
Wrapped (C_Unidirectional l0) Source # | |
(~) * (C_Unidirectional l0) t0 => Rewrapped (C_Unidirectional l1) t0 Source # | |
type Unwrapped (C_Unidirectional l0) Source # | |
newtype C_ImplicitBidirectional l Source #
Constructors
C_ImplicitBidirectional () |
Instances
Wrapped (C_ImplicitBidirectional l0) Source # | |
(~) * (C_ImplicitBidirectional l0) t0 => Rewrapped (C_ImplicitBidirectional l1) t0 Source # | |
type Unwrapped (C_ImplicitBidirectional l0) Source # | |
newtype C_ExplicitBidirectional l Source #
Constructors
C_ExplicitBidirectional (l, [Decl l]) |
Instances
Wrapped (C_ExplicitBidirectional l0) Source # | |
(~) * (C_ExplicitBidirectional l0) t0 => Rewrapped (C_ExplicitBidirectional l1) t0 Source # | |
type Unwrapped (C_ExplicitBidirectional l0) Source # | |
newtype C_TyVarSig l Source #
Constructors
C_TyVarSig (l, TyVarBind l) |
Instances
Wrapped (C_TyVarSig l0) Source # | |
(~) * (C_TyVarSig l0) t0 => Rewrapped (C_TyVarSig l1) t0 Source # | |
type Unwrapped (C_TyVarSig l0) Source # | |
newtype C_ClsDataFam l Source #
Instances
Wrapped (C_ClsDataFam l0) Source # | |
(~) * (C_ClsDataFam l0) t0 => Rewrapped (C_ClsDataFam l1) t0 Source # | |
type Unwrapped (C_ClsDataFam l0) Source # | |
newtype C_ClsTyFam l Source #
Constructors
C_ClsTyFam (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l)) |
Instances
Wrapped (C_ClsTyFam l0) Source # | |
(~) * (C_ClsTyFam l0) t0 => Rewrapped (C_ClsTyFam l1) t0 Source # | |
type Unwrapped (C_ClsTyFam l0) Source # | |
newtype C_ClsTyDef l Source #
Constructors
C_ClsTyDef (l, TypeEqn l) |
Instances
Wrapped (C_ClsTyDef l0) Source # | |
(~) * (C_ClsTyDef l0) t0 => Rewrapped (C_ClsTyDef l1) t0 Source # | |
type Unwrapped (C_ClsTyDef l0) Source # | |
newtype C_ClsDefSig l Source #
Constructors
C_ClsDefSig (l, Name l, Type l) |
Instances
Wrapped (C_ClsDefSig l0) Source # | |
(~) * (C_ClsDefSig l0) t0 => Rewrapped (C_ClsDefSig l1) t0 Source # | |
type Unwrapped (C_ClsDefSig l0) Source # | |
newtype C_InsGData l Source #
Instances
Wrapped (C_InsGData l0) Source # | |
(~) * (C_InsGData l0) t0 => Rewrapped (C_InsGData l1) t0 Source # | |
type Unwrapped (C_InsGData l0) Source # | |
newtype C_DataType l Source #
Constructors
C_DataType l |
Instances
Wrapped (C_DataType l0) Source # | |
(~) * (C_DataType l0) t0 => Rewrapped (C_DataType l1) t0 Source # | |
type Unwrapped (C_DataType l0) Source # | |
Constructors
C_NewType l |
newtype C_InfixConDecl l Source #
Constructors
C_InfixConDecl (l, Type l, Name l, Type l) |
Instances
Wrapped (C_InfixConDecl l0) Source # | |
(~) * (C_InfixConDecl l0) t0 => Rewrapped (C_InfixConDecl l1) t0 Source # | |
type Unwrapped (C_InfixConDecl l0) Source # | |
newtype C_BangedTy l Source #
Constructors
C_BangedTy l |
Instances
Wrapped (C_BangedTy l0) Source # | |
(~) * (C_BangedTy l0) t0 => Rewrapped (C_BangedTy l1) t0 Source # | |
type Unwrapped (C_BangedTy l0) Source # | |
Constructors
C_LazyTy l |
newtype C_NoStrictAnnot l Source #
Constructors
C_NoStrictAnnot l |
Instances
Wrapped (C_NoStrictAnnot l0) Source # | |
(~) * (C_NoStrictAnnot l0) t0 => Rewrapped (C_NoStrictAnnot l1) t0 Source # | |
type Unwrapped (C_NoStrictAnnot l0) Source # | |
Constructors
C_Unpack l |
newtype C_NoUnpack l Source #
Constructors
C_NoUnpack l |
Instances
Wrapped (C_NoUnpack l0) Source # | |
(~) * (C_NoUnpack l0) t0 => Rewrapped (C_NoUnpack l1) t0 Source # | |
type Unwrapped (C_NoUnpack l0) Source # | |
newtype C_NoUnpackPragma l Source #
Constructors
C_NoUnpackPragma l |
Instances
Wrapped (C_NoUnpackPragma l0) Source # | |
(~) * (C_NoUnpackPragma l0) t0 => Rewrapped (C_NoUnpackPragma l1) t0 Source # | |
type Unwrapped (C_NoUnpackPragma l0) Source # | |
newtype C_InfixMatch l Source #
Instances
Wrapped (C_InfixMatch l0) Source # | |
(~) * (C_InfixMatch l0) t0 => Rewrapped (C_InfixMatch l1) t0 Source # | |
type Unwrapped (C_InfixMatch l0) Source # | |
newtype C_UnGuardedRhs l Source #
Constructors
C_UnGuardedRhs (l, Exp l) |
Instances
Wrapped (C_UnGuardedRhs l0) Source # | |
(~) * (C_UnGuardedRhs l0) t0 => Rewrapped (C_UnGuardedRhs l1) t0 Source # | |
type Unwrapped (C_UnGuardedRhs l0) Source # | |
newtype C_GuardedRhss l Source #
Constructors
C_GuardedRhss (l, [GuardedRhs l]) |
Instances
Wrapped (C_GuardedRhss l0) Source # | |
(~) * (C_GuardedRhss l0) t0 => Rewrapped (C_GuardedRhss l1) t0 Source # | |
type Unwrapped (C_GuardedRhss l0) Source # | |
newtype C_CxSingle l Source #
Constructors
C_CxSingle (l, Asst l) |
Instances
Wrapped (C_CxSingle l0) Source # | |
(~) * (C_CxSingle l0) t0 => Rewrapped (C_CxSingle l1) t0 Source # | |
type Unwrapped (C_CxSingle l0) Source # | |
Constructors
C_CxEmpty l |
newtype C_WildCardA l Source #
Constructors
C_WildCardA (l, Maybe (Name l)) |
Instances
Wrapped (C_WildCardA l0) Source # | |
(~) * (C_WildCardA l0) t0 => Rewrapped (C_WildCardA l1) t0 Source # | |
type Unwrapped (C_WildCardA l0) Source # | |
newtype C_TyForall l Source #
Instances
Wrapped (C_TyForall l0) Source # | |
(~) * (C_TyForall l0) t0 => Rewrapped (C_TyForall l1) t0 Source # | |
type Unwrapped (C_TyForall l0) Source # | |
newtype C_TyParArray l Source #
Constructors
C_TyParArray (l, Type l) |
Instances
Wrapped (C_TyParArray l0) Source # | |
(~) * (C_TyParArray l0) t0 => Rewrapped (C_TyParArray l1) t0 Source # | |
type Unwrapped (C_TyParArray l0) Source # | |
newtype C_TyPromoted l Source #
Constructors
C_TyPromoted (l, Promoted l) |
Instances
Wrapped (C_TyPromoted l0) Source # | |
(~) * (C_TyPromoted l0) t0 => Rewrapped (C_TyPromoted l1) t0 Source # | |
type Unwrapped (C_TyPromoted l0) Source # | |
newtype C_TyEquals l Source #
Constructors
C_TyEquals (l, Type l, Type l) |
Instances
Wrapped (C_TyEquals l0) Source # | |
(~) * (C_TyEquals l0) t0 => Rewrapped (C_TyEquals l1) t0 Source # | |
type Unwrapped (C_TyEquals l0) Source # | |
newtype C_TySplice l Source #
Constructors
C_TySplice (l, Splice l) |
Instances
Wrapped (C_TySplice l0) Source # | |
(~) * (C_TySplice l0) t0 => Rewrapped (C_TySplice l1) t0 Source # | |
type Unwrapped (C_TySplice l0) Source # | |
Constructors
C_TyBang (l, BangType l, Unpackedness l, Type l) |
newtype C_TyWildCard l Source #
Constructors
C_TyWildCard (l, Maybe (Name l)) |
Instances
Wrapped (C_TyWildCard l0) Source # | |
(~) * (C_TyWildCard l0) t0 => Rewrapped (C_TyWildCard l1) t0 Source # | |
type Unwrapped (C_TyWildCard l0) Source # | |
newtype C_TyQuasiQuote l Source #
Constructors
C_TyQuasiQuote (l, String, String) |
Instances
Wrapped (C_TyQuasiQuote l0) Source # | |
(~) * (C_TyQuasiQuote l0) t0 => Rewrapped (C_TyQuasiQuote l1) t0 Source # | |
type Unwrapped (C_TyQuasiQuote l0) Source # | |
Constructors
C_Boxed () |
Constructors
C_Unboxed () |
newtype C_KindStar l Source #
Constructors
C_KindStar l |
Instances
Wrapped (C_KindStar l0) Source # | |
(~) * (C_KindStar l0) t0 => Rewrapped (C_KindStar l1) t0 Source # | |
type Unwrapped (C_KindStar l0) Source # | |
newtype C_KindParen l Source #
Constructors
C_KindParen (l, Kind l) |
Instances
Wrapped (C_KindParen l0) Source # | |
(~) * (C_KindParen l0) t0 => Rewrapped (C_KindParen l1) t0 Source # | |
type Unwrapped (C_KindParen l0) Source # | |
newtype C_KindTuple l Source #
Constructors
C_KindTuple (l, [Kind l]) |
Instances
Wrapped (C_KindTuple l0) Source # | |
(~) * (C_KindTuple l0) t0 => Rewrapped (C_KindTuple l1) t0 Source # | |
type Unwrapped (C_KindTuple l0) Source # | |
newtype C_KindList l Source #
Constructors
C_KindList (l, Kind l) |
Instances
Wrapped (C_KindList l0) Source # | |
(~) * (C_KindList l0) t0 => Rewrapped (C_KindList l1) t0 Source # | |
type Unwrapped (C_KindList l0) Source # | |
newtype C_KindedVar l Source #
Constructors
C_KindedVar (l, Name l, Kind l) |
Instances
Wrapped (C_KindedVar l0) Source # | |
(~) * (C_KindedVar l0) t0 => Rewrapped (C_KindedVar l1) t0 Source # | |
type Unwrapped (C_KindedVar l0) Source # | |
newtype C_UnkindedVar l Source #
Constructors
C_UnkindedVar (l, Name l) |
Instances
Wrapped (C_UnkindedVar l0) Source # | |
(~) * (C_UnkindedVar l0) t0 => Rewrapped (C_UnkindedVar l1) t0 Source # | |
type Unwrapped (C_UnkindedVar l0) Source # | |
newtype C_PromotedInteger l Source #
Constructors
C_PromotedInteger (l, Integer, String) |
Instances
Wrapped (C_PromotedInteger l0) Source # | |
(~) * (C_PromotedInteger l0) t0 => Rewrapped (C_PromotedInteger l1) t0 Source # | |
type Unwrapped (C_PromotedInteger l0) Source # | |
newtype C_PromotedString l Source #
Constructors
C_PromotedString (l, String, String) |
Instances
Wrapped (C_PromotedString l0) Source # | |
(~) * (C_PromotedString l0) t0 => Rewrapped (C_PromotedString l1) t0 Source # | |
type Unwrapped (C_PromotedString l0) Source # | |
newtype C_PromotedCon l Source #
Constructors
C_PromotedCon (l, Bool, QName l) |
Instances
Wrapped (C_PromotedCon l0) Source # | |
(~) * (C_PromotedCon l0) t0 => Rewrapped (C_PromotedCon l1) t0 Source # | |
type Unwrapped (C_PromotedCon l0) Source # | |
newtype C_PromotedList l Source #
Constructors
C_PromotedList (l, Bool, [Type l]) |
Instances
Wrapped (C_PromotedList l0) Source # | |
(~) * (C_PromotedList l0) t0 => Rewrapped (C_PromotedList l1) t0 Source # | |
type Unwrapped (C_PromotedList l0) Source # | |
newtype C_PromotedTuple l Source #
Constructors
C_PromotedTuple (l, [Type l]) |
Instances
Wrapped (C_PromotedTuple l0) Source # | |
(~) * (C_PromotedTuple l0) t0 => Rewrapped (C_PromotedTuple l1) t0 Source # | |
type Unwrapped (C_PromotedTuple l0) Source # | |
newtype C_PromotedUnit l Source #
Constructors
C_PromotedUnit l |
Instances
Wrapped (C_PromotedUnit l0) Source # | |
(~) * (C_PromotedUnit l0) t0 => Rewrapped (C_PromotedUnit l1) t0 Source # | |
type Unwrapped (C_PromotedUnit l0) Source # | |
newtype C_OverloadedLabel l Source #
Constructors
C_OverloadedLabel (l, String) |
Instances
Wrapped (C_OverloadedLabel l0) Source # | |
(~) * (C_OverloadedLabel l0) t0 => Rewrapped (C_OverloadedLabel l1) t0 Source # | |
type Unwrapped (C_OverloadedLabel l0) Source # | |
newtype C_InfixApp l Source #
Constructors
C_InfixApp (l, Exp l, QOp l, Exp l) |
Instances
Wrapped (C_InfixApp l0) Source # | |
(~) * (C_InfixApp l0) t0 => Rewrapped (C_InfixApp l1) t0 Source # | |
type Unwrapped (C_InfixApp l0) Source # | |
Constructors
C_MultiIf (l, [GuardedRhs l]) |
newtype C_TupleSection l Source #
Constructors
C_TupleSection (l, Boxed, [Maybe (Exp l)]) |
Instances
Wrapped (C_TupleSection l0) Source # | |
(~) * (C_TupleSection l0) t0 => Rewrapped (C_TupleSection l1) t0 Source # | |
type Unwrapped (C_TupleSection l0) Source # | |
newtype C_ParArray l Source #
Constructors
C_ParArray (l, [Exp l]) |
Instances
Wrapped (C_ParArray l0) Source # | |
(~) * (C_ParArray l0) t0 => Rewrapped (C_ParArray l1) t0 Source # | |
type Unwrapped (C_ParArray l0) Source # | |
newtype C_LeftSection l Source #
Constructors
C_LeftSection (l, Exp l, QOp l) |
Instances
Wrapped (C_LeftSection l0) Source # | |
(~) * (C_LeftSection l0) t0 => Rewrapped (C_LeftSection l1) t0 Source # | |
type Unwrapped (C_LeftSection l0) Source # | |
newtype C_RightSection l Source #
Constructors
C_RightSection (l, QOp l, Exp l) |
Instances
Wrapped (C_RightSection l0) Source # | |
(~) * (C_RightSection l0) t0 => Rewrapped (C_RightSection l1) t0 Source # | |
type Unwrapped (C_RightSection l0) Source # | |
newtype C_RecConstr l Source #
Constructors
C_RecConstr (l, QName l, [FieldUpdate l]) |
Instances
Wrapped (C_RecConstr l0) Source # | |
(~) * (C_RecConstr l0) t0 => Rewrapped (C_RecConstr l1) t0 Source # | |
type Unwrapped (C_RecConstr l0) Source # | |
newtype C_RecUpdate l Source #
Constructors
C_RecUpdate (l, Exp l, [FieldUpdate l]) |
Instances
Wrapped (C_RecUpdate l0) Source # | |
(~) * (C_RecUpdate l0) t0 => Rewrapped (C_RecUpdate l1) t0 Source # | |
type Unwrapped (C_RecUpdate l0) Source # | |
newtype C_EnumFrom l Source #
Constructors
C_EnumFrom (l, Exp l) |
Instances
Wrapped (C_EnumFrom l0) Source # | |
(~) * (C_EnumFrom l0) t0 => Rewrapped (C_EnumFrom l1) t0 Source # | |
type Unwrapped (C_EnumFrom l0) Source # | |
newtype C_EnumFromTo l Source #
Constructors
C_EnumFromTo (l, Exp l, Exp l) |
Instances
Wrapped (C_EnumFromTo l0) Source # | |
(~) * (C_EnumFromTo l0) t0 => Rewrapped (C_EnumFromTo l1) t0 Source # | |
type Unwrapped (C_EnumFromTo l0) Source # | |
newtype C_EnumFromThen l Source #
Constructors
C_EnumFromThen (l, Exp l, Exp l) |
Instances
Wrapped (C_EnumFromThen l0) Source # | |
(~) * (C_EnumFromThen l0) t0 => Rewrapped (C_EnumFromThen l1) t0 Source # | |
type Unwrapped (C_EnumFromThen l0) Source # | |
newtype C_EnumFromThenTo l Source #
Constructors
C_EnumFromThenTo (l, Exp l, Exp l, Exp l) |
Instances
Wrapped (C_EnumFromThenTo l0) Source # | |
(~) * (C_EnumFromThenTo l0) t0 => Rewrapped (C_EnumFromThenTo l1) t0 Source # | |
type Unwrapped (C_EnumFromThenTo l0) Source # | |
newtype C_ParArrayFromTo l Source #
Constructors
C_ParArrayFromTo (l, Exp l, Exp l) |
Instances
Wrapped (C_ParArrayFromTo l0) Source # | |
(~) * (C_ParArrayFromTo l0) t0 => Rewrapped (C_ParArrayFromTo l1) t0 Source # | |
type Unwrapped (C_ParArrayFromTo l0) Source # | |
newtype C_ParArrayFromThenTo l Source #
Constructors
C_ParArrayFromThenTo (l, Exp l, Exp l, Exp l) |
Instances
Wrapped (C_ParArrayFromThenTo l0) Source # | |
(~) * (C_ParArrayFromThenTo l0) t0 => Rewrapped (C_ParArrayFromThenTo l1) t0 Source # | |
type Unwrapped (C_ParArrayFromThenTo l0) Source # | |
newtype C_ListComp l Source #
Constructors
C_ListComp (l, Exp l, [QualStmt l]) |
Instances
Wrapped (C_ListComp l0) Source # | |
(~) * (C_ListComp l0) t0 => Rewrapped (C_ListComp l1) t0 Source # | |
type Unwrapped (C_ListComp l0) Source # | |
newtype C_ParArrayComp l Source #
Constructors
C_ParArrayComp (l, Exp l, [[QualStmt l]]) |
Instances
Wrapped (C_ParArrayComp l0) Source # | |
(~) * (C_ParArrayComp l0) t0 => Rewrapped (C_ParArrayComp l1) t0 Source # | |
type Unwrapped (C_ParArrayComp l0) Source # | |
newtype C_ExpTypeSig l Source #
Constructors
C_ExpTypeSig (l, Exp l, Type l) |
Instances
Wrapped (C_ExpTypeSig l0) Source # | |
(~) * (C_ExpTypeSig l0) t0 => Rewrapped (C_ExpTypeSig l1) t0 Source # | |
type Unwrapped (C_ExpTypeSig l0) Source # | |
newtype C_VarQuote l Source #
Constructors
C_VarQuote (l, QName l) |
Instances
Wrapped (C_VarQuote l0) Source # | |
(~) * (C_VarQuote l0) t0 => Rewrapped (C_VarQuote l1) t0 Source # | |
type Unwrapped (C_VarQuote l0) Source # | |
newtype C_TypQuote l Source #
Constructors
C_TypQuote (l, QName l) |
Instances
Wrapped (C_TypQuote l0) Source # | |
(~) * (C_TypQuote l0) t0 => Rewrapped (C_TypQuote l1) t0 Source # | |
type Unwrapped (C_TypQuote l0) Source # | |
newtype C_BracketExp l Source #
Constructors
C_BracketExp (l, Bracket l) |
Instances
Wrapped (C_BracketExp l0) Source # | |
(~) * (C_BracketExp l0) t0 => Rewrapped (C_BracketExp l1) t0 Source # | |
type Unwrapped (C_BracketExp l0) Source # | |
newtype C_SpliceExp l Source #
Constructors
C_SpliceExp (l, Splice l) |
Instances
Wrapped (C_SpliceExp l0) Source # | |
(~) * (C_SpliceExp l0) t0 => Rewrapped (C_SpliceExp l1) t0 Source # | |
type Unwrapped (C_SpliceExp l0) Source # | |
newtype C_QuasiQuote l Source #
Constructors
C_QuasiQuote (l, String, String) |
Instances
Wrapped (C_QuasiQuote l0) Source # | |
(~) * (C_QuasiQuote l0) t0 => Rewrapped (C_QuasiQuote l1) t0 Source # | |
type Unwrapped (C_QuasiQuote l0) Source # | |
newtype C_XChildTag l Source #
Constructors
C_XChildTag (l, [Exp l]) |
Instances
Wrapped (C_XChildTag l0) Source # | |
(~) * (C_XChildTag l0) t0 => Rewrapped (C_XChildTag l1) t0 Source # | |
type Unwrapped (C_XChildTag l0) Source # | |
newtype C_CorePragma l Source #
Constructors
C_CorePragma (l, String, Exp l) |
Instances
Wrapped (C_CorePragma l0) Source # | |
(~) * (C_CorePragma l0) t0 => Rewrapped (C_CorePragma l1) t0 Source # | |
type Unwrapped (C_CorePragma l0) Source # | |
newtype C_SCCPragma l Source #
Constructors
C_SCCPragma (l, String, Exp l) |
Instances
Wrapped (C_SCCPragma l0) Source # | |
(~) * (C_SCCPragma l0) t0 => Rewrapped (C_SCCPragma l1) t0 Source # | |
type Unwrapped (C_SCCPragma l0) Source # | |
newtype C_GenPragma l Source #
Instances
Wrapped (C_GenPragma l0) Source # | |
(~) * (C_GenPragma l0) t0 => Rewrapped (C_GenPragma l1) t0 Source # | |
type Unwrapped (C_GenPragma l0) Source # | |
newtype C_LeftArrApp l Source #
Constructors
C_LeftArrApp (l, Exp l, Exp l) |
Instances
Wrapped (C_LeftArrApp l0) Source # | |
(~) * (C_LeftArrApp l0) t0 => Rewrapped (C_LeftArrApp l1) t0 Source # | |
type Unwrapped (C_LeftArrApp l0) Source # | |
newtype C_RightArrApp l Source #
Constructors
C_RightArrApp (l, Exp l, Exp l) |
Instances
Wrapped (C_RightArrApp l0) Source # | |
(~) * (C_RightArrApp l0) t0 => Rewrapped (C_RightArrApp l1) t0 Source # | |
type Unwrapped (C_RightArrApp l0) Source # | |
newtype C_LeftArrHighApp l Source #
Constructors
C_LeftArrHighApp (l, Exp l, Exp l) |
Instances
Wrapped (C_LeftArrHighApp l0) Source # | |
(~) * (C_LeftArrHighApp l0) t0 => Rewrapped (C_LeftArrHighApp l1) t0 Source # | |
type Unwrapped (C_LeftArrHighApp l0) Source # | |
newtype C_RightArrHighApp l Source #
Constructors
C_RightArrHighApp (l, Exp l, Exp l) |
Instances
Wrapped (C_RightArrHighApp l0) Source # | |
(~) * (C_RightArrHighApp l0) t0 => Rewrapped (C_RightArrHighApp l1) t0 Source # | |
type Unwrapped (C_RightArrHighApp l0) Source # | |
newtype C_ExprHole l Source #
Constructors
C_ExprHole l |
Instances
Wrapped (C_ExprHole l0) Source # | |
(~) * (C_ExprHole l0) t0 => Rewrapped (C_ExprHole l1) t0 Source # | |
type Unwrapped (C_ExprHole l0) Source # | |
newtype C_Generator l Source #
Constructors
C_Generator (l, Pat l, Exp l) |
Instances
Wrapped (C_Generator l0) Source # | |
(~) * (C_Generator l0) t0 => Rewrapped (C_Generator l1) t0 Source # | |
type Unwrapped (C_Generator l0) Source # | |
newtype C_Qualifier l Source #
Constructors
C_Qualifier (l, Exp l) |
Instances
Wrapped (C_Qualifier l0) Source # | |
(~) * (C_Qualifier l0) t0 => Rewrapped (C_Qualifier l1) t0 Source # | |
type Unwrapped (C_Qualifier l0) Source # | |
newtype C_QualStmt l Source #
Constructors
C_QualStmt (l, Stmt l) |
Instances
Wrapped (C_QualStmt l0) Source # | |
(~) * (C_QualStmt l0) t0 => Rewrapped (C_QualStmt l1) t0 Source # | |
type Unwrapped (C_QualStmt l0) Source # | |
newtype C_ThenTrans l Source #
Constructors
C_ThenTrans (l, Exp l) |
Instances
Wrapped (C_ThenTrans l0) Source # | |
(~) * (C_ThenTrans l0) t0 => Rewrapped (C_ThenTrans l1) t0 Source # | |
type Unwrapped (C_ThenTrans l0) Source # | |
newtype C_GroupUsing l Source #
Constructors
C_GroupUsing (l, Exp l) |
Instances
Wrapped (C_GroupUsing l0) Source # | |
(~) * (C_GroupUsing l0) t0 => Rewrapped (C_GroupUsing l1) t0 Source # | |
type Unwrapped (C_GroupUsing l0) Source # | |
newtype C_GroupByUsing l Source #
Constructors
C_GroupByUsing (l, Exp l, Exp l) |
Instances
Wrapped (C_GroupByUsing l0) Source # | |
(~) * (C_GroupByUsing l0) t0 => Rewrapped (C_GroupByUsing l1) t0 Source # | |
type Unwrapped (C_GroupByUsing l0) Source # | |
newtype C_FieldUpdate l Source #
Constructors
C_FieldUpdate (l, QName l, Exp l) |
Instances
Wrapped (C_FieldUpdate l0) Source # | |
(~) * (C_FieldUpdate l0) t0 => Rewrapped (C_FieldUpdate l1) t0 Source # | |
type Unwrapped (C_FieldUpdate l0) Source # | |
newtype C_FieldPun l Source #
Constructors
C_FieldPun (l, QName l) |
Instances
Wrapped (C_FieldPun l0) Source # | |
(~) * (C_FieldPun l0) t0 => Rewrapped (C_FieldPun l1) t0 Source # | |
type Unwrapped (C_FieldPun l0) Source # | |
newtype C_FieldWildcard l Source #
Constructors
C_FieldWildcard l |
Instances
Wrapped (C_FieldWildcard l0) Source # | |
(~) * (C_FieldWildcard l0) t0 => Rewrapped (C_FieldWildcard l1) t0 Source # | |
type Unwrapped (C_FieldWildcard l0) Source # | |
newtype C_PInfixApp l Source #
Constructors
C_PInfixApp (l, Pat l, QName l, Pat l) |
Instances
Wrapped (C_PInfixApp l0) Source # | |
(~) * (C_PInfixApp l0) t0 => Rewrapped (C_PInfixApp l1) t0 Source # | |
type Unwrapped (C_PInfixApp l0) Source # | |
newtype C_PWildCard l Source #
Constructors
C_PWildCard l |
Instances
Wrapped (C_PWildCard l0) Source # | |
(~) * (C_PWildCard l0) t0 => Rewrapped (C_PWildCard l1) t0 Source # | |
type Unwrapped (C_PWildCard l0) Source # | |
newtype C_PatTypeSig l Source #
Constructors
C_PatTypeSig (l, Pat l, Type l) |
Instances
Wrapped (C_PatTypeSig l0) Source # | |
(~) * (C_PatTypeSig l0) t0 => Rewrapped (C_PatTypeSig l1) t0 Source # | |
type Unwrapped (C_PatTypeSig l0) Source # | |
newtype C_PViewPat l Source #
Constructors
C_PViewPat (l, Exp l, Pat l) |
Instances
Wrapped (C_PViewPat l0) Source # | |
(~) * (C_PViewPat l0) t0 => Rewrapped (C_PViewPat l1) t0 Source # | |
type Unwrapped (C_PViewPat l0) Source # | |
newtype C_PXPcdata l Source #
Constructors
C_PXPcdata (l, String) |
Instances
Wrapped (C_PXPcdata l0) Source # | |
(~) * (C_PXPcdata l0) t0 => Rewrapped (C_PXPcdata l1) t0 Source # | |
type Unwrapped (C_PXPcdata l0) Source # | |
newtype C_PXPatTag l Source #
Constructors
C_PXPatTag (l, Pat l) |
Instances
Wrapped (C_PXPatTag l0) Source # | |
(~) * (C_PXPatTag l0) t0 => Rewrapped (C_PXPatTag l1) t0 Source # | |
type Unwrapped (C_PXPatTag l0) Source # | |
newtype C_PQuasiQuote l Source #
Constructors
C_PQuasiQuote (l, String, String) |
Instances
Wrapped (C_PQuasiQuote l0) Source # | |
(~) * (C_PQuasiQuote l0) t0 => Rewrapped (C_PQuasiQuote l1) t0 Source # | |
type Unwrapped (C_PQuasiQuote l0) Source # | |
newtype C_PBangPat l Source #
Constructors
C_PBangPat (l, Pat l) |
Instances
Wrapped (C_PBangPat l0) Source # | |
(~) * (C_PBangPat l0) t0 => Rewrapped (C_PBangPat l1) t0 Source # | |
type Unwrapped (C_PBangPat l0) Source # | |
newtype C_PFieldPat l Source #
Constructors
C_PFieldPat (l, QName l, Pat l) |
Instances
Wrapped (C_PFieldPat l0) Source # | |
(~) * (C_PFieldPat l0) t0 => Rewrapped (C_PFieldPat l1) t0 Source # | |
type Unwrapped (C_PFieldPat l0) Source # | |
newtype C_PFieldPun l Source #
Constructors
C_PFieldPun (l, QName l) |
Instances
Wrapped (C_PFieldPun l0) Source # | |
(~) * (C_PFieldPun l0) t0 => Rewrapped (C_PFieldPun l1) t0 Source # | |
type Unwrapped (C_PFieldPun l0) Source # | |
newtype C_PFieldWildcard l Source #
Constructors
C_PFieldWildcard l |
Instances
Wrapped (C_PFieldWildcard l0) Source # | |
(~) * (C_PFieldWildcard l0) t0 => Rewrapped (C_PFieldWildcard l1) t0 Source # | |
type Unwrapped (C_PFieldWildcard l0) Source # | |
newtype C_RPEither l Source #
Constructors
C_RPEither (l, RPat l, RPat l) |
Instances
Wrapped (C_RPEither l0) Source # | |
(~) * (C_RPEither l0) t0 => Rewrapped (C_RPEither l1) t0 Source # | |
type Unwrapped (C_RPEither l0) Source # | |
Constructors
C_RPStar l |
Constructors
C_RPStarG l |
Constructors
C_RPPlus l |
Constructors
C_RPPlusG l |
Constructors
C_RPOpt l |
Constructors
C_RPOptG l |
newtype C_PrimWord l Source #
Constructors
C_PrimWord (l, Integer, String) |
Instances
Wrapped (C_PrimWord l0) Source # | |
(~) * (C_PrimWord l0) t0 => Rewrapped (C_PrimWord l1) t0 Source # | |
type Unwrapped (C_PrimWord l0) Source # | |
newtype C_PrimFloat l Source #
Constructors
C_PrimFloat (l, Rational, String) |
Instances
Wrapped (C_PrimFloat l0) Source # | |
(~) * (C_PrimFloat l0) t0 => Rewrapped (C_PrimFloat l1) t0 Source # | |
type Unwrapped (C_PrimFloat l0) Source # | |
newtype C_PrimDouble l Source #
Constructors
C_PrimDouble (l, Rational, String) |
Instances
Wrapped (C_PrimDouble l0) Source # | |
(~) * (C_PrimDouble l0) t0 => Rewrapped (C_PrimDouble l1) t0 Source # | |
type Unwrapped (C_PrimDouble l0) Source # | |
newtype C_PrimChar l Source #
Constructors
C_PrimChar (l, Char, String) |
Instances
Wrapped (C_PrimChar l0) Source # | |
(~) * (C_PrimChar l0) t0 => Rewrapped (C_PrimChar l1) t0 Source # | |
type Unwrapped (C_PrimChar l0) Source # | |
newtype C_PrimString l Source #
Constructors
C_PrimString (l, String, String) |
Instances
Wrapped (C_PrimString l0) Source # | |
(~) * (C_PrimString l0) t0 => Rewrapped (C_PrimString l1) t0 Source # | |
type Unwrapped (C_PrimString l0) Source # | |
newtype C_Signless l Source #
Constructors
C_Signless l |
Instances
Wrapped (C_Signless l0) Source # | |
(~) * (C_Signless l0) t0 => Rewrapped (C_Signless l1) t0 Source # | |
type Unwrapped (C_Signless l0) Source # | |
newtype C_Negative l Source #
Constructors
C_Negative l |
Instances
Wrapped (C_Negative l0) Source # | |
(~) * (C_Negative l0) t0 => Rewrapped (C_Negative l1) t0 Source # | |
type Unwrapped (C_Negative l0) Source # | |
Constructors
C_Qual (l, ModuleName l, Name l) |
Constructors
C_Special (l, SpecialCon l) |
Constructors
C_UnitCon l |
Constructors
C_ListCon l |
Constructors
C_FunCon l |
newtype C_TupleCon l Source #
Constructors
C_TupleCon (l, Boxed, Int) |
Instances
Wrapped (C_TupleCon l0) Source # | |
(~) * (C_TupleCon l0) t0 => Rewrapped (C_TupleCon l1) t0 Source # | |
type Unwrapped (C_TupleCon l0) Source # | |
Constructors
C_Cons l |
newtype C_UnboxedSingleCon l Source #
Constructors
C_UnboxedSingleCon l |
Instances
Wrapped (C_UnboxedSingleCon l0) Source # | |
(~) * (C_UnboxedSingleCon l0) t0 => Rewrapped (C_UnboxedSingleCon l1) t0 Source # | |
type Unwrapped (C_UnboxedSingleCon l0) Source # | |
newtype C_XDomName l Source #
Constructors
C_XDomName (l, String, String) |
Instances
Wrapped (C_XDomName l0) Source # | |
(~) * (C_XDomName l0) t0 => Rewrapped (C_XDomName l1) t0 Source # | |
type Unwrapped (C_XDomName l0) Source # | |
Constructors
C_Nominal l |
newtype C_Representational l Source #
Constructors
C_Representational l |
Instances
Wrapped (C_Representational l0) Source # | |
(~) * (C_Representational l0) t0 => Rewrapped (C_Representational l1) t0 Source # | |
type Unwrapped (C_Representational l0) Source # | |
Constructors
C_Phantom l |
newtype C_RoleWildcard l Source #
Constructors
C_RoleWildcard l |
Instances
Wrapped (C_RoleWildcard l0) Source # | |
(~) * (C_RoleWildcard l0) t0 => Rewrapped (C_RoleWildcard l1) t0 Source # | |
type Unwrapped (C_RoleWildcard l0) Source # | |
newtype C_ExpBracket l Source #
Constructors
C_ExpBracket (l, Exp l) |
Instances
Wrapped (C_ExpBracket l0) Source # | |
(~) * (C_ExpBracket l0) t0 => Rewrapped (C_ExpBracket l1) t0 Source # | |
type Unwrapped (C_ExpBracket l0) Source # | |
newtype C_PatBracket l Source #
Constructors
C_PatBracket (l, Pat l) |
Instances
Wrapped (C_PatBracket l0) Source # | |
(~) * (C_PatBracket l0) t0 => Rewrapped (C_PatBracket l1) t0 Source # | |
type Unwrapped (C_PatBracket l0) Source # | |
newtype C_TypeBracket l Source #
Constructors
C_TypeBracket (l, Type l) |
Instances
Wrapped (C_TypeBracket l0) Source # | |
(~) * (C_TypeBracket l0) t0 => Rewrapped (C_TypeBracket l1) t0 Source # | |
type Unwrapped (C_TypeBracket l0) Source # | |
newtype C_DeclBracket l Source #
Constructors
C_DeclBracket (l, [Decl l]) |
Instances
Wrapped (C_DeclBracket l0) Source # | |
(~) * (C_DeclBracket l0) t0 => Rewrapped (C_DeclBracket l1) t0 Source # | |
type Unwrapped (C_DeclBracket l0) Source # | |
newtype C_IdSplice l Source #
Constructors
C_IdSplice (l, String) |
Instances
Wrapped (C_IdSplice l0) Source # | |
(~) * (C_IdSplice l0) t0 => Rewrapped (C_IdSplice l1) t0 Source # | |
type Unwrapped (C_IdSplice l0) Source # | |
newtype C_ParenSplice l Source #
Constructors
C_ParenSplice (l, Exp l) |
Instances
Wrapped (C_ParenSplice l0) Source # | |
(~) * (C_ParenSplice l0) t0 => Rewrapped (C_ParenSplice l1) t0 Source # | |
type Unwrapped (C_ParenSplice l0) Source # | |
newtype C_PlayRisky l Source #
Constructors
C_PlayRisky l |
Instances
Wrapped (C_PlayRisky l0) Source # | |
(~) * (C_PlayRisky l0) t0 => Rewrapped (C_PlayRisky l1) t0 Source # | |
type Unwrapped (C_PlayRisky l0) Source # | |
newtype C_PlaySafe l Source #
Constructors
C_PlaySafe (l, Bool) |
Instances
Wrapped (C_PlaySafe l0) Source # | |
(~) * (C_PlaySafe l0) t0 => Rewrapped (C_PlaySafe l1) t0 Source # | |
type Unwrapped (C_PlaySafe l0) Source # | |
newtype C_PlayInterruptible l Source #
Constructors
C_PlayInterruptible l |
Instances
Wrapped (C_PlayInterruptible l0) Source # | |
(~) * (C_PlayInterruptible l0) t0 => Rewrapped (C_PlayInterruptible l1) t0 Source # | |
type Unwrapped (C_PlayInterruptible l0) Source # | |
Constructors
C_StdCall l |
Constructors
C_CCall l |
newtype C_CPlusPlus l Source #
Constructors
C_CPlusPlus l |
Instances
Wrapped (C_CPlusPlus l0) Source # | |
(~) * (C_CPlusPlus l0) t0 => Rewrapped (C_CPlusPlus l1) t0 Source # | |
type Unwrapped (C_CPlusPlus l0) Source # | |
Constructors
C_DotNet l |
Constructors
C_Jvm l |
Constructors
C_Js l |
newtype C_JavaScript l Source #
Constructors
C_JavaScript l |
Instances
Wrapped (C_JavaScript l0) Source # | |
(~) * (C_JavaScript l0) t0 => Rewrapped (C_JavaScript l1) t0 Source # | |
type Unwrapped (C_JavaScript l0) Source # | |
Constructors
C_CApi l |
newtype C_LanguagePragma l Source #
Constructors
C_LanguagePragma (l, [Name l]) |
Instances
Wrapped (C_LanguagePragma l0) Source # | |
(~) * (C_LanguagePragma l0) t0 => Rewrapped (C_LanguagePragma l1) t0 Source # | |
type Unwrapped (C_LanguagePragma l0) Source # | |
newtype C_OptionsPragma l Source #
Constructors
C_OptionsPragma (l, Maybe Tool, String) |
Instances
Wrapped (C_OptionsPragma l0) Source # | |
(~) * (C_OptionsPragma l0) t0 => Rewrapped (C_OptionsPragma l1) t0 Source # | |
type Unwrapped (C_OptionsPragma l0) Source # | |
newtype C_AnnModulePragma l Source #
Constructors
C_AnnModulePragma (l, Annotation l) |
Instances
Wrapped (C_AnnModulePragma l0) Source # | |
(~) * (C_AnnModulePragma l0) t0 => Rewrapped (C_AnnModulePragma l1) t0 Source # | |
type Unwrapped (C_AnnModulePragma l0) Source # | |
Constructors
C_GHC () |
Constructors
C_HUGS () |
Constructors
C_NHC98 () |
Constructors
C_YHC () |
Constructors
C_HADDOCK () |
newtype C_UnknownTool Source #
Constructors
C_UnknownTool String |
Instances
Wrapped C_UnknownTool Source # | |
(~) * C_UnknownTool t0 => Rewrapped C_UnknownTool t0 Source # | |
type Unwrapped C_UnknownTool Source # | |
newtype C_NoOverlap l Source #
Constructors
C_NoOverlap l |
Instances
Wrapped (C_NoOverlap l0) Source # | |
(~) * (C_NoOverlap l0) t0 => Rewrapped (C_NoOverlap l1) t0 Source # | |
type Unwrapped (C_NoOverlap l0) Source # | |
Constructors
C_Overlap l |
newtype C_Incoherent l Source #
Constructors
C_Incoherent l |
Instances
Wrapped (C_Incoherent l0) Source # | |
(~) * (C_Incoherent l0) t0 => Rewrapped (C_Incoherent l1) t0 Source # | |
type Unwrapped (C_Incoherent l0) Source # | |
newtype C_TypedRuleVar l Source #
Constructors
C_TypedRuleVar (l, Name l, Type l) |
Instances
Wrapped (C_TypedRuleVar l0) Source # | |
(~) * (C_TypedRuleVar l0) t0 => Rewrapped (C_TypedRuleVar l1) t0 Source # | |
type Unwrapped (C_TypedRuleVar l0) Source # | |
newtype C_ActiveFrom l Source #
Constructors
C_ActiveFrom (l, Int) |
Instances
Wrapped (C_ActiveFrom l0) Source # | |
(~) * (C_ActiveFrom l0) t0 => Rewrapped (C_ActiveFrom l1) t0 Source # | |
type Unwrapped (C_ActiveFrom l0) Source # | |
newtype C_ActiveUntil l Source #
Constructors
C_ActiveUntil (l, Int) |
Instances
Wrapped (C_ActiveUntil l0) Source # | |
(~) * (C_ActiveUntil l0) t0 => Rewrapped (C_ActiveUntil l1) t0 Source # | |
type Unwrapped (C_ActiveUntil l0) Source # | |
newtype C_ModuleAnn l Source #
Constructors
C_ModuleAnn (l, Exp l) |
Instances
Wrapped (C_ModuleAnn l0) Source # | |
(~) * (C_ModuleAnn l0) t0 => Rewrapped (C_ModuleAnn l1) t0 Source # | |
type Unwrapped (C_ModuleAnn l0) Source # | |
newtype C_VarFormula l Source #
Constructors
C_VarFormula (l, Name l) |
Instances
Wrapped (C_VarFormula l0) Source # | |
(~) * (C_VarFormula l0) t0 => Rewrapped (C_VarFormula l1) t0 Source # | |
type Unwrapped (C_VarFormula l0) Source # | |
newtype C_AndFormula l Source #
Constructors
C_AndFormula (l, [BooleanFormula l]) |
Instances
Wrapped (C_AndFormula l0) Source # | |
(~) * (C_AndFormula l0) t0 => Rewrapped (C_AndFormula l1) t0 Source # | |
type Unwrapped (C_AndFormula l0) Source # | |
newtype C_OrFormula l Source #
Constructors
C_OrFormula (l, [BooleanFormula l]) |
Instances
Wrapped (C_OrFormula l0) Source # | |
(~) * (C_OrFormula l0) t0 => Rewrapped (C_OrFormula l1) t0 Source # | |
type Unwrapped (C_OrFormula l0) Source # | |
newtype C_ParenFormula l Source #
Constructors
C_ParenFormula (l, BooleanFormula l) |
Instances
Wrapped (C_ParenFormula l0) Source # | |
(~) * (C_ParenFormula l0) t0 => Rewrapped (C_ParenFormula l1) t0 Source # | |
type Unwrapped (C_ParenFormula l0) Source # | |
_ParenFormula' :: Prism' (BooleanFormula v) (C_ParenFormula v) Source #
_OrFormula' :: Prism' (BooleanFormula v) (C_OrFormula v) Source #
_AndFormula' :: Prism' (BooleanFormula v) (C_AndFormula v) Source #
_VarFormula' :: Prism' (BooleanFormula v) (C_VarFormula v) Source #
_ModuleAnn' :: Prism' (Annotation v) (C_ModuleAnn v) Source #
_ActiveUntil' :: Prism' (Activation v) (C_ActiveUntil v) Source #
_ActiveFrom' :: Prism' (Activation v) (C_ActiveFrom v) Source #
_TypedRuleVar' :: Prism' (RuleVar v) (C_TypedRuleVar v) Source #
_Incoherent' :: Prism' (Overlap v) (C_Incoherent v) Source #
_NoOverlap' :: Prism' (Overlap v) (C_NoOverlap v) Source #
_AnnModulePragma' :: Prism' (ModulePragma v) (C_AnnModulePragma v) Source #
_OptionsPragma' :: Prism' (ModulePragma v) (C_OptionsPragma v) Source #
_LanguagePragma' :: Prism' (ModulePragma v) (C_LanguagePragma v) Source #
_JavaScript' :: Prism' (CallConv v) (C_JavaScript v) Source #
_CPlusPlus' :: Prism' (CallConv v) (C_CPlusPlus v) Source #
_PlayInterruptible' :: Prism' (Safety v) (C_PlayInterruptible v) Source #
_PlaySafe' :: Prism' (Safety v) (C_PlaySafe v) Source #
_PlayRisky' :: Prism' (Safety v) (C_PlayRisky v) Source #
_ParenSplice' :: Prism' (Splice v) (C_ParenSplice v) Source #
_IdSplice' :: Prism' (Splice v) (C_IdSplice v) Source #
_DeclBracket' :: Prism' (Bracket v) (C_DeclBracket v) Source #
_TypeBracket' :: Prism' (Bracket v) (C_TypeBracket v) Source #
_PatBracket' :: Prism' (Bracket v) (C_PatBracket v) Source #
_ExpBracket' :: Prism' (Bracket v) (C_ExpBracket v) Source #
_RoleWildcard' :: Prism' (Role v) (C_RoleWildcard v) Source #
_Representational' :: Prism' (Role v) (C_Representational v) Source #
_XDomName' :: Prism' (XName v) (C_XDomName v) Source #
_UnboxedSingleCon' :: Prism' (SpecialCon v) (C_UnboxedSingleCon v) Source #
_TupleCon' :: Prism' (SpecialCon v) (C_TupleCon v) Source #
_Negative' :: Prism' (Sign v) (C_Negative v) Source #
_Signless' :: Prism' (Sign v) (C_Signless v) Source #
_PrimString' :: Prism' (Literal v) (C_PrimString v) Source #
_PrimChar' :: Prism' (Literal v) (C_PrimChar v) Source #
_PrimDouble' :: Prism' (Literal v) (C_PrimDouble v) Source #
_PrimFloat' :: Prism' (Literal v) (C_PrimFloat v) Source #
_PrimWord' :: Prism' (Literal v) (C_PrimWord v) Source #
_RPEither' :: Prism' (RPat v) (C_RPEither v) Source #
_PFieldWildcard' :: Prism' (PatField v) (C_PFieldWildcard v) Source #
_PFieldPun' :: Prism' (PatField v) (C_PFieldPun v) Source #
_PFieldPat' :: Prism' (PatField v) (C_PFieldPat v) Source #
_PBangPat' :: Prism' (Pat v) (C_PBangPat v) Source #
_PQuasiQuote' :: Prism' (Pat v) (C_PQuasiQuote v) Source #
_PXPatTag' :: Prism' (Pat v) (C_PXPatTag v) Source #
_PXPcdata' :: Prism' (Pat v) (C_PXPcdata v) Source #
_PViewPat' :: Prism' (Pat v) (C_PViewPat v) Source #
_PatTypeSig' :: Prism' (Pat v) (C_PatTypeSig v) Source #
_PWildCard' :: Prism' (Pat v) (C_PWildCard v) Source #
_PInfixApp' :: Prism' (Pat v) (C_PInfixApp v) Source #
_FieldWildcard' :: Prism' (FieldUpdate v) (C_FieldWildcard v) Source #
_FieldPun' :: Prism' (FieldUpdate v) (C_FieldPun v) Source #
_FieldUpdate' :: Prism' (FieldUpdate v) (C_FieldUpdate v) Source #
_GroupByUsing' :: Prism' (QualStmt v) (C_GroupByUsing v) Source #
_GroupUsing' :: Prism' (QualStmt v) (C_GroupUsing v) Source #
_ThenTrans' :: Prism' (QualStmt v) (C_ThenTrans v) Source #
_QualStmt' :: Prism' (QualStmt v) (C_QualStmt v) Source #
_Qualifier' :: Prism' (Stmt v) (C_Qualifier v) Source #
_Generator' :: Prism' (Stmt v) (C_Generator v) Source #
_ExprHole' :: Prism' (Exp v) (C_ExprHole v) Source #
_RightArrHighApp' :: Prism' (Exp v) (C_RightArrHighApp v) Source #
_LeftArrHighApp' :: Prism' (Exp v) (C_LeftArrHighApp v) Source #
_RightArrApp' :: Prism' (Exp v) (C_RightArrApp v) Source #
_LeftArrApp' :: Prism' (Exp v) (C_LeftArrApp v) Source #
_GenPragma' :: Prism' (Exp v) (C_GenPragma v) Source #
_SCCPragma' :: Prism' (Exp v) (C_SCCPragma v) Source #
_CorePragma' :: Prism' (Exp v) (C_CorePragma v) Source #
_XChildTag' :: Prism' (Exp v) (C_XChildTag v) Source #
_QuasiQuote' :: Prism' (Exp v) (C_QuasiQuote v) Source #
_SpliceExp' :: Prism' (Exp v) (C_SpliceExp v) Source #
_BracketExp' :: Prism' (Exp v) (C_BracketExp v) Source #
_TypQuote' :: Prism' (Exp v) (C_TypQuote v) Source #
_VarQuote' :: Prism' (Exp v) (C_VarQuote v) Source #
_ExpTypeSig' :: Prism' (Exp v) (C_ExpTypeSig v) Source #
_ParArrayComp' :: Prism' (Exp v) (C_ParArrayComp v) Source #
_ListComp' :: Prism' (Exp v) (C_ListComp v) Source #
_ParArrayFromThenTo' :: Prism' (Exp v) (C_ParArrayFromThenTo v) Source #
_ParArrayFromTo' :: Prism' (Exp v) (C_ParArrayFromTo v) Source #
_EnumFromThenTo' :: Prism' (Exp v) (C_EnumFromThenTo v) Source #
_EnumFromThen' :: Prism' (Exp v) (C_EnumFromThen v) Source #
_EnumFromTo' :: Prism' (Exp v) (C_EnumFromTo v) Source #
_EnumFrom' :: Prism' (Exp v) (C_EnumFrom v) Source #
_RecUpdate' :: Prism' (Exp v) (C_RecUpdate v) Source #
_RecConstr' :: Prism' (Exp v) (C_RecConstr v) Source #
_RightSection' :: Prism' (Exp v) (C_RightSection v) Source #
_LeftSection' :: Prism' (Exp v) (C_LeftSection v) Source #
_ParArray' :: Prism' (Exp v) (C_ParArray v) Source #
_TupleSection' :: Prism' (Exp v) (C_TupleSection v) Source #
_InfixApp' :: Prism' (Exp v) (C_InfixApp v) Source #
_OverloadedLabel' :: Prism' (Exp v) (C_OverloadedLabel v) Source #
_PromotedUnit' :: Prism' (Promoted v) (C_PromotedUnit v) Source #
_PromotedTuple' :: Prism' (Promoted v) (C_PromotedTuple v) Source #
_PromotedList' :: Prism' (Promoted v) (C_PromotedList v) Source #
_PromotedCon' :: Prism' (Promoted v) (C_PromotedCon v) Source #
_PromotedString' :: Prism' (Promoted v) (C_PromotedString v) Source #
_PromotedInteger' :: Prism' (Promoted v) (C_PromotedInteger v) Source #
_UnkindedVar' :: Prism' (TyVarBind v) (C_UnkindedVar v) Source #
_KindedVar' :: Prism' (TyVarBind v) (C_KindedVar v) Source #
_KindList' :: Prism' (Kind v) (C_KindList v) Source #
_KindTuple' :: Prism' (Kind v) (C_KindTuple v) Source #
_KindParen' :: Prism' (Kind v) (C_KindParen v) Source #
_KindStar' :: Prism' (Kind v) (C_KindStar v) Source #
_TyQuasiQuote' :: Prism' (Type v) (C_TyQuasiQuote v) Source #
_TyWildCard' :: Prism' (Type v) (C_TyWildCard v) Source #
_TySplice' :: Prism' (Type v) (C_TySplice v) Source #
_TyEquals' :: Prism' (Type v) (C_TyEquals v) Source #
_TyPromoted' :: Prism' (Type v) (C_TyPromoted v) Source #
_TyParArray' :: Prism' (Type v) (C_TyParArray v) Source #
_TyForall' :: Prism' (Type v) (C_TyForall v) Source #
_WildCardA' :: Prism' (Asst v) (C_WildCardA v) Source #
_CxSingle' :: Prism' (Context v) (C_CxSingle v) Source #
_GuardedRhss' :: Prism' (Rhs v) (C_GuardedRhss v) Source #
_UnGuardedRhs' :: Prism' (Rhs v) (C_UnGuardedRhs v) Source #
_InfixMatch' :: Prism' (Match v) (C_InfixMatch v) Source #
_NoUnpackPragma' :: Prism' (Unpackedness v) (C_NoUnpackPragma v) Source #
_NoUnpack' :: Prism' (Unpackedness v) (C_NoUnpack v) Source #
_NoStrictAnnot' :: Prism' (BangType v) (C_NoStrictAnnot v) Source #
_BangedTy' :: Prism' (BangType v) (C_BangedTy v) Source #
_InfixConDecl' :: Prism' (ConDecl v) (C_InfixConDecl v) Source #
_DataType' :: Prism' (DataOrNew v) (C_DataType v) Source #
_InsGData' :: Prism' (InstDecl v) (C_InsGData v) Source #
_ClsDefSig' :: Prism' (ClassDecl v) (C_ClsDefSig v) Source #
_ClsTyDef' :: Prism' (ClassDecl v) (C_ClsTyDef v) Source #
_ClsTyFam' :: Prism' (ClassDecl v) (C_ClsTyFam v) Source #
_ClsDataFam' :: Prism' (ClassDecl v) (C_ClsDataFam v) Source #
_TyVarSig' :: Prism' (ResultSig v) (C_TyVarSig v) Source #
_Unidirectional' :: Prism' (PatternSynDirection v) (C_Unidirectional v) Source #
_RoleAnnotDecl' :: Prism' (Decl v) (C_RoleAnnotDecl v) Source #
_MinimalPragma' :: Prism' (Decl v) (C_MinimalPragma v) Source #
_AnnPragma' :: Prism' (Decl v) (C_AnnPragma v) Source #
_SpecInlineSig' :: Prism' (Decl v) (C_SpecInlineSig v) Source #
_InlineConlikeSig' :: Prism' (Decl v) (C_InlineConlikeSig v) Source #
_InlineSig' :: Prism' (Decl v) (C_InlineSig v) Source #
_WarnPragmaDecl' :: Prism' (Decl v) (C_WarnPragmaDecl v) Source #
_DeprPragmaDecl' :: Prism' (Decl v) (C_DeprPragmaDecl v) Source #
_RulePragmaDecl' :: Prism' (Decl v) (C_RulePragmaDecl v) Source #
_PatSynSig' :: Prism' (Decl v) (C_PatSynSig v) Source #
_SpliceDecl' :: Prism' (Decl v) (C_SpliceDecl v) Source #
_DefaultDecl' :: Prism' (Decl v) (C_DefaultDecl v) Source #
_InfixDecl' :: Prism' (Decl v) (C_InfixDecl v) Source #
_DerivDecl' :: Prism' (Decl v) (C_DerivDecl v) Source #
_InstDecl' :: Prism' (Decl v) (C_InstDecl v) Source #
_ClassDecl' :: Prism' (Decl v) (C_ClassDecl v) Source #
_GDataInsDecl' :: Prism' (Decl v) (C_GDataInsDecl v) Source #
_DataInsDecl' :: Prism' (Decl v) (C_DataInsDecl v) Source #
_TypeInsDecl' :: Prism' (Decl v) (C_TypeInsDecl v) Source #
_DataFamDecl' :: Prism' (Decl v) (C_DataFamDecl v) Source #
_GDataDecl' :: Prism' (Decl v) (C_GDataDecl v) Source #
_DataDecl' :: Prism' (Decl v) (C_DataDecl v) Source #
_ClosedTypeFamDecl' :: Prism' (Decl v) (C_ClosedTypeFamDecl v) Source #
_TypeFamDecl' :: Prism' (Decl v) (C_TypeFamDecl v) Source #
_TypeDecl' :: Prism' (Decl v) (C_TypeDecl v) Source #
_PatternNamespace' :: Prism' (Namespace v) (C_PatternNamespace v) Source #
_TypeNamespace' :: Prism' (Namespace v) (C_TypeNamespace v) Source #
_NoNamespace' :: Prism' (Namespace v) (C_NoNamespace v) Source #
_AssocRight' :: Prism' (Assoc v) (C_AssocRight v) Source #
_AssocLeft' :: Prism' (Assoc v) (C_AssocLeft v) Source #
_AssocNone' :: Prism' (Assoc v) (C_AssocNone v) Source #
_IThingWith' :: Prism' (ImportSpec v) (C_IThingWith v) Source #
_IThingAll' :: Prism' (ImportSpec v) (C_IThingAll v) Source #
_EWildcard' :: Prism' (EWildcard v) (C_EWildcard v) Source #
_NoWildcard' :: Prism' (EWildcard v) (C_NoWildcard v) Source #
_EModuleContents' :: Prism' (ExportSpec v) (C_EModuleContents v) Source #
_EThingWith' :: Prism' (ExportSpec v) (C_EThingWith v) Source #
_WarnText' :: Prism' (WarningText v) (C_WarnText v) Source #
_DeprText' :: Prism' (WarningText v) (C_DeprText v) Source #
_XmlHybrid' :: Prism' (Module v) (C_XmlHybrid v) Source #