@hackage / sai-shape-syb

Obtain homogeneous values from arbitrary values, transforming or culling data

Latest0.3.4

About

Metadata

  • Last updated , by AndrewSeniuk
  • License BSD-3-Clause
  • Categories Generics

  • Maintained by: Andrew Seniuk <rasfar@gmail.com>

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    use_data_tree (on by default)

    Use Data.Tree instead of custom Rose type

Readme

This package provides SYB shape support: generic mapping to homogeneous types, and related features. Complements existing Uniplate and TH shape libraries.

Given a value of arbitrary complexity (mutually recursive heterogeneous constructor application), you can obtain a structure-preserving representation (homomorphism) as a homogeneous type Homo a, parameterised by any choice type a.

See the project homepage for more information.