Name: DeepArrow Version: 0.3.4 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 . * Application of deep arrows for composable interfaces in the TV library: . * The motivating idea and paper "Tangible Functional Programming": . 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-2012 by Conal Elliott (); BSD3 license. Author: Conal Elliott Maintainer: conal@conal.net Homepage: http://haskell.org/haskellwiki/DeepArrow Package-Url: http://code.haskell.org/~conal/code/DeepArrow License: BSD3 Stability: experimental Copyright: (c) 2007-2012 by Conal Elliott Build-type: Simple Hs-Source-Dirs: src Build-Depends: base<5, mtl, TypeCompose>=0.6.7, haskell-src Exposed-Modules: Control.Arrow.DeepArrow Data.FunArr Data.DDeepArrow Language.Haskell.ToHs Language.Haskell.Parens Control.Arrow.DeepArrow.Examples ghc-options: -Wall