The DeepArrow package (version 0.2)
This library provides a framework for type-directed composition of value editors (non-syntactic transformations). The tools enable "deep function application" in two senses: deep application of functions and application of deep functions. These tools generalize beyond values and functions, via the DeepArrow subclass of the Arrow type class.
For more information see:
The project wiki page http://haskell.org/haskellwiki/DeepArrow
Application of deep arrows for composable interfaces in the TV library: http://haskell.org/haskellwiki/TV
The motivating idea and paper Functional Programming by Interacting with Tangible Values: http://conal.net/papers/Eros
This page and the module documentation pages have links to colorized source code and to wiki pages where you can read and contribute user comments. Enjoy!
The primary module is Control.Arrow.DeepArrow. Examples in Control.Arrow.DeepArrow.Examples.
Note: Many of the type signatures use infix type operators (as in a~>b), a recent extension to GHC. In reading the documentation and code, be aware that infix operators bind more tightly than ->.
© 2007 by Conal Elliott (http://conal.net); BSD3 license.
| Other versions | 0.0, 0.0.1 |
|---|---|
| Dependencies | base, haskell-src, mtl, TypeCompose (>=0.2) |
| License | BSD3 |
| Copyright | (c) 2007 by Conal Elliott |
| Author | Conal Elliott <conal@conal.net> |
| Maintainer | conal@conal.net |
| Stability | experimental |
| Category | Combinators, Control |
| Home page | http://haskell.org/haskellwiki/DeepArrow |
| Exposed modules | Control.Arrow.DeepArrow, Data.FunArr, Data.DDeepArrow, Language.Haskell.ToHs, Language.Haskell.Parens, Control.Arrow.DeepArrow.Examples |
| Upload date | Tue Feb 19 15:12:51 PST 2008 |
| Uploaded by | ConalElliott |
| Built on | ghc-6.8 |
Downloads
- DeepArrow-0.2.tar.gz (Cabal source package)
- package description (included in the package)