higgledy-0.3.1.0: Partial types as a type constructor.

higgledy-0.3.1.0: Partial types as a type constructor.

Use the generic representation of an ADT to get a higher-kinded data-style interface automatically.

Signatures

Modules

Data
Submodules
- Generic
  Submodules
  - Data.Generic.HKD A generic-based HKD decorator for ADTs.
    Submodules
    Data.Generic.HKD.Build Construct an HKD structure with its component parameters.
    Data.Generic.HKD.Construction Convert to and from the generic HKD structure.
    Data.Generic.HKD.Labels
    Data.Generic.HKD.Named Construct an HKD record with named parameters.
    Data.Generic.HKD.Types Type declarations for the HKD structure.