:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulelens-5.3.5Haskell2010
Rules to construct lenses for data fields.
LensRules_simpleLenses :: Bool_generateSigs :: Bool_generateClasses :: Bool_allowIsos :: Bool_allowUpdates :: BoolAllow LensTraversal (otherwise GetterFold)
_lazyPatterns :: Bool_recordSyntax :: Bool_fieldToDef :: FieldNamerType Name -> Field Names -> Target Field Name -> Definition Names
_classyLenses :: ClassyNamerThe rule to create function names of lenses for data fields.
Although it's sometimes useful, you won't need the first two arguments most of the time.
Name to give to generated field optics.
TopName NameSimple top-level definition name
MethodName Name NamemakeFields-style class name and method name
The optional rule to create a class and method around a monomorphic data type. If this naming convention is provided, it generates a "classy" lens.
Compute the field optics for the type identified by the given type name. Lenses will be computed when possible, Traversals otherwise.
Tracks the field class Names that have been created so far. We consult these so that we may avoid creating duplicate classes.