Generics

Download

generics@haskell.org

May 2009

2 participants
2 discussions

[ANN] multirec-binary
by Sebastiaan Visser 25 May '09

25 May '09

Hello all, MultiRec[1,2] is a great library for generic programming for families of possibly mutual recursive data types. Creating new generic functions might take some effort but the use of these functions is very straightforward. The multirec-binary[3] packages allows generic derivation of Data.Binary instances using the MultiRec library. Just try something like this: > import Data.Binary > import Generics.MultiRec.Base > import Generics.MultiRec.Binary > > instance Binary MyType where > put = gput MyFamily > get = gget MyFamily Have fun, -- Sebastiaan Visser [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec-0.3 [2] http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf [3] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec-binary

1 0

MultiRec generic producer.
by Sebastiaan Visser 25 May '09

25 May '09

Hey guys, While playing around with MultiRec most things are pretty straightforward and most usage can be derived from the examples. The only thing that seems tricky to do, and of which I cannot find any examples, are generic producers. Any examples of generic producers that take no values as input but do produce values as output? E.g. generic parsers (read), binary get, arbitrary? I have some `SingleRec' producers that are fairly trivial to port except for the `Tag' case. Any clues? Thanks, -- Sebastiaan Visser

2 3