Modulelens-5.3.6Haskell2010

Language.Haskell.TH.Lens

Lenses, Prisms, and Traversals for working with Template Haskell.

Beware that the API offered in this module is subject to change, as it mirrors the API exposed by the template-haskell package, which frequently changes between different releases of GHC. An effort is made to identify the functions in this module which have different type signatures when compiled with different versions of template-haskell.

Contents

Traversals
Lenses
Loc Lenses
FunDep Lenses
Match Lenses
Fixity Lenses
Clause Lenses
FieldExp Lenses
FieldPat Lenses
TySynEqn Lenses
InjectivityAnn Lenses
TypeFamilyHead Lenses
Bang Lenses
DerivClause Lenses
Prisms
Info Prisms
Dec Prisms
PatSynDir Prisms
PatSynArgs Prisms
Con Prisms
NamespaceSpecifier Prisms
Overlap Prisms
SourceUnpackedness Prisms
SourceStrictness Prisms
DecidedStrictness Prisms
Foreign Prisms
Callconv Prisms
Safety Prisms
Pragma Prisms
Inline Prisms
RuleMatch Prisms
Phases Prisms
RuleBndr Prisms
AnnTarget Prisms
FunDep Prisms TODO make a lens
FixityDirection Prisms
Exp Prisms
Body Prisms
Guard Prisms
Stmt Prisms
Range Prisms
Lit Prisms
Pat Prisms
Type Prisms
Specificity Prisms
BndrVis Prisms
TyVarBndr Prisms
FamilyResultSig Prisms
TyLit Prisms
Role Prisms
DerivStrategy Prisms

Synopsis

