data-diverse
Extensible records and polymorphic variants.
https://github.com/louispan/data-diverse#readme
| Version on this page: | 0.3.0.0 |
| LTS Haskell 22.18: | 4.7.1.0 |
| Stackage Nightly 2024-04-22: | 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.3.0.0@sha256:091d212bae115cf5dccb1a2b9c3484e3dd1cafd312e23fcb5ddf1eb99484f140,2790Module documentation for 0.3.0.0
Depends 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.