MaybeT 0.1.1 → 0.1.2

raw patch · 2 files changed

+11/−2 lines, 2 filesnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Maybe: instance (Functor m) => Functor (MaybeT m)

- Control.Monad.Maybe: instance (Monad m) => Monad (MaybeT m)

- Control.Monad.Maybe: instance (MonadCont m) => MonadCont (MaybeT m)

- Control.Monad.Maybe: instance (MonadFix m) => MonadFix (MaybeT m)

- Control.Monad.Maybe: instance (MonadIO m) => MonadIO (MaybeT m)

- Control.Monad.Maybe: instance (MonadReader r m) => MonadReader r (MaybeT m)

- Control.Monad.Maybe: instance (MonadState s m) => MonadState s (MaybeT m)

- Control.Monad.Maybe: instance (MonadWriter w m) => MonadWriter w (MaybeT m)

+ Control.Monad.Maybe: instance Functor m => Functor (MaybeT m)

+ Control.Monad.Maybe: instance Monad m => Monad (MaybeT m)

+ Control.Monad.Maybe: instance Monad m => MonadPlus (MaybeT m)

+ Control.Monad.Maybe: instance MonadCont m => MonadCont (MaybeT m)

+ Control.Monad.Maybe: instance MonadFix m => MonadFix (MaybeT m)

+ Control.Monad.Maybe: instance MonadIO m => MonadIO (MaybeT m)

+ Control.Monad.Maybe: instance MonadReader r m => MonadReader r (MaybeT m)

+ Control.Monad.Maybe: instance MonadState s m => MonadState s (MaybeT m)

+ Control.Monad.Maybe: instance MonadWriter w m => MonadWriter w (MaybeT m)

Files

Control/Monad/Maybe.hs +8/−0
MaybeT.cabal +3/−2

Control/Monad/Maybe.hs view

@@ -50,6 +50,14 @@   return = lift . return   x >>= f = MaybeT (runMaybeT x >>= maybe (return Nothing) (runMaybeT . f)) +instance (Monad m) => MonadPlus (MaybeT m) where+  mzero = MaybeT (return Nothing)+  mplus x y = MaybeT $ do v <- runMaybeT x+                          case v of+                            Nothing -> runMaybeT y+                            Just _  -> return v++ instance MonadTrans MaybeT where   lift x = MaybeT (liftM Just x)

MaybeT.cabal view

@@ -1,5 +1,5 @@ Name:                MaybeT-Version:             0.1.1+Version:             0.1.2 Synopsis:            MaybeT monad transformer Description:         Support for computations with failures. License:             BSD3@@ -8,6 +8,7 @@ Author:              Eric Kidd <haskell@randomhacks.net> Maintainer:          Eric Kidd <haskell@randomhacks.net> Stability:           experimental+Build-Type:          Simple Build-Depends:       base, mtl Exposed-modules:     Control.Monad.Maybe-ghc-options:         -Wall -O+ghc-options:         -Wall