class HasName
class HasTypes
class HasTypeVars
class SubstType
value typeVars
value substTypeVars
value conFields
value conNamedFields
value locFileName
value locPackage
value locModule
value locStart
value locEnd
value funDepInputs
value funDepOutputs
value matchPattern
value matchBody
value matchDeclarations
value fixityPrecedence
value fixityDirection
value clausePattern
value clauseBody
value clauseDecs
value fieldExpName
value fieldExpExpression
value fieldPatName
value fieldPatPattern
value tySynEqnLHS
value tySynEqnPatterns
value tySynEqnResult
value injectivityAnnOutput
value injectivityAnnInputs
value typeFamilyHeadName
value typeFamilyHeadTyVarBndrs
value typeFamilyHeadResultSig
value typeFamilyHeadInjectivityAnn
value bangSourceUnpackedness
value bangSourceStrictness
value derivClauseStrategy
value derivClauseCxt
value _ClassI
value _ClassOpI
value _TyConI
value _FamilyI
value _PrimTyConI
value _DataConI
value _VarI
value _TyVarI
value _PatSynI
value _FunD
value _ValD
value _DataD
value _NewtypeD
value _TySynD
value _ClassD
value _InstanceD
value _SigD
value _ForeignD
value _InfixD
value _PragmaD
value _DataInstD
value _NewtypeInstD
value _TySynInstD
value _ClosedTypeFamilyD
value _RoleAnnotD
value _StandaloneDerivD
value _DefaultSigD
value _DataFamilyD
value _OpenTypeFamilyD
value _PatSynD
value _PatSynSigD
value _ImplicitParamBindD
value _DefaultD
value _TypeDataD
value _Unidir
value _ImplBidir
value _ExplBidir
value _PrefixPatSyn
value _InfixPatSyn
value _RecordPatSyn
value _NormalC
value _RecC
value _InfixC
value _ForallC
value _GadtC
value _RecGadtC
value _NoNamespaceSpecifier
value _TypeNamespaceSpecifier
value _DataNamespaceSpecifier
value _Overlappable
value _Overlapping
value _Overlaps
value _Incoherent
value _NoSourceUnpackedness
value _SourceNoUnpack
value _SourceUnpack
value _NoSourceStrictness
value _SourceLazy
value _SourceStrict
value _DecidedLazy
value _DecidedStrict
value _DecidedUnpack
value _ImportF
value _ExportF
value _CCall
value _StdCall
value _CApi
value _Prim
value _JavaScript
value _Unsafe
value _Safe
value _Interruptible
value _InlineP
value _SpecialiseP
value _SpecialiseInstP
value _RuleP
value _AnnP
value _LineP
value _CompleteP
value _OpaqueP
value _SCCP
value _SpecialiseEP
value _NoInline
value _Inline
value _Inlinable
value _ConLike
value _FunLike
value _AllPhases
value _FromPhase
value _BeforePhase
value _RuleVar
value _TypedRuleVar
value _ModuleAnnotation
value _TypeAnnotation
value _ValueAnnotation
value _FunDep
value _InfixL
value _InfixR
value _InfixN
value _VarE
value _ConE
value _LitE
value _AppE
value _AppTypeE
value _InfixE
value _UInfixE
value _ParensE
value _LamE
value _LamCaseE
value _TupE
value _UnboxedTupE
value _UnboxedSumE
value _CondE
value _MultiIfE
value _LetE
value _CaseE
value _DoE
value _CompE
value _ArithSeqE
value _ListE
value _SigE
value _RecConE
value _RecUpdE
value _StaticE
value _UnboundVarE
value _LabelE
value _MDoE
value _ImplicitParamVarE
value _GetFieldE
value _ProjectionE
value _LamCasesE
value _TypedBracketE
value _TypedSpliceE
value _TypeE
value _ForallE
value _ForallVisE
value _ConstrainedE
value _GuardedB
value _NormalB
value _NormalG
value _PatG
value _BindS
value _LetS
value _NoBindS
value _ParS
value _RecS
value _FromR
value _FromThenR
value _FromToR
value _FromThenToR
value _CharL
value _StringL
value _IntegerL
value _RationalL
value _IntPrimL
value _WordPrimL
value _FloatPrimL
value _DoublePrimL
value _StringPrimL
value _CharPrimL
value _BytesPrimL
value _LitP
value _VarP
value _TupP
value _UnboxedTupP
value _UnboxedSumP
value _ConP
value _InfixP
value _UInfixP
value _ParensP
value _TildeP
value _BangP
value _AsP
value _WildP
value _RecP
value _ListP
value _SigP
value _ViewP
value _TypeP
value _InvisP
value _OrP
value _ForallT
value _AppT
value _SigT
value _VarT
value _ConT
value _PromotedT
value _TupleT
value _UnboxedTupleT
value _UnboxedSumT
value _ArrowT
value _EqualityT
value _ListT
value _PromotedTupleT
value _PromotedNilT
value _PromotedConsT
value _StarT
value _ConstraintT
value _LitT
value _InfixT
value _UInfixT
value _ParensT
value _WildCardT
value _AppKindT
value _ImplicitParamT
value _ForallVisT
value _MulArrowT
value _PromotedInfixT
value _PromotedUInfixT
value _SpecifiedSpec
value _InferredSpec
value _BndrReq
value _BndrInvis
value _PlainTV
value _KindedTV
value _NoSig
value _KindSig
value _TyVarSig
value _NumTyLit
value _StrTyLit
value _CharTyLit
value _NominalR
value _RepresentationalR
value _PhantomR
value _InferR
value _StockStrategy
value _AnyclassStrategy
value _NewtypeStrategy

Packagelens-5.3.6
Exports268
LanguageHaskell2010
LicenceBSD-2-Clause
SourceLens.hs

Traversals

classclass HasName t where

Source#

Has a Name

Methods

name :: Lens' t Name
Extract (or modify) the Name of something

Instances7HasName, …

HasName ConDefined in lens-5.3.6 · Language.Haskell.TH.Lens
On template-haskell-2.11.0.0 or later, if a GadtC or RecGadtC has multiple Names, the leftmost Name will be chosen.
HasName ForeignDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasName InjectivityAnnDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasName NameDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasName RuleBndrDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasName TypeFamilyHeadDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasName (TyVarBndr_ flag)Defined in lens-5.3.6 · Language.Haskell.TH.Lens

