DeepArrow
Version 0.4.0 revision 0 uploaded by ConalElliott.
Package meta
- Synopsis
- Arrows for "deep application"
- Description
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 theArrow
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 "Tangible Functional Programming": http://conal.net/papers/Eros
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
). In reading the documentation and code, be aware that infix operators bind more tightly than->
.© 2007-2012 by Conal Elliott (http://conal.net); BSD3 license.
- Author
- Conal Elliott <conal@conal.net>
- Bug reports
- n/a
- Category
- Combinators, Control
- Copyright
- (c) 2007-2013 by Conal Elliott
- Homepage
- http://haskell.org/haskellwiki/DeepArrow
- Maintainer
- conal@conal.net
- Package URL
- n/a
- Stability
- experimental