Optics.TH.Internal.Product

Rules to construct lenses for data fields.

The 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.

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.

Build field optics as labels with a custom configuration.

Tracks the field class Names that have been created so far. We consult these so that we may avoid creating duplicate classes.