UtilityTM 0.0.2 → 0.0.3

raw patch · 2 files changed

+6/−6 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.TM: (.=<<.) :: (Monad q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)

+ Control.Monad.TM: (.=<<.) :: (Applicative q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)

- Control.Monad.TM: (.>>=.) :: (Monad q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)

+ Control.Monad.TM: (.>>=.) :: (Applicative q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)

Files

UtilityTM.cabal +1/−1
src/Control/Monad/TM.hs +5/−5

UtilityTM.cabal view

@@ -1,5 +1,5 @@ Name:               UtilityTM-Version:            0.0.2+Version:            0.0.3 License:            BSD3 License-File:       LICENSE Author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>

src/Control/Monad/TM.hs view

@@ -7,22 +7,22 @@ , allM ) where +import Control.Applicative import Data.Traversable-import Control.Monad hiding (mapM)-import Prelude hiding (mapM)+import Control.Monad  -- | Lifting bind into a monad. Often denoted /concatMapM/. (.=<<.) ::-  (Monad q, Monad m, Traversable m) =>+  (Applicative q, Monad m, Traversable m) =>   (a -> q (m b))   -> m a   -> q (m b) (.=<<.) f =-  liftM join . mapM f+  fmap join . traverse f  -- | Lifting bind into a monad. Often denoted /concatMapM/. (.>>=.) ::-  (Monad q, Monad m, Traversable m) =>+  (Applicative q, Monad m, Traversable m) =>   m a   -> (a -> q (m b))   -> q (m b)