classclass HasTypes t where

Source#

Contains some amount of Types inside

Methods

types :: Traversal' t Type
Traverse all the types

Instances5HasTypes

HasTypes ConDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypes ForeignDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypes TySynEqnDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypes TypeDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypes t => HasTypes [t]Defined in lens-5.3.6 · Language.Haskell.TH.Lens

classclass HasTypeVars t where

Source#

Provides for the extraction of free type variables, and alpha renaming.

Methods

typeVarsEx :: Set Name -> Traversal' t Name
When performing substitution into this traversal you're not allowed to substitute in a name that is bound internally or you'll violate the Traversal laws, when in doubt generate your names with newName.

Instances7HasTypeVars, …

HasTypeVars ConDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypeVars NameDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypeVars TypeDefined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypeVars NConDefined in lens-5.3.6 · Control.Lens.Internal.PrismTH
HasTypeVars (TyVarBndr_ flag)Defined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypeVars t => HasTypeVars (Maybe t)Defined in lens-5.3.6 · Language.Haskell.TH.Lens
HasTypeVars t => HasTypeVars [t]Defined in lens-5.3.6 · Language.Haskell.TH.Lens

classclass SubstType t where

Source#

Provides substitution for types

Methods

substType :: Map Name Type -> t -> t
Perform substitution for types

Instances2SubstType

SubstType TypeDefined in lens-5.3.6 · Language.Haskell.TH.Lens
SubstType t => SubstType [t]Defined in lens-5.3.6 · Language.Haskell.TH.Lens

valuetypeVars :: HasTypeVars t => Traversal' t Name

Source#

Traverse free type variables

valuesubstTypeVars :: HasTypeVars t => Map Name Name -> t -> t

Source#

Substitute using a map of names in for free type variables

valueconFields :: Traversal' Con BangType

Source#

Provides a Traversal of the types of each field of a constructor.

valueconNamedFields :: Traversal' Con VarBangType

Source#

Traversal of the types of the named fields of a constructor.

Lenses

Loc Lenses

valuelocFileName :: Lens' Loc String

valuelocPackage :: Lens' Loc String

valuelocModule :: Lens' Loc String

valuelocStart :: Lens' Loc CharPos

valuelocEnd :: Lens' Loc CharPos

FunDep Lenses

valuefunDepInputs :: Lens' FunDep [Name]

valuefunDepOutputs :: Lens' FunDep [Name]

Match Lenses

valuematchPattern :: Lens' Match Pat

valuematchBody :: Lens' Match Body

valuematchDeclarations :: Lens' Match [Dec]

Fixity Lenses

valuefixityPrecedence :: Lens' Fixity Int

valuefixityDirection :: Lens' Fixity FixityDirection

Clause Lenses

valueclausePattern :: Lens' Clause [Pat]

valueclauseBody :: Lens' Clause Body

valueclauseDecs :: Lens' Clause [Dec]

FieldExp Lenses

valuefieldExpName :: Lens' FieldExp Name

valuefieldExpExpression :: Lens' FieldExp Exp

FieldPat Lenses

valuefieldPatName :: Lens' FieldPat Name

valuefieldPatPattern :: Lens' FieldPat Pat

TySynEqn Lenses

valuetySynEqnLHS :: Lens' TySynEqn Type

valuetySynEqnPatterns :: Lens' TySynEqn [Type]

valuetySynEqnResult :: Lens' TySynEqn Type

InjectivityAnn Lenses

valueinjectivityAnnOutput :: Lens' InjectivityAnn Name

valueinjectivityAnnInputs :: Lens' InjectivityAnn [Name]

TypeFamilyHead Lenses

valuetypeFamilyHeadName :: Lens' TypeFamilyHead Name

valuetypeFamilyHeadTyVarBndrs :: Lens' TypeFamilyHead [TyVarBndrVis]

valuetypeFamilyHeadResultSig :: Lens' TypeFamilyHead FamilyResultSig

valuetypeFamilyHeadInjectivityAnn :: Lens' TypeFamilyHead (Maybe InjectivityAnn)

