DeepArrow: Arrows for "deep application"
|Versions||0.0, 0.0.1, 0.2, 0.3.2, 0.3.3, 0.3.4, 0.3.5, 0.3.7, 0.4.0|
|Dependencies||base, mtl [details]|
|Copyright||(c) 2007 by Conal Elliott|
|Author||Conal Elliott <email@example.com>|
|Uploaded||by ConalElliott at Tue Jan 16 07:56:02 UTC 2007|
|Downloads||4233 total (38 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
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!
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.
[Skip to Readme]
For package maintainers and hackage trustees