Name: DeepArrow Version: 0.0 Synopsis: Arrows for "deep application" Category: Composition 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 . * Application of deep arrows for composable interfaces in the TV library: . * The motivating idea and paper "Functional Programming by Interacting with Tangible Values": . 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 (); BSD3 license. Author: Conal Elliott 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 Hs-Source-Dirs: src Build-Depends: base, mtl Extensions: CPP, UndecidableInstances Exposed-Modules: Control.Arrow.DeepArrow Data.Tupler Data.FunArr Control.Arrow.DeepArrow.Examples ghc-options: -O -Wall