Portability	TemplateHaskell
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Trustworthy

Language.Haskell.TH.Lens

Description

Lenses and Traversals for working with Template Haskell

Synopsis

Documentation

class HasName t whereSource

Has a Name

Methods

name :: Lens' t Name Source

Extract (or modify) the Name of something

Instances

HasName Name
HasName TyVarBndr
HasName Con

class HasTypeVars t whereSource

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

Methods

typeVarsEx :: Set Name -> Traversal' t Name Source

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
HasTypeVars Name
HasTypeVars Pred
HasTypeVars TyVarBndr
HasTypeVars Con
HasTypeVars t => HasTypeVars [t]

class SubstType t whereSource

Provides substitution for types

Methods

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

Perform substitution for types

Instances

SubstType Type
SubstType Pred
SubstType t => SubstType [t]

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

Traverse free type variables

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

Substitute using a map of names in for free type variables

conFields :: Traversal' Con StrictType Source

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

conNamedFields :: Traversal' Con VarStrictType Source

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