Bang Lenses

valuebangSourceUnpackedness :: Lens' Bang SourceUnpackedness

valuebangSourceStrictness :: Lens' Bang SourceStrictness

DerivClause Lenses

valuederivClauseStrategy :: Lens' DerivClause (Maybe DerivStrategy)

valuederivClauseCxt :: Lens' DerivClause Cxt

Prisms

Info Prisms

value_ClassI :: Prism' Info (Dec, [InstanceDec])

value_ClassOpI :: Prism' Info (Name, Type, ParentName)

value_TyConI :: Prism' Info Dec

value_FamilyI :: Prism' Info (Dec, [InstanceDec])

value_PrimTyConI :: Prism' Info (Name, Arity, Unlifted)

value_DataConI :: Prism' Info (Name, Type, ParentName)

value_VarI :: Prism' Info (Name, Type, Maybe Dec)

value_TyVarI :: Prism' Info (Name, Type)

value_PatSynI :: Prism' Info (Name, PatSynType)

Dec Prisms

value_FunD :: Prism' Dec (Name, [Clause])

value_ValD :: Prism' Dec (Pat, Body, [Dec])

value_DataD :: DataPrism' [TyVarBndrVis] [Con]

Source#

_DataD :: Prism' Dec (Cxt, Name, [TyVarBndrUnit], Maybe Kind, [Con], [DerivClause]) -- template-haskell-2.12+
_DataD :: Prism' Dec (Cxt, Name, [Type],          Maybe Kind, [Con], Cxt)           -- Earlier versions

value_NewtypeD :: DataPrism' [TyVarBndrVis] Con

Source#

_NewtypeD :: Prism' Dec (Cxt, Name, [TyVarBndrUnit], Maybe Kind, Con, [DerivClause]) -- template-haskell-2.12+
_NewtypeD :: Prism' Dec (Cxt, Name, [Type],          Maybe Kind, Con, Cxt)           -- Earlier versions

value_TySynD :: Prism' Dec (Name, [TyVarBndrVis], Type)

value_ClassD :: Prism' Dec (Cxt, Name, [TyVarBndrVis], [FunDep], [Dec])

value_InstanceD :: Prism' Dec (Maybe Overlap, Cxt, Type, [Dec])

value_SigD :: Prism' Dec (Name, Type)

value_ForeignD :: Prism' Dec Foreign

value_InfixD :: Prism' Dec (Fixity, NamespaceSpecifier, Name)

Source#

_InfixD :: Prism' Dec (Fixity, NamespaceSpecifier, Name) -- template-haskell-2.22+
_InfixD :: Prism' Dec (Fixity, Name)                     -- Earlier versions

value_PragmaD :: Prism' Dec Pragma

value_DataInstD :: Prism' Dec (Cxt, Maybe [TyVarBndrUnit], Type, Maybe Kind, [Con], [DerivClause])

Source#

_DataInstD :: Prism' Dec (Cxt, Maybe [TyVarBndrUnit], Type, Maybe Kind, [Con], [DerivClause]) -- template-haskell-2.15+
_DataInstD :: Prism' Dec (Cxt, Name, [Type],                Maybe Kind, [Con], [DerivClause]) -- template-haskell-2.12 through 2.14
_DataInstD :: Prism' Dec (Cxt, Name, [Type],                Maybe Kind, [Con], Cxt)           -- Earlier versions

value_NewtypeInstD :: Prism' Dec (Cxt, Maybe [TyVarBndrUnit], Type, Maybe Kind, Con, [DerivClause])

Source#

_NewtypeInstD :: Prism' Dec (Cxt, Maybe [TyVarBndrUnit], Type, Maybe Kind, Con, [DerivClause]) -- template-haskell-2.15+
_NewtypeInstD :: Prism' Dec (Cxt, Name, [Type],                Maybe Kind, Con, [DerivClause]) -- template-haskell-2.12 through 2.14
_NewtypeInstD :: Prism' Dec (Cxt, Name, [Type],                Maybe Kind, Con, Cxt)           -- Earlier versions

