The DeepArrow package

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 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 ->.

Properties

Versions	0.0, 0.0.1, 0.2, 0.3.2, 0.3.3, 0.3.4, 0.3.5
Dependencies	base (<5), haskell-src, mtl, TypeCompose (≥0.6.7)
License	BSD3
Copyright	(c) 2007-2012 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
Upload date	Sat Feb 4 16:31:08 UTC 2012
Uploaded by	ConalElliott
Built on	ghc-7.4
Distributions	FreeBSD: 0.3.5

Modules

Control
- Arrow
  - Control.Arrow.DeepArrow
    - Control.Arrow.DeepArrow.Examples
Data
- Data.DDeepArrow
- Data.FunArr
Language
- Haskell
  - Language.Haskell.Parens
  - Language.Haskell.ToHs

Downloads

DeepArrow-0.3.5.tar.gz (Cabal source package)
package description (included in the package)