failure 0.0.0.2 → 0.0.0.3

raw patch · 2 files changed

+1/−19 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Failure: instance (Exception e) => Failure e IO

- Control.Failure: instance (Exception e) => WrapFailure e IO

- Control.Failure: instance Applicative DummyMonad

- Control.Failure: instance ApplicativeFailure e DummyMonad

- Control.Failure: instance Failure e DummyMonad

- Control.Failure: instance Functor DummyMonad

- Control.Failure: instance FunctorFailure e DummyMonad

- Control.Failure: instance Monad DummyMonad

- Control.Failure: instance MonadFailure e DummyMonad

+ Control.Failure: instance Exception e => Failure e IO

+ Control.Failure: instance Exception e => WrapFailure e IO

- Control.Failure: class Try f where { type family Error f; }

+ Control.Failure: class Try f where type family Error f

- Control.Failure: class (Failure e f) => WrapFailure e f

+ Control.Failure: class Failure e f => WrapFailure e f

- Control.Failure: failure :: (Failure e f) => e -> f v

+ Control.Failure: failure :: Failure e f => e -> f v

- Control.Failure: failureString :: (Failure StringException m) => String -> m a

+ Control.Failure: failureString :: Failure StringException m => String -> m a

- Control.Failure: wrapFailure :: (WrapFailure e f) => (forall eIn. (Exception eIn) => eIn -> e) -> f a -> f a

+ Control.Failure: wrapFailure :: WrapFailure e f => (forall eIn. Exception eIn => eIn -> e) -> f a -> f a

Files

Control/Failure.hs +0/−18
failure.cabal +1/−1

Control/Failure.hs view

@@ -27,7 +27,6 @@ import Control.Exception (throw, catch, Exception, SomeException (..)) import Data.Typeable (Typeable) import Control.Applicative (Applicative (..))-import Control.Monad (liftM, ap)  class Failure e f where     failure :: e -> f v@@ -40,23 +39,6 @@ instance (Functor f, Failure e f) => FunctorFailure e f instance (Applicative f, Failure e f) => ApplicativeFailure e f instance (Monad f, Applicative f, Failure e f) => MonadFailure e f---- In order to avoid type signature pollution, we provide a single concrete--- instance of the above typeclass synonyms.-newtype DummyMonad a = DummyMonad a-instance Functor DummyMonad where-    fmap = liftM-instance Applicative DummyMonad where-    pure = return-    (<*>) = ap-instance Monad DummyMonad where-    return = DummyMonad-    (DummyMonad a) >>= f = f a-instance Failure e DummyMonad where-    failure _ = error "DummyMonad should never actually be used"-instance FunctorFailure e DummyMonad-instance ApplicativeFailure e DummyMonad-instance MonadFailure e DummyMonad  class Failure e f => WrapFailure e f where     -- | Wrap the failure value, if any, with the given function. This is

failure.cabal view

@@ -1,5 +1,5 @@ name: failure-version: 0.0.0.2+version: 0.0.0.3 Cabal-Version:  >= 1.6 build-type: Simple license: PublicDomain