value_TySynInstD :: Prism' Dec TySynEqn

Source#

_TySynInstD :: Prism' Dec TySynEqn             -- template-haskell-2.15+
_TySynInstD :: Prism' Dec (Name, TySynEqn)     -- template-haskell-2.9 through 2.14
_TySynInstD :: Prism' Dec (Name, [Type], Type) -- Earlier versions

value_ClosedTypeFamilyD :: Prism' Dec (TypeFamilyHead, [TySynEqn])

value_RoleAnnotD :: Prism' Dec (Name, [Role])

value_StandaloneDerivD :: Prism' Dec (Maybe DerivStrategy, Cxt, Type)

Source#

_StandaloneDerivD :: Prism' Dec (Maybe DerivStrategy, Cxt, Type) -- template-haskell-2.12+
_StandaloneDerivD :: Prism' Dec                      (Cxt, Type) -- Earlier versions

value_DefaultSigD :: Prism' Dec (Name, Type)

value_DataFamilyD :: Prism' Dec (Name, [TyVarBndrVis], Maybe Kind)

value_OpenTypeFamilyD :: Prism' Dec TypeFamilyHead

value_PatSynD :: Prism' Dec (Name, PatSynArgs, PatSynDir, Pat)

value_PatSynSigD :: Prism' Dec (Name, PatSynType)

value_ImplicitParamBindD :: Prism' Dec (String, Exp)

value_DefaultD :: Prism' Dec [Type]

value_TypeDataD :: Prism' Dec (Name, [TyVarBndrVis], Maybe Kind, [Con])

PatSynDir Prisms

value_Unidir :: Prism' PatSynDir ()

value_ImplBidir :: Prism' PatSynDir ()

value_ExplBidir :: Prism' PatSynDir [Clause]

PatSynArgs Prisms

value_PrefixPatSyn :: Prism' PatSynArgs [Name]

value_InfixPatSyn :: Prism' PatSynArgs (Name, Name)

value_RecordPatSyn :: Prism' PatSynArgs [Name]

Con Prisms

value_NormalC :: Prism' Con (Name, [BangType])

value_RecC :: Prism' Con (Name, [VarBangType])

value_InfixC :: Prism' Con (BangType, Name, BangType)

value_ForallC :: Prism' Con ([TyVarBndrSpec], Cxt, Con)

value_GadtC :: Prism' Con ([Name], [BangType], Type)

value_RecGadtC :: Prism' Con ([Name], [VarBangType], Type)

NamespaceSpecifier Prisms

value_NoNamespaceSpecifier :: Prism' NamespaceSpecifier ()

value_TypeNamespaceSpecifier :: Prism' NamespaceSpecifier ()

value_DataNamespaceSpecifier :: Prism' NamespaceSpecifier ()

Overlap Prisms

value_Overlappable :: Prism' Overlap ()

value_Overlapping :: Prism' Overlap ()

value_Overlaps :: Prism' Overlap ()

value_Incoherent :: Prism' Overlap ()

SourceUnpackedness Prisms

value_NoSourceUnpackedness :: Prism' SourceUnpackedness ()

value_SourceNoUnpack :: Prism' SourceUnpackedness ()

value_SourceUnpack :: Prism' SourceUnpackedness ()

SourceStrictness Prisms

value_NoSourceStrictness :: Prism' SourceStrictness ()

value_SourceLazy :: Prism' SourceStrictness ()

value_SourceStrict :: Prism' SourceStrictness ()

DecidedStrictness Prisms

value_DecidedLazy :: Prism' DecidedStrictness ()

value_DecidedStrict :: Prism' DecidedStrictness ()

value_DecidedUnpack :: Prism' DecidedStrictness ()

Foreign Prisms

value_ImportF :: Prism' Foreign (Callconv, Safety, String, Name, Type)

value_ExportF :: Prism' Foreign (Callconv, String, Name, Type)

Callconv Prisms

value_CCall :: Prism' Callconv ()

