Dangerous 0.2.3 → 0.3

raw patch · 2 files changed

+17/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Dangerous.cabal +1/−1
• src/Control/Dangerous.hs +16/−0

@@ -1,5 +1,5 @@ Name:          Dangerous-Version:       0.2.3+Version:       0.3 License:       MIT License-file:  LICENSE Category:      Error Handling

@@ -17,6 +17,7 @@   import Prelude hiding ( log )+import Control.Applicative import Control.Arrow import Control.Monad.Trans import System.Exit@@ -81,6 +82,14 @@     fmap f (Dangerous (Right v, ws)) = Dangerous (Right (f v), ws)     fmap _ (Dangerous (Left e, ws)) = Dangerous (Left e, ws) +instance Applicative Dangerous where+    pure x = Dangerous (Right x, [])+    (Dangerous (Left e, ws)) <*> _ = Dangerous (Left e, ws)+    (Dangerous (Right _, ws)) <*> (Dangerous (Left e, ws')) =+        Dangerous (Left e, ws ++ ws')+    (Dangerous (Right f, ws)) <*> (Dangerous (Right x, ws')) =+        Dangerous (Right $ f x, ws ++ ws')+ instance Monad Dangerous where     fail s = Dangerous (Left $ Failure s, [])     return x = Dangerous (Right x, [])@@ -96,6 +105,13 @@ -- The Dangerous Monad Transformer data DangerousT m a = DangerousT {     runDangerousT :: m (Either Exit a, [Warning]) }++instance (Applicative f, Monad f) => Applicative (DangerousT f) where+    pure f = DangerousT $ pure (Right f, [])+    (DangerousT ff) <*> (DangerousT fa) = DangerousT $ thread <$> ff <*> fa where+        thread (Left e, ws) _ = (Left e, ws)+        thread (Right _, ws) (Left e, ws') = (Left e, ws ++ ws')+        thread (Right f, ws) (Right x, ws') = (Right $ f x, ws ++ ws')  instance (Functor m) => Functor (DangerousT m) where     fmap f (DangerousT mapable) = DangerousT (fmap (first apply) mapable) where