packages feed

notzero 0.0.7 → 0.0.8

raw patch · 3 files changed

+7/−3 lines, 3 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.AccNotZeroOr: instance Data.Functor.Alt.Alt f => Data.Functor.Bind.Class.Apply (Data.AccNotZeroOr.AccNotZeroOr f a)
- Data.AccNotZeroOr: instance Data.Functor.Alt.Alt f => GHC.Base.Applicative (Data.AccNotZeroOr.AccNotZeroOr f a)
- Data.AccNotZeroOr: instance Data.Semigroup.Semigroup (Data.AccNotZeroOr.AccNotZeroOr f a x)
- Data.AccNotZeroOr: instance GHC.Base.Functor f => GHC.Base.Functor (Data.AccNotZeroOr.AccNotZeroOr f a)
- Data.AccNotZeroOr: instance GHC.Base.Monoid x => GHC.Base.Monoid (Data.AccNotZeroOr.AccNotZeroOr f a x)
- Data.NotZero: instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.NotZero.NotZero a)
- Data.NotZero: instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.NotZero.NotZero a)
- Data.NotZero: instance GHC.Num.Num a => Data.Semigroup.Semigroup (Data.NotZero.NotZero a)
- Data.NotZero: instance GHC.Num.Num a => GHC.Base.Monoid (Data.NotZero.NotZero a)
- Data.NotZero: instance GHC.Show.Show a => GHC.Show.Show (Data.NotZero.NotZero a)
- Data.NotZeroOr: instance (Data.Functor.Bind.Class.Apply f, GHC.Base.Monad f) => Data.Functor.Bind.Class.Bind (Data.NotZeroOr.NotZeroOrT a f)
- Data.NotZeroOr: instance (GHC.Classes.Eq a, GHC.Classes.Eq x) => GHC.Classes.Eq (Data.NotZeroOr.NotZeroOr a x)
- Data.NotZeroOr: instance (GHC.Classes.Ord a, GHC.Classes.Ord x) => GHC.Classes.Ord (Data.NotZeroOr.NotZeroOr a x)
- Data.NotZeroOr: instance (GHC.Show.Show a, GHC.Show.Show x) => GHC.Show.Show (Data.NotZeroOr.NotZeroOr a x)
- Data.NotZeroOr: instance Control.Monad.Trans.Class.MonadTrans (Data.NotZeroOr.NotZeroOrT a)
- Data.NotZeroOr: instance Data.Functor.Bind.Class.Apply (Data.NotZeroOr.NotZeroOr a)
- Data.NotZeroOr: instance Data.Functor.Bind.Class.Apply f => Data.Functor.Bind.Class.Apply (Data.NotZeroOr.NotZeroOrT a f)
- Data.NotZeroOr: instance Data.Functor.Bind.Class.Bind (Data.NotZeroOr.NotZeroOr a)
- Data.NotZeroOr: instance Data.Functor.Bind.Trans.BindTrans (Data.NotZeroOr.NotZeroOrT a)
- Data.NotZeroOr: instance Data.Semigroup.Semigroup (Data.NotZeroOr.NotZeroOr a x)
- Data.NotZeroOr: instance GHC.Base.Applicative (Data.NotZeroOr.NotZeroOr a)
- Data.NotZeroOr: instance GHC.Base.Applicative f => GHC.Base.Applicative (Data.NotZeroOr.NotZeroOrT a f)
- Data.NotZeroOr: instance GHC.Base.Functor (Data.NotZeroOr.NotZeroOr a)
- Data.NotZeroOr: instance GHC.Base.Functor f => GHC.Base.Functor (Data.NotZeroOr.NotZeroOrT a f)
- Data.NotZeroOr: instance GHC.Base.Monad (Data.NotZeroOr.NotZeroOr a)
- Data.NotZeroOr: instance GHC.Base.Monad f => GHC.Base.Monad (Data.NotZeroOr.NotZeroOrT a f)
- Data.NotZeroOr: instance GHC.Base.Monoid x => GHC.Base.Monoid (Data.NotZeroOr.NotZeroOr a x)
+ Data.AccNotZeroOr: instance Alt f => Applicative (AccNotZeroOr f a)
+ Data.AccNotZeroOr: instance Alt f => Apply (AccNotZeroOr f a)
+ Data.AccNotZeroOr: instance Functor f => Functor (AccNotZeroOr f a)
+ Data.AccNotZeroOr: instance Monoid x => Monoid (AccNotZeroOr f a x)
+ Data.AccNotZeroOr: instance Semigroup (AccNotZeroOr f a x)
+ Data.NotZero: instance Eq a => Eq (NotZero a)
+ Data.NotZero: instance Num a => Monoid (NotZero a)
+ Data.NotZero: instance Num a => Semigroup (NotZero a)
+ Data.NotZero: instance Ord a => Ord (NotZero a)
+ Data.NotZero: instance Show a => Show (NotZero a)
+ Data.NotZeroOr: instance (Apply f, Monad f) => Bind (NotZeroOrT a f)
+ Data.NotZeroOr: instance (Eq a, Eq x) => Eq (NotZeroOr a x)
+ Data.NotZeroOr: instance (Ord a, Ord x) => Ord (NotZeroOr a x)
+ Data.NotZeroOr: instance (Show a, Show x) => Show (NotZeroOr a x)
+ Data.NotZeroOr: instance Applicative (NotZeroOr a)
+ Data.NotZeroOr: instance Applicative f => Applicative (NotZeroOrT a f)
+ Data.NotZeroOr: instance Apply (NotZeroOr a)
+ Data.NotZeroOr: instance Apply f => Apply (NotZeroOrT a f)
+ Data.NotZeroOr: instance Bind (NotZeroOr a)
+ Data.NotZeroOr: instance BindTrans (NotZeroOrT a)
+ Data.NotZeroOr: instance Functor (NotZeroOr a)
+ Data.NotZeroOr: instance Functor f => Functor (NotZeroOrT a f)
+ Data.NotZeroOr: instance Monad (NotZeroOr a)
+ Data.NotZeroOr: instance Monad f => Monad (NotZeroOrT a f)
+ Data.NotZeroOr: instance MonadTrans (NotZeroOrT a)
+ Data.NotZeroOr: instance Monoid x => Monoid (NotZeroOr a x)
+ Data.NotZeroOr: instance Semigroup (NotZeroOr a x)

Files

changelog view
@@ -1,3 +1,7 @@+0.0.8++* Change use of `fmap` to `liftM` for older GHC versions.+ 0.0.7  * Fix invariant break in `notZeroElse`.
notzero.cabal view
@@ -1,5 +1,5 @@ name:               notzero-version:            0.0.7+version:            0.0.8 license:            BSD3 license-file:       LICENSE author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>
src/Data/NotZeroOr.hs view
@@ -13,7 +13,7 @@ import Control.Applicative(Applicative(pure, (<*>)), liftA2) import Control.Category(Category((.))) import Control.Lens(Prism, prism, Iso, iso, (^?))-import Control.Monad(Monad(return, (>>=)))+import Control.Monad(Monad(return, (>>=)), liftM) import Control.Monad.Trans.Class(MonadTrans(lift)) import Data.Either(Either(Left, Right)) import Data.Eq(Eq)@@ -190,4 +190,4 @@  instance MonadTrans (NotZeroOrT a) where   lift =-    NotZeroOrT . fmap OrNotZero+    NotZeroOrT . liftM OrNotZero