DrHylo: A tool for deriving hylomorphisms
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. 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.
[Skip to Readme]
Modules
- Language
- Pointfree
- Language.Pointfree.Parser
- Language.Pointfree.Pretty
- Language.Pointfree.Syntax
- Pointwise
- Language.Pointwise.Matching
- Language.Pointwise.Parser
- Language.Pointwise.Pretty
- Language.Pointwise.Syntax
- Pointfree
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
splitbase | Choose the new smaller, split-up base package. | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- DrHylo-0.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.1, 0.0.2 |
---|---|
Dependencies | array (>=0.1), base (>=4), containers, haskell-src-exts (==0.4.4.1), mtl, pointless-haskell, pretty (>=1.0), syb [details] |
License | BSD-3-Clause |
Author | Alcino Cunha <alcino@di.uminho.pt>, Hugo Pacheco <hpacheco@di.uminho.pt> |
Maintainer | Hugo Pacheco <hpacheco@di.uminho.pt> |
Category | Language |
Home page | http://haskell.di.uminho.pt/wiki/DrHylo |
Uploaded | by HugoPacheco at 2008-12-09T10:37:32Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | DrHylo |
Downloads | 2199 total (2 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-10-25 [all 15 reports] |