Multiplate is a lightweight generic library for mutually recursive data
types that won't make Conor lose his lunch.
Multiplate is an alternative extension of the Uniplate/Compos core design
to support mutually recursive datatypes in a way that is as powerful as
Compos, almost as easy to use as Uniplate, and more portable than both of
them.
Multiplate does not require you to rewrite your data type, does not
require run-time reflection, does not require GADTs, and does not even
require multi-parameter type classes. It only requires rank 3
polymorphism.
<http://hackage.haskell.org/package/multiplate-0.0.1>
A more detailed paper is forthcoming, but the library is available to try
right now.
--
Russell O'Connor <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
