1 Name: DrHylo

2 Version: 0.0.2

3 License: BSD3

4 License-file: LICENSE

5 Author: Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt>

6 Maintainer: Hugo Pacheco <hpacheco@di.uminho.pt>

7 Synopsis: A tool for deriving hylomorphisms

8 Description:

9 DrHylo is a tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper Deriving Structural Hylomorphisms From Recursive Definitions at ICFP'96 by Hu, Iwasaki, and Takeichi.

10 The generated code can be run with Pointless Haskell (<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pointless-haskell>), allowing the visualization of the recursion trees of Haskell functions.

11 Homepage: http://haskell.di.uminho.pt/wiki/DrHylo

12

13 Category: Language

14

15 extra-source-files: README, Sample.hs

16 Data-files:

17

18 Build-type: Simple

19 Cabal-Version: >=1.2

20

21 Flag splitBase

22 Description: Choose the new smaller, split-up base package.

23

24 Library

25 Hs-Source-Dirs: lib

26 Build-Depends: base >= 4, pointless-haskell, mtl, haskell-src-exts == 0.4.8, syb

27 exposed-modules:

28 Language.Pointwise.Matching,

29 Language.Pointwise.Parser,

30 Language.Pointwise.Pretty,

31 Language.Pointwise.Syntax,

32 Language.Pointfree.Parser,

33 Language.Pointfree.Pretty,

34 Language.Pointfree.Syntax

35 extensions: DeriveDataTypeable

36

37 Executable DrHylo

38 Main-is: DrHylo.hs

39 Hs-Source-Dirs: src, lib

40 Build-Depends: containers

41 if flag(splitBase)

42 Build-Depends: base >= 3, array >= 0.1, pretty >= 1.0

43 else

44 Build-Depends: base < 3

45 other-modules:

46 DrHylo,

47 FunctorOf,

48 Hylos,

49 Matching,

50 PwPf

51 other-modules:

52

53 extensions: DeriveDataTypeable