conceit 0.2.0.0 → 0.2.1.0

raw patch · 3 files changed

+11/−4 lines, 3 filesdep +transformers

Dependencies added: transformers

Files

• CHANGELOG +6/−0
• conceit.cabal +3/−2
• src/Control/Concurrent/Conceit.hs +2/−2

@@ -1,3 +1,9 @@+0.2.1.0+=======+    - Now >> behaves differently from the concurrent *>, and sequences its+      arguments. It makes more sense for the monad. This is what Haxl does as+      well. +     0.2.0.0 =======     - Internal changes that remove the necessity for (Show e,Typeable e)

@@ -1,5 +1,5 @@ name:          conceit-version:       0.2.0.0+version:       0.2.1.0 license:       BSD3 license-file:  LICENSE data-files:    @@ -27,7 +27,8 @@         bifunctors >= 4.1 && < 5,         void >= 0.6 && < 0.7,         exceptions >= 0.6 && < 0.7,-        mtl >=2.0 && <2.3 +        mtl >=2.0 && <2.3,+        transformers >=0.2 && < 0.5  Source-repository head     type:     git

@@ -19,6 +19,7 @@ import Data.Void import Control.Applicative  import Control.Monad+import Control.Monad.IO.Class import qualified Control.Monad.Catch as Ex import Control.Exception  import Control.Concurrent@@ -61,7 +62,7 @@    mempty = Conceit . pure . pure $ mempty    mappend c1 c2 = (<>) <$> c1 <*> c2 --- | `>>` is concurrent.+-- | `>>` sequences its arguments. instance Monad (Conceit e) where    return = pure    f >>= k = Conceit $ do@@ -69,7 +70,6 @@       case x of           Left e -> return $ Left e                                Right r -> runConceit $ k r-   f >> k = f *> k  instance MonadPlus (Conceit e) where    mzero = empty