data-diverse
Extensible records and polymorphic variants.
https://github.com/louispan/data-diverse#readme
| Version on this page: | 0.4.0.0 |
| LTS Haskell 24.56: | 4.7.1.0 |
| Stackage Nightly 2026-08-24: | 4.7.1.0 |
| Latest on Hackage: | 4.7.1.0 |
Maintained by [email protected]
This version can be pinned in stack with:
data-diverse-0.4.0.0@sha256:a4fc72e1ffa288baca00d453f5b32e074e82d3b1b9c6dfc6e62f650759e25556,2703Depends on 5 packages(full list with versions):
“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, fold, and catamorphisms; accessed by type or index.
Refer to ManySpec.hs and WhichSpec.hs for example usages.