packages feed

composition-prelude 3.0.0.0 → 3.0.0.1

raw patch · 4 files changed

+351/−319 lines, 4 filesdep ~base

Dependency ranges changed: base

Files

CHANGELOG.md view
@@ -1,5 +1,10 @@ # composition-prelude +# 3.0.0.1++  * Support older base+  * Docs+ # 3.0.0.0    * Remove `-.**` etc. and replace with `.@`
composition-prelude.cabal view
@@ -1,38 +1,44 @@-cabal-version: 1.18-name: composition-prelude-version: 3.0.0.0-license: BSD3-license-file: LICENSE-copyright: Copyright: (c) 2017-2020 Vanessa McHale-maintainer: vamchale@gmail.com-author: Vanessa McHale-bug-reports: https://hub.darcs.net/vmchale/composition-prelude/issues-synopsis: Higher-order function combinators+cabal-version:   1.18+name:            composition-prelude+version:         3.0.0.1+license:         BSD3+license-file:    LICENSE+copyright:       Copyright: (c) 2017-2020 Vanessa McHale+maintainer:      vamchale@gmail.com+author:          Vanessa McHale+bug-reports:     https://hub.darcs.net/vmchale/composition-prelude/issues+synopsis:        Higher-order function combinators description:     Replacement for [composition](hackage.haskell.org/package/composition) or [composition-extra](hackage.haskell.org/package/composition-extra), exporting everything in one module.-category: Control, Data-build-type: Simple-extra-doc-files: README.md-                 CHANGELOG.md +category:        Control, Data+build-type:      Simple+extra-doc-files:+    README.md+    CHANGELOG.md+ source-repository head-    type: darcs+    type:     darcs     location: https://hub.darcs.net/vmchale/composition-prelude  flag development-    description:-        Enable `-Werror`-    default: False-    manual: True+    description: Enable `-Werror`+    default:     False+    manual:      True +flag cross+    description: Enable this to ease cross-compilation+    default:     False+ library-    exposed-modules:-        Control.Composition-    hs-source-dirs: src+    exposed-modules:  Control.Composition+    hs-source-dirs:   src     default-language: Haskell98-    ghc-options: -Wall-    build-depends:-        base >=4.11 && <5+    ghc-options:      -Wall+    build-depends:    base >=4.3 && <5++    if !flag(cross)+        build-tool-depends: cpphs:cpphs -any      if flag(development)         ghc-options: -Werror
+ src/Control/Composition.cpphs view
@@ -0,0 +1,315 @@+module Control.Composition+    ( -- * Postcomposition+      (.*)+    , (.**)+    , (.***)+    , (.****)+    , (.*****)+    , (.******)+    -- * Precomposition+    , (-.)+    , (.@)+    , (.@@)+    , (.@@@)+    , (.@@@@)+    , (.@@@@@)+    -- * Monadic postcomposition+    , (<=*<)+    , (<=**<)+    , (>=**>)+    , (>=*>)+    -- * Monadic precomposition+    , (<-=*<)+    , (>-=*>)+    , (<-=**<)+    , (>-=**>)+    -- * Between combinators+    , between+    , (~@~)+    , betweenM+    , (<~@~<)+    -- * Fancy function application+    , (-$)+    -- * Monadic helpers+    , bisequence'+    , (.$)+    -- * Monadic actions+    , axe+    , biaxe+    -- * Composition with lists of functions+    , thread+    , threadM+    -- * Tuple helpers+    , both+    , dup+    , (+>)+    -- * J inspired+    , (&:)+    -- * Reëxports from base+    , (<=<)+    , (>=>)+    , (<**>)+    , (&)+    , (<&>)+    , fix+    , on+    ) where++import           Control.Applicative+import           Control.Arrow       ((***))+import           Control.Monad+import           Data.Foldable+import           Data.Function       (fix, on)+#if MIN_VERSION_base(4,8,0)+import           Data.Function       ((&))+#endif+#if MIN_VERSION_base(4,13,0)+import           Data.Functor        ((<&>))+#endif+import           Data.Traversable+import           Prelude             hiding (foldr)++infixr 8 .*+infixr 8 .**+infixr 8 .***+infixr 8 .****+infixr 8 .*****+infixr 8 .******+infixr 8 -.+infixr 8 .@+infixr 8 .@@+infixr 8 .@@@+infixr 8 .@@@@+infixr 8 .@@@@@+infixl 0 &:+infixl 3 .$+infixl 8 -$+infixl 8 ~@~+infixl 8 <~@~<+infixr 1 <=*<+infixr 1 >=*>+infixr 1 <=**<+infixr 1 >=**>+infixr 1 <-=*<+infixr 1 >-=*>+infixr 1 <-=**<+infixr 1 >-=**>+infixr 6 +>+#if !MIN_VERSION_base(4,13,0)+infixl 1 <&>+#endif+#if !MIN_VERSION_base(4,8,0)+infixl 1 &+#endif++#if !MIN_VERSION_base(4,13,0)+(<&>) :: Functor f => f a -> (a -> b) -> f b+(<&>) x f = fmap f x+#endif++#if !MIN_VERSION_base(4,8,0)+(&) :: a -> (a -> b) -> b+(&) x f = f x+#endif++axe :: (Traversable t, Applicative f) => t (a -> f ()) -> a -> f ()+axe = sequenceA_ .* sequenceA++bisequence' :: (Traversable t, Applicative f) => t (a -> b -> f c) -> a -> b -> t (f c)+bisequence' = sequenceA .* sequenceA++biaxe :: (Traversable t, Applicative f) => t (a -> b -> f ()) -> a -> b -> f ()+biaxe = sequenceA_ .** bisequence'++-- | Pronounced \'appose\'. Synonym for 'on'+--+-- @since 3.0.0.0+(&:) :: (b -> b -> c) -> (a -> b) -> a -> a -> c+(&:) = on++-- | Infix synonym for 'both'+--+-- @since 3.0.0.0+(+>) :: (a -> b) -> (a, a) -> (b, b)+(+>) = both++both :: (a -> b) -> (a, a) -> (b, b)+both = join (***)++-- | @since 2.0.1.0+dup :: a -> (a, a)+dup = join (,)++-- | Infix version of 'join'+--+-- As an example, one could use this to rewrite+--+-- > between (char '"') (char '"')+--+-- to+--+-- > between .$ (char '"')+--+-- Or+--+-- > fromEither :: Either a a -> a+-- > fromEither = either id id+--+-- to+--+-- > fromEither :: Either a a -> a+-- > fromEither = either .$ id+--+-- @since 2.0.2.0+(.$) :: Monad m => m (m a) -> m a+(.$) = join++-- | Backwards function application. This is an infix synonym for 'flip'+(-$) :: (a -> b -> c) -> b -> a -> c+(-$) = flip++(.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d+(.*) f g = \x y -> f (g x y)++(.**) :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e+(.**) f g = \x y z -> f (g x y z)++(.***) :: (e -> f) -> (a -> b -> c -> d -> e) -> a -> b -> c -> d -> f+(.***) f g = \w x y z -> f (g w x y z)++-- | @since 1.0.0.0+(.****) :: (f -> g) -> (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> g+(.****) f g = \v w x y z -> f (g v w x y z)++-- | @since 2.0.5.0+(.*****) :: (g -> h) -> (a -> b -> c -> d -> e -> f -> g) -> a -> b -> c -> d -> e -> f -> h+(.*****) f g = \u v w x y z -> f (g u v w x y z)++-- | @since 2.0.5.0+(.******) :: (h -> i) -> (a -> b -> c -> d -> e -> f -> g -> h) -> a -> b -> c -> d -> e -> f -> g -> i+(.******) f g = \t u v w x y z -> f (g t u v w x y z)++-- | A monadic version of '.*'. Compare '<=<'.+--+-- As an example, one could use this to rewrite+--+-- > \x y z -> f (g x y z) z+--+-- to+--+-- > f <=*< g+--+-- @since 1.5.2.0+(<=*<) :: Monad m => (c -> m d) -> (a -> b -> m c) -> a -> b -> m d+(<=*<) f g = \x y -> f =<< g x y++-- | The bleeding fish operator+--+-- @since 1.5.2.0+(<=**<) :: Monad m => (d -> m e) -> (a -> b -> c -> m d) -> a -> b -> c -> m e+(<=**<) f g = \x y z -> f =<< g x y z++-- | Compare '>=>'.+--+-- @since 1.5.2.0+(>=*>) :: Monad m => (a -> b -> m c) -> (c -> m d) -> a -> b -> m d+(>=*>) g f = \x y -> f =<< g x y++-- | @since 1.5.2.0+(>=**>) :: Monad m => (a -> b -> c -> m d) -> (d -> m e) -> a -> b -> c -> m e+(>=**>) g f = \x y z -> f =<< g x y z++-- | @since 1.5.2.0+(<-=*<) :: Monad m => (b -> m c) -> (a -> c -> m d) -> a -> b -> m d+(<-=*<) f g = \x y -> g x =<< f y++-- | @since 1.5.2.0+(>-=*>) :: Monad m => (a -> c -> m d) -> (b -> m c) -> a -> b -> m d+(>-=*>) g f = \x y -> g x =<< f y++-- | @since 1.5.2.0+(<-=**<) :: Monad m => (c -> m d) -> (a -> b -> d -> m e) -> a -> b -> c -> m e+(<-=**<) f g = \x y z -> g x y =<< f z++-- | @since 1.5.2.0+(>-=**>) :: Monad m => (a -> b -> d -> m e) -> (c -> m d) -> a -> b -> c -> m e+(>-=**>) g f = \x y z -> g x y =<< f z++-- | @since 2.0.3.0+(.@) :: (b -> c) -> (a -> c -> d) -> a -> b -> d+(.@) f g = \x y -> g x (f y)++-- | @since 2.0.3.0+(.@@) :: (c -> d) -> (a -> b -> d -> e) -> a -> b -> c -> e+(.@@) f g = \x y z -> g x y (f z)++-- | @since 2.0.3.0+(.@@@) :: (d -> e) -> (a -> b -> c -> e -> f) -> a -> b -> c -> d -> f+(.@@@) f g = \w x y z -> g w x y (f z)++-- | @since 2.0.3.0+(.@@@@) :: (e -> f) -> (a -> b -> c -> d -> f -> g) -> a -> b -> c -> d -> e -> g+(.@@@@) f g = \v w x y z -> g v w x y (f z)++-- | @since 3.0.0.0+(.@@@@@) :: (f -> g) -> (a -> b -> c -> d -> e -> g -> h) -> a -> b -> c -> d -> e -> f -> h+(.@@@@@) f g = \u v w x y z -> g u v w x y (f z)++-- | Backwards function composition. This is a specialization of '<&>', but it+-- has a different fixity.+(-.) :: (a -> b) -> (b -> c) -> a -> c+(-.) = (<&>)++-- infixl 1+-- (.&) :: a -> b -> (a -> b -> c) -> c+--+-- infixr 0+-- (.$) :: (a -> b -> c) -> a -> b -> c++{-# RULES+    "thread"     forall f g.   thread [f, g]              = f . g;+    "thread"     forall f g h. thread [f, g, h]           = f . g . h;+    "thread"     forall f fs.  thread (f:fs)              = f . thread fs;+    "thread/map" forall fs.    thread [ map f | f <- fs ] = map (thread fs)+  #-}++-- | @since 1.1.0.1+thread :: Foldable t => t (a -> a) -> a -> a+thread = foldr (.) id++{-# INLINE [1] thread #-}++threadM :: (Monad m, Foldable t, Applicative m) => t (a -> m a) -> a -> m a+threadM = foldr (<=<) pure++{-# INLINE [1] threadM #-}++{-# RULES+    "threadM" forall f g.   threadM [f, g]    = f <=< g;+    "threadM" forall f g h. threadM [f, g, h] = f <=< g <=< h;+    "threadM" forall f fs.  threadM (f:fs)    = f <=< threadM fs+  #-}++-- | Can be used to rewrite+--+-- > \g -> f . g . h+--+-- to+--+-- > between f h+--+-- @since 1.5.3.0+between :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d+between f g = (f .) . (. g)++-- @since 1.5.3.0+betweenM :: Monad m => (c -> m d) -> (a -> m b) -> (b -> m c) -> a -> m d+betweenM f g = (f <=<) . (<=< g)++-- @since 1.5.3.0+(~@~) :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d+(~@~) = between++-- @since 1.5.3.0+(<~@~<) :: Monad m => (c -> m d) -> (a -> m b) -> (b -> m c) -> a -> m d+(<~@~<) = betweenM
− src/Control/Composition.hs 
@@ -1,294 +0,0 @@-module Control.Composition-    ( -- * Postcomposition-      (.*)-    , (.**)-    , (.***)-    , (.****)-    , (.*****)-    , (.******)-    -- * Precomposition-    , (-.)-    , (.@)-    , (.@@)-    , (.@@@)-    , (.@@@@)-    , (.@@@@@)-    -- * Monadic postcomposition-    , (<=*<)-    , (<=**<)-    , (>=**>)-    , (>=*>)-    -- * Monadic precomposition-    , (<-=*<)-    , (>-=*>)-    , (<-=**<)-    , (>-=**>)-    -- * Between combinators-    , between-    , (~@~)-    , betweenM-    , (<~@~<)-    -- * Fancy function application-    , (-$)-    -- * Monadic helpers-    , bisequence'-    , (.$)-    -- * Monadic actions-    , axe-    , biaxe-    -- * Composition with lists of functions-    , thread-    , threadM-    -- * Tuple helpers-    , both-    , dup-    , (+>)-    -- * J inspired-    , (&:)-    -- * Reëxports from base-    , (<=<)-    , (>=>)-    , (<**>)-    , (&)-    , (<&>)-    , fix-    , on-    ) where--import           Control.Applicative-import           Control.Arrow       ((***))-import           Control.Monad-import           Data.Foldable-import           Data.Function       (fix, on, (&))-import           Data.Functor        ((<&>))-import           Data.Traversable-import           Prelude             hiding (foldr)--infixr 8 .*-infixr 8 .**-infixr 8 .***-infixr 8 .****-infixr 8 .*****-infixr 8 .******-infixr 8 -.-infixr 8 .@-infixr 8 .@@-infixr 8 .@@@-infixr 8 .@@@@-infixr 8 .@@@@@-infixl 0 &:-infixl 3 .$-infixl 8 -$-infixl 8 ~@~-infixl 8 <~@~<-infixr 1 <=*<-infixr 1 >=*>-infixr 1 <=**<-infixr 1 >=**>-infixr 1 <-=*<-infixr 1 >-=*>-infixr 1 <-=**<-infixr 1 >-=**>-infixr 6 +>--axe :: (Traversable t, Applicative f) => t (a -> f ()) -> a -> f ()-axe = sequenceA_ .* sequenceA--bisequence' :: (Traversable t, Applicative f) => t (a -> b -> f c) -> a -> b -> t (f c)-bisequence' = sequenceA .* sequenceA--biaxe :: (Traversable t, Applicative f) => t (a -> b -> f ()) -> a -> b -> f ()-biaxe = sequenceA_ .** bisequence'---- | Pronounced \'appose\'. Synonym for 'on'------ @since 3.0.0.0-(&:) :: (b -> b -> c) -> (a -> b) -> a -> a -> c-(&:) = on---- | Infix synonym for 'both'------ @since 3.0.0.0-(+>) :: (a -> b) -> (a, a) -> (b, b)-(+>) = both--both :: (a -> b) -> (a, a) -> (b, b)-both = join (***)---- | @since 2.0.1.0-dup :: a -> (a, a)-dup = join (,)---- | Infix version of 'join'------ As an example, we could use this to rewrite------ > between (char '"') (char '"')------ to------ > between .$ (char '"')------ Or------ > fromEither :: Either a a -> a--- > fromEither = either id id------ to------ > fromEither :: Either a a -> a--- > fromEither = either .$ id------ @since 2.0.2.0-(.$) :: Monad m => m (m a) -> m a-(.$) = join---- | Backwards function application. This is an infix synonym for 'flip'-(-$) :: (a -> b -> c) -> b -> a -> c-(-$) = flip--(.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d-(.*) f g = \x y -> f (g x y)--(.**) :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e-(.**) f g = \x y z -> f (g x y z)--(.***) :: (e -> f) -> (a -> b -> c -> d -> e) -> a -> b -> c -> d -> f-(.***) f g = \w x y z -> f (g w x y z)---- | @since 1.0.0.0-(.****) :: (f -> g) -> (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> g-(.****) f g = \v w x y z -> f (g v w x y z)---- | @since 2.0.5.0-(.*****) :: (g -> h) -> (a -> b -> c -> d -> e -> f -> g) -> a -> b -> c -> d -> e -> f -> h-(.*****) f g = \u v w x y z -> f (g u v w x y z)---- | @since 2.0.5.0-(.******) :: (h -> i) -> (a -> b -> c -> d -> e -> f -> g -> h) -> a -> b -> c -> d -> e -> f -> g -> i-(.******) f g = \t u v w x y z -> f (g t u v w x y z)---- | A monadic version of '.*'. Compare '<=<'.------ As an example, one could use this to rewrite------ > \x y z -> f (g x y z) z------ to------ > f <=*< g------ @since 1.5.2.0-(<=*<) :: Monad m => (c -> m d) -> (a -> b -> m c) -> a -> b -> m d-(<=*<) f g = \x y -> f =<< g x y---- | The bleeding fish operator------ @since 1.5.2.0-(<=**<) :: Monad m => (d -> m e) -> (a -> b -> c -> m d) -> a -> b -> c -> m e-(<=**<) f g = \x y z -> f =<< g x y z---- | Compare '>=>'.------ @since 1.5.2.0-(>=*>) :: Monad m => (a -> b -> m c) -> (c -> m d) -> a -> b -> m d-(>=*>) g f = \x y -> f =<< g x y---- | @since 1.5.2.0-(>=**>) :: Monad m => (a -> b -> c -> m d) -> (d -> m e) -> a -> b -> c -> m e-(>=**>) g f = \x y z -> f =<< g x y z---- | @since 1.5.2.0-(<-=*<) :: Monad m => (b -> m c) -> (a -> c -> m d) -> a -> b -> m d-(<-=*<) f g = \x y -> g x =<< f y---- | @since 1.5.2.0-(>-=*>) :: Monad m => (a -> c -> m d) -> (b -> m c) -> a -> b -> m d-(>-=*>) g f = \x y -> g x =<< f y---- | @since 1.5.2.0-(<-=**<) :: Monad m => (c -> m d) -> (a -> b -> d -> m e) -> a -> b -> c -> m e-(<-=**<) f g = \x y z -> g x y =<< f z---- | @since 1.5.2.0-(>-=**>) :: Monad m => (a -> b -> d -> m e) -> (c -> m d) -> a -> b -> c -> m e-(>-=**>) g f = \x y z -> g x y =<< f z---- | @since 2.0.3.0-(.@) :: (b -> c) -> (a -> c -> d) -> a -> b -> d-(.@) f g = \x y -> g x (f y)---- | @since 2.0.3.0-(.@@) :: (c -> d) -> (a -> b -> d -> e) -> a -> b -> c -> e-(.@@) f g = \x y z -> g x y (f z)---- | @since 2.0.3.0-(.@@@) :: (d -> e) -> (a -> b -> c -> e -> f) -> a -> b -> c -> d -> f-(.@@@) f g = \w x y z -> g w x y (f z)---- | @since 2.0.3.0-(.@@@@) :: (e -> f) -> (a -> b -> c -> d -> f -> g) -> a -> b -> c -> d -> e -> g-(.@@@@) f g = \v w x y z -> g v w x y (f z)---- | @since 3.0.0.0-(.@@@@@) :: (f -> g) -> (a -> b -> c -> d -> e -> g -> h) -> a -> b -> c -> d -> e -> f -> h-(.@@@@@) f g = \u v w x y z -> g u v w x y (f z)---- | Backwards function composition. This is a specialization of '<&>', but it--- has a different fixity.-(-.) :: (a -> b) -> (b -> c) -> a -> c-(-.) = (<&>)---- infixl 1--- (.&) :: a -> b -> (a -> b -> c) -> c------ infixr 0--- (.$) :: (a -> b -> c) -> a -> b -> c--{-# RULES-    "thread"     forall f g.   thread [f, g]              = f . g;-    "thread"     forall f g h. thread [f, g, h]           = f . g . h;-    "thread"     forall f fs.  thread (f:fs)              = f . thread fs;-    "thread/map" forall fs.    thread [ map f | f <- fs ] = map (thread fs)-  #-}---- | @since 1.1.0.1-thread :: Foldable t => t (a -> a) -> a -> a-thread = foldr (.) id--{-# INLINE [1] thread #-}--threadM :: (Monad m, Foldable t, Applicative m) => t (a -> m a) -> a -> m a-threadM = foldr (<=<) pure--{-# INLINE [1] threadM #-}--{-# RULES-    "threadM" forall f g.   threadM [f, g]    = f <=< g;-    "threadM" forall f g h. threadM [f, g, h] = f <=< g <=< h;-    "threadM" forall f fs.  threadM (f:fs)    = f <=< threadM fs-  #-}---- | Can be used to rewrite------ > \g -> f . g . h------ to------ > between f h------ @since 1.5.3.0-between :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d-between f g = (f .) . (. g)---- @since 1.5.3.0-betweenM :: Monad m => (c -> m d) -> (a -> m b) -> (b -> m c) -> a -> m d-betweenM f g = (f <=<) . (<=< g)---- @since 1.5.3.0-(~@~) :: (c -> d) -> (a -> b) -> (b -> c) -> a -> d-(~@~) = between---- @since 1.5.3.0-(<~@~<) :: Monad m => (c -> m d) -> (a -> m b) -> (b -> m c) -> a -> m d-(<~@~<) = betweenM