packages feed

Cabal revisions of multirec-0.1

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-name:			multirec-version:		0.1-license:		BSD3-license-file:		LICENSE-author:			Alexey Rodriguez,-                        Stefan Holdermans,-                        Andres Löh,-                        Johan Jeuring-maintainer:		generics@haskell.org-category:		Generics-synopsis:		Generic programming with systems of recursive datatypes-homepage:		http://www.cs.uu.nl/wiki/GenericProgramming/Multirec-description:-  Many generic programs require information about the recursive positions-  of a datatype. Examples include the generic fold, generic rewriting or-  the Zipper data structure. Several generic programming systems allow to-  write such functions by viewing datatypes as fixed points of a pattern-  functor. Traditionally, this view has been limited to so-called regular-  datatypes such as lists and binary trees. In particular, systems of-  mutually recursive datatypes have been excluded.-  .-  With the multirec library, we provide a mechanism to talk about fixed-  points of systems of datatypes that may be mutually recursive. On top-  of this representations, generic functions such as the fold or the zipper-  can then be defined.-  .-  We expect that the library will be especially interesting for compiler-  writers, because ASTs are typically systems of mutually recursive datatypes,-  and with multirec it becomes easy to write generic functions on ASTs.-  .-  The library is based on ideas described in the paper:-  .-  *  Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring.-     /Generic programming with fixed points for mutually recursive datatypes/.-     Technical Report, Universiteit Utrecht-     (<http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf>).- -stability:		experimental-build-type:		Simple-cabal-version:		>= 1.2.1-tested-with:		GHC == 6.8.3-hs-source-dirs:		src-exposed-modules:	Generics.MultiRec--			-- Base-                        Generics.MultiRec.Base--			-- Generic functions-			Generics.MultiRec.HFunctor-			Generics.MultiRec.Fold-			Generics.MultiRec.Compos-			Generics.MultiRec.Eq--extra-source-files:	examples/AST.hs-			examples/ASTExamples.hs-			CREDITS-build-depends:		base >= 3.0 +name:			multirec
+version:		0.1
+x-revision: 1
+license:		BSD3
+license-file:		LICENSE
+author:			Alexey Rodriguez,
+                        Stefan Holdermans,
+                        Andres Löh,
+                        Johan Jeuring
+maintainer:		generics@haskell.org
+category:		Generics
+synopsis:		Generic programming with systems of recursive datatypes
+homepage:		http://www.cs.uu.nl/wiki/GenericProgramming/Multirec
+description:
+  Many generic programs require information about the recursive positions
+  of a datatype. Examples include the generic fold, generic rewriting or
+  the Zipper data structure. Several generic programming systems allow to
+  write such functions by viewing datatypes as fixed points of a pattern
+  functor. Traditionally, this view has been limited to so-called regular
+  datatypes such as lists and binary trees. In particular, systems of
+  mutually recursive datatypes have been excluded.
+  .
+  With the multirec library, we provide a mechanism to talk about fixed
+  points of systems of datatypes that may be mutually recursive. On top
+  of this representations, generic functions such as the fold or the zipper
+  can then be defined.
+  .
+  We expect that the library will be especially interesting for compiler
+  writers, because ASTs are typically systems of mutually recursive datatypes,
+  and with multirec it becomes easy to write generic functions on ASTs.
+  .
+  The library is based on ideas described in the paper:
+  .
+  *  Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring.
+     /Generic programming with fixed points for mutually recursive datatypes/.
+     Technical Report, Universiteit Utrecht
+     (<http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf>).
+ 
+stability:		experimental
+build-type:		Simple
+cabal-version:		>= 1.2.1
+tested-with:		GHC == 6.8.3
+hs-source-dirs:		src
+exposed-modules:	Generics.MultiRec
+
+			-- Base
+                        Generics.MultiRec.Base
+
+			-- Generic functions
+			Generics.MultiRec.HFunctor
+			Generics.MultiRec.Fold
+			Generics.MultiRec.Compos
+			Generics.MultiRec.Eq
+
+extra-source-files:	examples/AST.hs
+			examples/ASTExamples.hs
+			CREDITS
+build-depends:		base >= 3.0 && < 4