@hackage data-diverse4.7.1.0
Extensible records and polymorphic variants.
Installation
Tested Compilers
Dependencies (6)
Dependents (6)
@hackage/data-diverse-lens, @hackage/glazier, @hackage/glazier-react, @hackage/acme-everything, @hackage/parameterized, @hackage/glazier-react-widget
"Data.Diverse.Many" is an extensible record for any size encoded efficiently as (Seq Any).
"Data.Diverse.Which" polymorphic variant of possibilities encoded as (Int, Any).
Provides getters, setters, projection, injection, folds, and catamorphisms; accessed by type or index or label.
Refer to ManySpec.hs and WhichSpec.hs for example usages.
Iso, Lens and Prisms are provided in data-diverse-lens