value_StdCall :: Prism' Callconv ()

value_CApi :: Prism' Callconv ()

value_Prim :: Prism' Callconv ()

value_JavaScript :: Prism' Callconv ()

Safety Prisms

value_Unsafe :: Prism' Safety ()

value_Safe :: Prism' Safety ()

value_Interruptible :: Prism' Safety ()

Pragma Prisms

value_InlineP :: Prism' Pragma (Name, Inline, RuleMatch, Phases)

value_SpecialiseP :: Prism' Pragma (Name, Type, Maybe Inline, Phases)

value_SpecialiseInstP :: Prism' Pragma Type

value_RuleP :: Prism' Pragma (String, Maybe [TyVarBndrUnit], [RuleBndr], Exp, Exp, Phases)

Source#

_RuleP :: Prism' Pragma (String, Maybe [TyVarBndrUnit], [RuleBndr], Exp, Exp, Phases) -- template-haskell-2.15+
_RuleP :: Prism' Pragma (String,                        [RuleBndr], Exp, Exp, Phases) -- Earlier versions

value_AnnP :: Prism' Pragma (AnnTarget, Exp)

value_LineP :: Prism' Pragma (Int, String)

value_CompleteP :: Prism' Pragma ([Name], Maybe Name)

value_OpaqueP :: Prism' Pragma Name

value_SCCP :: Prism' Pragma (Name, Maybe String)

value_SpecialiseEP :: Prism' Pragma (Maybe [TyVarBndr ()], [RuleBndr], Exp, Maybe Inline, Phases)

Inline Prisms

value_NoInline :: Prism' Inline ()

value_Inline :: Prism' Inline ()

value_Inlinable :: Prism' Inline ()

RuleMatch Prisms

value_ConLike :: Prism' RuleMatch ()

value_FunLike :: Prism' RuleMatch ()

Phases Prisms

value_AllPhases :: Prism' Phases ()

value_FromPhase :: Prism' Phases Int

value_BeforePhase :: Prism' Phases Int

RuleBndr Prisms

value_RuleVar :: Prism' RuleBndr Name

value_TypedRuleVar :: Prism' RuleBndr (Name, Type)

AnnTarget Prisms

value_ModuleAnnotation :: Prism' AnnTarget ()

value_TypeAnnotation :: Prism' AnnTarget Name

value_ValueAnnotation :: Prism' AnnTarget Name

FunDep Prisms TODO make a lens

value_FunDep :: Iso' FunDep ([Name], [Name])

FixityDirection Prisms

value_InfixL :: Prism' FixityDirection ()

value_InfixR :: Prism' FixityDirection ()

value_InfixN :: Prism' FixityDirection ()

Exp Prisms

value_VarE :: Prism' Exp Name

value_ConE :: Prism' Exp Name

value_LitE :: Prism' Exp Lit

value_AppE :: Prism' Exp (Exp, Exp)

value_AppTypeE :: Prism' Exp (Exp, Type)

value_InfixE :: Prism' Exp (Maybe Exp, Exp, Maybe Exp)

value_UInfixE :: Prism' Exp (Exp, Exp, Exp)

value_ParensE :: Prism' Exp Exp

value_LamE :: Prism' Exp ([Pat], Exp)

value_LamCaseE :: Prism' Exp [Match]

value_TupE :: Prism' Exp [Maybe Exp]

Source#

_TupE :: Prism' Exp [Maybe Exp] -- template-haskell-2.16+
_TupE :: Prism' Exp [Exp]       -- Earlier versions

value_UnboxedTupE :: Prism' Exp [Maybe Exp]

Source#

_UnboxedTupE :: Prism' Exp [Maybe Exp] -- template-haskell-2.16+
_UnboxedTupE :: Prism' Exp [Exp]       -- Earlier versions

value_UnboxedSumE :: Prism' Exp (Exp, SumAlt, SumArity)

value_CondE :: Prism' Exp (Exp, Exp, Exp)

value_MultiIfE :: Prism' Exp [(Guard, Exp)]

