Package2.3.0.0GenericsRecordsLens

generic-lens-core

Generically derive traversals, lenses and prisms.

Version2.3.0.0
CategoryGenerics, Records, Lens
LicenceBSD-3-Clause
AuthorCsongor Kiss
Maintainerkiss.csongor.kiss@gmail.com
Homepagegithub.com/kcsongor/generic-lens
Pinned byhackage generic-lens-core 2.3.0.0
Sourcehackage.haskell.org/package/generic-lens-core-2.3.0.0

Modules

24 modules

Internal modules · 24

Data.GenericLens.Internal0The library internals are exposed through this module. Please keep
Data.Generics.Internal.Errors5
Data.Generics.Internal.Families1
Data.Generics.Internal.Families.Changing8
Data.Generics.Internal.Families.Collect6
Data.Generics.Internal.Families.Has7
Data.Generics.Internal.GenericN5Generic representation of types with multiple parameters
Data.Generics.Internal.Profunctor.Iso13Internal lens helpers. Only exported for Haddock
Data.Generics.Internal.Profunctor.Lens20Internal lens helpers. Only exported for Haddock
Data.Generics.Internal.Profunctor.Prism16Internal lens helpers. Only exported for Haddock
Data.Generics.Internal.VL.Traversal11Internal lens helpers. Only exported for Haddock
Data.Generics.Internal.Void3
Data.Generics.Internal.Wrapped2
Data.Generics.Product.Internal.Fields5
Data.Generics.Product.Internal.GLens4Derive record field getters and setters generically.
Data.Generics.Product.Internal.HList7Derive an isomorphism between a product type and a flat HList.
Data.Generics.Product.Internal.Param2
Data.Generics.Product.Internal.Positions9Derive positional product type getters and setters generically.
Data.Generics.Product.Internal.Subtype3Structural subtype relationships between product types.
Data.Generics.Product.Internal.Typed2
Data.Generics.Product.Internal.Types17
Data.Generics.Sum.Internal.Constructors7Derive constructor-name-based prisms generically.
Data.Generics.Sum.Internal.Subtype2Structural subtype relationships between sum types.
Data.Generics.Sum.Internal.Typed3Derive constructor-field-type-based prisms generically.

Description

This library uses GHC.Generics to derive efficient optics (traversals, lenses and prisms) for algebraic data types in a type-directed way, with a focus on good type inference and error messages when possible.

This package is the shared internal logic of the generic-lens and generic-optics libraries.

Depends on

3 packages

Modules

Description

Depends on

Used by in this set · 2