The DrHylo package
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.
Properties
| Versions | 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 |
| License | BSD3 |
| 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 |
| Executables | DrHylo |
| Upload date | Tue Dec 9 10:37:32 UTC 2008 |
| Uploaded by | HugoPacheco |
| Build failure | ghc-6.12 (log), ghc-7.0 (log) |
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
Downloads
- DrHylo-0.0.2.tar.gz (Cabal source package)
- package description (included in the package)