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.


See PUReSoftware.


To use DrHylo, simply type DrHylo -h at the command line, and follow instructions.

Usage: DrHylo [OPTION...]
  -o[FILE]  --output[=FILE]  output FILE
  -i[FILE]  --input[=FILE]   input FILE

To run the resulting Haskell files you will need PointlessHaskell.

Please send feedback to alcino@di.uminho.pt.

r3 - 12 Feb 2007 - 19:32:15 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM