lens-4.17: Lenses, Folds and Traversals

Copyright(C) 2012-2016 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
PortabilityTemplateHaskell
Safe HaskellTrustworthy
LanguageHaskell98

Language.Haskell.TH.Lens

Contents

Description

Lenses, Prisms, and Traversals for working with Template Haskell

Synopsis

Traversals

class HasName t where #

Has a Name

Methods

name :: Lens' t Name #

Extract (or modify) the Name of something

Instances
HasName Name # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

name :: Lens' Name Name #

HasName InjectivityAnn # 
Instance details

Defined in Language.Haskell.TH.Lens

HasName TypeFamilyHead # 
Instance details

Defined in Language.Haskell.TH.Lens

HasName Foreign # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

name :: Lens' Foreign Name #

HasName RuleBndr # 
Instance details

Defined in Language.Haskell.TH.Lens

HasName Con #

On template-haskell-2.11.0.0 or later, if a GadtC or RecGadtC has multiple Names, the leftmost Name will be chosen.

Instance details

Defined in Language.Haskell.TH.Lens

Methods

name :: Lens' Con Name #

HasName TyVarBndr # 
Instance details

Defined in Language.Haskell.TH.Lens

class HasTypes t where #

Contains some amount of Types inside

Methods

types :: Traversal' t Type #

Traverse all the types

Instances
HasTypes Type # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypes TySynEqn # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypes Foreign # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypes Con # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypes t => HasTypes [t] # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

types :: Traversal' [t] Type #

class HasTypeVars t where #

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.

Instances
HasTypeVars Type # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypeVars Name # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypeVars Con # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypeVars TyVarBndr # 
Instance details

Defined in Language.Haskell.TH.Lens

HasTypeVars t => HasTypeVars [t] # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

typeVarsEx :: Set Name -> Traversal' [t] Name #

HasTypeVars t => HasTypeVars (Maybe t) # 
Instance details

Defined in Language.Haskell.TH.Lens

class SubstType t where #

Provides substitution for types

Methods

substType :: Map Name Type -> t -> t #

Perform substitution for types

Instances
SubstType Type # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

substType :: Map Name Type -> Type -> Type #

SubstType t => SubstType [t] # 
Instance details

Defined in Language.Haskell.TH.Lens

Methods

substType :: Map Name Type -> [t] -> [t] #

typeVars :: HasTypeVars t => Traversal' t Name #

Traverse free type variables

substTypeVars :: HasTypeVars t => Map Name Name -> t -> t #

Substitute using a map of names in for free type variables

conFields :: Traversal' Con BangType #

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

conNamedFields :: Traversal' Con VarBangType #

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

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

_DataD :: DataPrism' [TyVarBndr] [Con] #

_NewtypeD :: DataPrism' [TyVarBndr] Con #

_DataInstD :: DataPrism' [Type] [Con] #

_NewtypeInstD :: DataPrism' [Type] Con #

PatSynDir Prisms

PatSynArgs Prisms

Con 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

TyVarBndr Prisms

FamilyResultSig Prisms

TyLit Prisms

Role Prisms

DerivStrategy Prisms