value_LetE :: Prism' Exp ([Dec], Exp)

value_CaseE :: Prism' Exp (Exp, [Match])

value_DoE :: Prism' Exp (Maybe ModName, [Stmt])

Source#

_DoE :: Prism' Exp (Maybe ModName, [Stmt]) -- template-haskell-2.17+
_DoE :: Prism' Exp [Stmt]                  -- Earlier versions

value_CompE :: Prism' Exp [Stmt]

value_ArithSeqE :: Prism' Exp Range

value_ListE :: Prism' Exp [Exp]

value_SigE :: Prism' Exp (Exp, Type)

value_RecConE :: Prism' Exp (Name, [FieldExp])

value_RecUpdE :: Prism' Exp (Exp, [FieldExp])

value_StaticE :: Prism' Exp Exp

value_UnboundVarE :: Prism' Exp Name

value_LabelE :: Prism' Exp String

value_MDoE :: Prism' Exp (Maybe ModName, [Stmt])

Source#

_MDoE :: Prism' Exp (Maybe ModName, [Stmt]) -- template-haskell-2.17+
_MDoE :: Prism' Exp [Stmt]                  -- Earlier versions

value_ImplicitParamVarE :: Prism' Exp String

value_GetFieldE :: Prism' Exp (Exp, String)

value_ProjectionE :: Prism' Exp (NonEmpty String)

value_LamCasesE :: Prism' Exp [Clause]

value_TypedBracketE :: Prism' Exp Exp

value_TypedSpliceE :: Prism' Exp Exp

value_TypeE :: Prism' Exp Type

value_ForallE :: Prism' Exp ([TyVarBndr Specificity], Exp)

value_ForallVisE :: Prism' Exp ([TyVarBndr ()], Exp)

value_ConstrainedE :: Prism' Exp ([Exp], Exp)

Body Prisms

value_GuardedB :: Prism' Body [(Guard, Exp)]

value_NormalB :: Prism' Body Exp

Guard Prisms

value_NormalG :: Prism' Guard Exp

value_PatG :: Prism' Guard [Stmt]

Stmt Prisms

value_BindS :: Prism' Stmt (Pat, Exp)

value_LetS :: Prism' Stmt [Dec]

value_NoBindS :: Prism' Stmt Exp

value_ParS :: Prism' Stmt [[Stmt]]

value_RecS :: Prism' Stmt [Stmt]

Range Prisms

value_FromR :: Prism' Range Exp

value_FromThenR :: Prism' Range (Exp, Exp)

value_FromToR :: Prism' Range (Exp, Exp)

value_FromThenToR :: Prism' Range (Exp, Exp, Exp)

Lit Prisms

value_CharL :: Prism' Lit Char

value_StringL :: Prism' Lit String

value_IntegerL :: Prism' Lit Integer

value_RationalL :: Prism' Lit Rational

value_IntPrimL :: Prism' Lit Integer

value_WordPrimL :: Prism' Lit Integer

value_FloatPrimL :: Prism' Lit Rational

value_DoublePrimL :: Prism' Lit Rational

value_StringPrimL :: Prism' Lit [Word8]

value_CharPrimL :: Prism' Lit Char

value_BytesPrimL :: Prism' Lit Bytes

Pat Prisms

value_LitP :: Prism' Pat Lit

value_VarP :: Prism' Pat Name

value_TupP :: Prism' Pat [Pat]

value_UnboxedTupP :: Prism' Pat [Pat]

value_UnboxedSumP :: Prism' Pat (Pat, SumAlt, SumArity)

value_ConP :: Prism' Pat (Name, [Type], [Pat])

Source#

_ConP :: Prism' Pat (Name, [Type], [Pat]) -- template-haskell-2.18+
_ConP :: Prism' Pat (Name,         [Pat]) -- Earlier versions

value_InfixP :: Prism' Pat (Pat, Name, Pat)

value_UInfixP :: Prism' Pat (Pat, Name, Pat)

value_ParensP :: Prism' Pat Pat

value_TildeP :: Prism' Pat Pat

