@hackage data-diverse0.7.0.0

Extensible records and polymorphic variants.

Categories
License
BSD-3-Clause
Maintainer
louis@pan.me
Links
Versions
- 4.7.1.0 Mon, 29 May 2023
- 4.7.0.0 Tue, 26 Nov 2019
- 4.6.0.0 Mon, 2 Jul 2018
- 4.5.0.0 Fri, 15 Jun 2018
- 4.4.0.0 Fri, 8 Jun 2018
- 4.3.0.0 Thu, 7 Jun 2018

Deprecated
This release has been deprecated in favour of: @hackage/data-diverse-4.7.1.0
Tested Compilers
- 8.0.2
Dependencies (4)
- base >=4.7 && <5
- containers >=0.5 && <0.6
- ghc-prim >=0.5 && <1
- tagged >=0.8.5 && <1
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 (Int, Map Int 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