composition-prelude 1.5.0.7 → 1.5.0.8
raw patch · 2 files changed
+8/−7 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Control.Composition: axe :: (Traversable t, Monad m) => t (a -> m ()) -> a -> m ()
+ Control.Composition: axe :: (Traversable t, Applicative f) => t (a -> f ()) -> a -> f ()
- Control.Composition: biaxe :: (Traversable t, Monad m) => t (a -> b -> m ()) -> a -> b -> m ()
+ Control.Composition: biaxe :: (Traversable t, Applicative f) => t (a -> b -> f ()) -> a -> b -> f ()
- Control.Composition: bisequence' :: (Traversable t, Monad m) => t (a -> b -> m c) -> a -> b -> t (m c)
+ Control.Composition: bisequence' :: (Traversable t, Applicative f) => t (a -> b -> f c) -> a -> b -> t (f c)
Files
composition-prelude.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.18 name: composition-prelude-version: 1.5.0.7+version: 1.5.0.8 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2017-2018 Vanessa McHale
src/Control/Composition.hs view
@@ -30,6 +30,7 @@ import Control.Arrow ((***)) import Control.Monad+import Data.Foldable (sequenceA_) import Data.Function (fix, on, (&)) import Data.Functor ((<&>)) @@ -43,14 +44,14 @@ infixr 8 -.**** infixl 8 -$ -axe :: (Traversable t, Monad m) => t (a -> m ()) -> a -> m ()-axe = sequence_ .* sequence+axe :: (Traversable t, Applicative f) => t (a -> f ()) -> a -> f ()+axe = sequenceA_ .* sequenceA -bisequence' :: (Traversable t, Monad m) => t (a -> b -> m c) -> a -> b -> t (m c)-bisequence' = sequence .* sequence+bisequence' :: (Traversable t, Applicative f) => t (a -> b -> f c) -> a -> b -> t (f c)+bisequence' = sequenceA .* sequenceA -biaxe :: (Traversable t, Monad m) => t (a -> b -> m ()) -> a -> b -> m ()-biaxe = sequence_ .** bisequence'+biaxe :: (Traversable t, Applicative f) => t (a -> b -> f ()) -> a -> b -> f ()+biaxe = sequenceA_ .** bisequence' both :: (a -> b) -> (a, a) -> (b, b) both = join (***)