packages feed

composition-prelude 2.0.1.0 → 2.0.2.0

raw patch · 3 files changed

+19/−1 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ Control.Composition: (.$) :: Monad m => m (m a) -> m a
+ Control.Composition: infixl 3 .$
- Control.Composition: (&) :: () => a -> a -> b -> b
+ Control.Composition: (&) :: () => a -> (a -> b) -> b
- Control.Composition: (<&>) :: Functor f => f a -> a -> b -> f b
+ Control.Composition: (<&>) :: Functor f => f a -> (a -> b) -> f b
- Control.Composition: (<=<) :: Monad m => b -> m c -> a -> m b -> a -> m c
+ Control.Composition: (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- Control.Composition: (>=>) :: Monad m => a -> m b -> b -> m c -> a -> m c
+ Control.Composition: (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- Control.Composition: fix :: () => a -> a -> a
+ Control.Composition: fix :: () => (a -> a) -> a
- Control.Composition: on :: () => b -> b -> c -> a -> b -> a -> a -> c
+ Control.Composition: on :: () => (b -> b -> c) -> (a -> b) -> a -> a -> c

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ # composition-prelude +# 2.0.2.0++  * Add `$.`+ # 2.0.1.0    * Add `dup` for tuples
composition-prelude.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: composition-prelude-version: 2.0.1.0+version: 2.0.2.0 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2017-2018 Vanessa McHale
src/Control/Composition.hs view
@@ -29,6 +29,7 @@     , (-$)     -- * Monadic helpers     , bisequence'+    , (.$)     -- * Monadic actions     , axe     , biaxe@@ -65,6 +66,7 @@ infixr 8 -.** infixr 8 -.*** infixr 8 -.****+infixl 3 .$ infixl 8 -$ infixl 8 ~@~ infixl 8 <~@~<@@ -91,6 +93,18 @@  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 '"')+(.$) :: Monad m => m (m a) -> m a+(.$) = join  -- | Backwards function application (-$) :: (a -> b -> c) -> b -> a -> c