@hackage sai-shape-syb0.2.2

Obtain homogeneous values from arbitrary values, tramsforming or culling data

This package provides SYB shape support: generic mapping to homogeneous types, and related features. Complements existing Uniplate and TH shape libraries. See http://www.fremissant.net/shape-syb for more information.

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.