arrow-extras (empty) → 0.1.0.0

raw patch · 5 files changed

+98/−0 lines, 5 filesdep +basesetup-changed

Dependencies added: base

Files

• LICENSE +30/−0
• README.md +4/−0
• Setup.hs +2/−0
• arrow-extras.cabal +24/−0
• src/Control/Arrow/Extras.hs +38/−0

@@ -0,0 +1,30 @@+Copyright Louis Pan (c) 2017++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Louis Pan nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,4 @@+[![Hackage](https://img.shields.io/hackage/v/arrow-extras.svg)](https://hackage.haskell.org/package/arrow-extras)+[![Build Status](https://secure.travis-ci.org/louispan/arrow-extras.png?branch=master)](http://travis-ci.org/louispan/arrow-extras)++Extra functions for Control.Arrow

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,24 @@+name:                arrow-extras+version:             0.1.0.0+synopsis:            Extra functions for Control.Arrow+description:         Extra functions for Control.Arrow+homepage:            https://github.com/louispan/arrow-extras#readme+license:             BSD3+license-file:        LICENSE+author:              Louis Pan+maintainer:          louis@pan.me+copyright:           2017 Louis Pan+category:            Control+build-type:          Simple+extra-source-files:  README.md+cabal-version:       >=1.10++library+  hs-source-dirs:      src+  exposed-modules:     Control.Arrow.Extras+  build-depends:       base >= 4.7 && < 5+  default-language:    Haskell2010++source-repository head+  type:     git+  location: https://github.com/louispan/arrow-extras

@@ -0,0 +1,38 @@+module Control.Arrow.Extras where++import Control.Arrow++-- | Feed the output of second arrow into the output of the first arrow.+-- Can be used to emulate Applicative <*> like usage:+--+-- @+-- foo :: Appplicative f => f a -> f b -> f (a, b)+-- (,) <$> a <*> b+-- @+--+-- The arrow version is:+--+-- @+-- foo :: Arrow p => p x a -> p x b -> p x (a, b)+-- arr (const (,)) >*> a >*> b+-- @+(>*>) :: Arrow p => p a (b -> c)+    -> p a b+    -> p a c+af >*> ab = af &&& ab >>^ (fst <*> snd)++-- | precomposition with a pure value+(<<^=) :: Arrow a => a c d -> c -> a x d+p <<^= v = p <<^ const v++-- | postcomposition with a pure value+(>>^=) :: Arrow a => a b c -> d -> a b d+p >>^= v = p >>^ const v++-- | postcomposition with a pure value (right-to-left variant)+(=^<<) :: Arrow a => d -> a b c -> a b d+v =^<< p = const v ^<< p++-- | precomposition with a pure value (right-to-left variant)+(=^>>) :: Arrow a => c -> a c d -> a x d+v =^>> p = const v ^>> p