Description
Obtain homogeneous values from arbitrary values, transforming or culling data.
Description
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 Homoa, parameterised by any choice type a.
See the project homepage for more information.