@hackage / data-diverse

Extensible records and polymorphic variants.

Latest4.7.1.0

About

Metadata

  • Last updated , by louispan
  • License BSD-3-Clause

  • Maintained by: louis@pan.me

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.10.1
  2. 8.8.3
  3. 8.6.5

Readme

Hackage Build Status

"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