value_BangP :: Prism' Pat Pat

value_AsP :: Prism' Pat (Name, Pat)

value_WildP :: Prism' Pat ()

value_RecP :: Prism' Pat (Name, [FieldPat])

value_ListP :: Prism' Pat [Pat]

value_SigP :: Prism' Pat (Pat, Type)

value_ViewP :: Prism' Pat (Exp, Pat)

value_TypeP :: Prism' Pat Type

value_InvisP :: Prism' Pat Type

value_OrP :: Prism' Pat (NonEmpty Pat)

Type Prisms

value_ForallT :: Prism' Type ([TyVarBndrSpec], Cxt, Type)

value_AppT :: Prism' Type (Type, Type)

value_SigT :: Prism' Type (Type, Kind)

value_VarT :: Prism' Type Name

value_ConT :: Prism' Type Name

value_PromotedT :: Prism' Type Name

value_TupleT :: Prism' Type Int

value_UnboxedTupleT :: Prism' Type Int

value_UnboxedSumT :: Prism' Type SumArity

value_ArrowT :: Prism' Type ()

value_EqualityT :: Prism' Type ()

value_ListT :: Prism' Type ()

value_PromotedTupleT :: Prism' Type Int

value_PromotedNilT :: Prism' Type ()

value_PromotedConsT :: Prism' Type ()

value_StarT :: Prism' Type ()

value_ConstraintT :: Prism' Type ()

value_LitT :: Prism' Type TyLit

value_InfixT :: Prism' Type (Type, Name, Type)

value_UInfixT :: Prism' Type (Type, Name, Type)

value_ParensT :: Prism' Type Type

value_WildCardT :: Prism' Type ()

value_AppKindT :: Prism' Type (Type, Kind)

value_ImplicitParamT :: Prism' Type (String, Type)

value_ForallVisT :: Prism' Type ([TyVarBndrUnit], Type)

value_MulArrowT :: Prism' Type ()

value_PromotedInfixT :: Prism' Type (Type, Name, Type)

value_PromotedUInfixT :: Prism' Type (Type, Name, Type)

Specificity Prisms

value_SpecifiedSpec :: Prism' Specificity ()

value_InferredSpec :: Prism' Specificity ()

BndrVis Prisms

value_BndrReq :: Prism' BndrVis ()

value_BndrInvis :: Prism' BndrVis ()

TyVarBndr Prisms

value_PlainTV

:: (Choice p, Applicative f)
=> p (Name, flag) (f (Name, flag))
-> p (TyVarBndr flag) (f (TyVarBndr flag))

Source#

_PlainTV :: Prism' (TyVarBndr flag) (Name, flag) -- template-haskell-2.17+
_PlainTV :: Prism'  TyVarBndr        Name        -- Earlier versions

value_KindedTV

:: (Choice p, Applicative f)
=> p (Name, flag, Kind) (f (Name, flag, Kind))
-> p (TyVarBndr flag) (f (TyVarBndr flag))

Source#

_KindedTV :: Prism' (TyVarBndr flag) (Name, flag, Kind) -- template-haskell-2.17+
_KindedTV :: Prism'  TyVarBndr       (Name,       Kind) -- Earlier versions

FamilyResultSig Prisms

value_NoSig :: Prism' FamilyResultSig ()

value_KindSig :: Prism' FamilyResultSig Kind

value_TyVarSig :: Prism' FamilyResultSig TyVarBndrUnit

TyLit Prisms

value_NumTyLit :: Prism' TyLit Integer

value_StrTyLit :: Prism' TyLit String

value_CharTyLit :: Prism' TyLit Char

Role Prisms

value_NominalR :: Prism' Role ()

value_RepresentationalR :: Prism' Role ()

value_PhantomR :: Prism' Role ()

value_InferR :: Prism' Role ()

DerivStrategy Prisms

value_StockStrategy :: Prism' DerivStrategy ()

value_AnyclassStrategy :: Prism' DerivStrategy ()

value_NewtypeStrategy :: Prism' DerivStrategy ()