Language.Haskell.TH.Lens

# Traversals

class HasName t

class HasTypes t

class HasTypeVars t

class SubstType t

typeVars

substTypeVars

conFields

conNamedFields

# Lenses

## Loc Lenses

locFileName

locPackage

locModule

locStart

locEnd

## FunDep Lenses

funDepInputs

funDepOutputs

## Match Lenses

matchPattern

matchBody

matchDeclarations

## Fixity Lenses

fixityPrecedence

fixityDirection

## Clause Lenses

clausePattern

clauseBody

clauseDecs

## FieldExp Lenses

fieldExpName

fieldExpExpression

## FieldPat Lenses

fieldPatName

fieldPatPattern

## TySynEqn Lenses

tySynEqnPatterns

tySynEqnResult

## InjectivityAnn Lenses

injectivityAnnOutput

injectivityAnnInputs

## TypeFamilyHead Lenses

typeFamilyHeadName

typeFamilyHeadTyVarBndrs

typeFamilyHeadResultSig

typeFamilyHeadInjectivityAnn

## Bang Lenses

bangSourceUnpackedness

bangSourceStrictness

# Prisms

## Info Prisms

_ClassI

_ClassOpI

_TyConI

_FamilyI

_PrimTyConI

_DataConI

_VarI

_TyVarI

## Dec Prisms

_FunD

_ValD

_DataD

_NewtypeD

_TySynD

_ClassD

_InstanceD

_SigD

_ForeignD

_InfixD

_PragmaD

_DataInstD

_NewtypeInstD

_TySynInstD

_ClosedTypeFamilyD

_RoleAnnotD

_StandaloneDerivD

_DefaultSigD

_DataFamilyD

_OpenTypeFamilyD

## Con Prisms

_NormalC

_RecC

_InfixC

_ForallC

_GadtC

_RecGadtC

## Overlap Prisms

_Overlappable

_Overlapping

_Overlaps

_Incoherent

## SourceUnpackedness Prisms

_NoSourceUnpackedness

_SourceNoUnpack

_SourceUnpack

## SourceStrictness Prisms

_NoSourceStrictness

_SourceLazy

_SourceStrict

## DecidedStrictness Prisms

_DecidedLazy

_DecidedStrict

_DecidedUnpack

## Foreign Prisms

_ImportF

_ExportF

## Callconv Prisms

_CCall

_StdCall

_CApi

_Prim

_JavaScript

## Safety Prisms

_Unsafe

_Safe

_Interruptible

## Pragma Prisms

_InlineP

_SpecialiseP

_SpecialiseInstP

_RuleP

_AnnP

_LineP

## Inline Prisms

_NoInline

_Inline

_Inlinable

## RuleMatch Prisms

_ConLike

_FunLike

## Phases Prisms

_AllPhases

_FromPhase

_BeforePhase

## RuleBndr Prisms

_RuleVar

_TypedRuleVar

## AnnTarget Prisms

_ModuleAnnotation

_TypeAnnotation

_ValueAnnotation

## FunDep Prisms TODO make a lens

_FunDep

## FamFlavour Prisms

_TypeFam

_DataFam

## FixityDirection Prisms

_InfixL

_InfixR

_InfixN

## Exp Prisms

_VarE

_ConE

_LitE

_AppE

_InfixE

_UInfixE

_ParensE

_LamE

_LamCaseE

_TupE

_UnboxedTupE

_CondE

_MultiIfE

_LetE

_CaseE

_DoE

_CompE

_ArithSeqE

_ListE

_SigE

_RecConE

_RecUpdE

_StaticE

_UnboundVarE

## Body Prisms

_GuardedB

_NormalB

## Guard Prisms

_NormalG

_PatG

## Stmt Prisms

_BindS

_LetS

_NoBindS

_ParS

## Range Prisms

_FromR

_FromThenR

_FromToR

_FromThenToR

## Lit Prisms

_CharL

_StringL

_IntegerL

_RationalL

_IntPrimL

_WordPrimL

_FloatPrimL

_DoublePrimL

_StringPrimL

_CharPrimL

## Pat Prisms

_LitP

_VarP

_TupP

_UnboxedTupP

_ConP

_InfixP

_UInfixP

_ParensP

_TildeP

_BangP

_AsP

_WildP

_RecP

_ListP

_SigP

_ViewP

## Type Prisms

_ForallT

_AppT

_SigT

_VarT

_ConT

_PromotedT

_TupleT

_UnboxedTupleT

_ArrowT

_EqualityT

_ListT

_PromotedTupleT

_PromotedNilT

_PromotedConsT

_StarT

_ConstraintT

_LitT

_InfixT

_UInfixT

_ParensT

_WildCardT

## TyVarBndr Prisms

_PlainTV

_KindedTV

## FamilyResultSig Prisms

_NoSig

_KindSig

_TyVarSig

## TyLit Prisms

_NumTyLit

_StrTyLit

## Role Prisms

_NominalR

_RepresentationalR

_PhantomR

_InferR