DeepArrow-0.2: DeepArrow.cabal
Name: DeepArrow
Version: 0.2
Synopsis: Arrows for "deep application"
Category: Combinators, Control
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 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.
Author: Conal Elliott <conal@conal.net>
Maintainer: conal@conal.net
Homepage: http://haskell.org/haskellwiki/DeepArrow
Package-Url: http://darcs.haskell.org/packages/DeepArrow
License: BSD3
Stability: experimental
Copyright: (c) 2007 by Conal Elliott
Build-type: Simple
Hs-Source-Dirs: src
Build-Depends: base, mtl, TypeCompose>=0.2, haskell-src
Extensions: CPP, UndecidableInstances
Exposed-Modules:
Control.Arrow.DeepArrow
Data.FunArr
Data.DDeepArrow
Language.Haskell.ToHs
Language.Haskell.Parens
Control.Arrow.DeepArrow.Examples
ghc-options: -Wall