Control.Lens.Internal.FieldTH

Documentation

data LensRules

Constructors

LensRules

Fields

_simpleLenses :: Bool

_generateSigs :: Bool

_generateClasses :: Bool

_allowIsos :: Bool

_fieldToDef :: Name -> [Name] -> Name -> [DefName]

Type Name -> Field Names -> Target Field Name -> Definition Names

_classyLenses :: Name -> Maybe (Name, Name)

data DefName

Name to give to generated field optics.

Constructors

TopName Name

Simple top-level definiton name

MethodName Name Name

makeFields-style class name and method name

Instances

Eq DefName

Ord DefName

Show DefName

makeFieldOptics :: LensRules -> Name -> DecsQ

Compute the field optics for the type identified by the given type name. Lenses will be computed when possible, Traversals otherwise.

makeFieldOpticsForDec :: LensRules -> Dec -> DecsQ