packages feed

endo 0.3.0.0 → 0.3.0.1

raw patch · 3 files changed

+20/−5 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Monoid.Endo.AnEndo: instance (Data.Data.Data (f a), Data.Typeable.Internal.Typeable a, Data.Typeable.Internal.Typeable f) => Data.Data.Data (Data.Monoid.Endo.AnEndo.WrappedFoldable f a)
- Data.Monoid.Endo.AnEndo: instance Data.Functor.Classes.Eq1 f => Data.Functor.Classes.Eq1 (Data.Monoid.Endo.AnEndo.WrappedFoldable f)
- Data.Monoid.Endo.AnEndo: instance Data.Functor.Classes.Ord1 f => Data.Functor.Classes.Ord1 (Data.Monoid.Endo.AnEndo.WrappedFoldable f)
- Data.Monoid.Endo.AnEndo: instance Data.Functor.Classes.Read1 f => Data.Functor.Classes.Read1 (Data.Monoid.Endo.AnEndo.WrappedFoldable f)
- Data.Monoid.Endo.AnEndo: instance Data.Functor.Classes.Show1 f => Data.Functor.Classes.Show1 (Data.Monoid.Endo.AnEndo.WrappedFoldable f)
- Data.Monoid.Endo.AnEndo: instance Data.Monoid.Endo.AnEndo.AnEndo a => Data.Monoid.Endo.AnEndo.AnEndo (Data.Semigroup.Option a)
- Data.Monoid.Endo.AnEndo: type family EndoOperatesOn a;
- Data.Monoid.Endo.AnEndo: }
- Data.Monoid.Endo.Apply: instance (Data.Data.Data (f a), Data.Typeable.Internal.Typeable a, Data.Typeable.Internal.Typeable t, Data.Typeable.Internal.Typeable f) => Data.Data.Data (Data.Monoid.Endo.Apply.ApplyEndo t f a)
- Data.Monoid.Endo.Apply: instance Data.Functor.Classes.Eq1 f => Data.Functor.Classes.Eq1 (Data.Monoid.Endo.Apply.ApplyEndo t f)
- Data.Monoid.Endo.Apply: instance Data.Functor.Classes.Ord1 f => Data.Functor.Classes.Ord1 (Data.Monoid.Endo.Apply.ApplyEndo t f)
- Data.Monoid.Endo.Apply: instance Data.Functor.Classes.Read1 f => Data.Functor.Classes.Read1 (Data.Monoid.Endo.Apply.ApplyEndo t f)
- Data.Monoid.Endo.Apply: instance Data.Functor.Classes.Show1 f => Data.Functor.Classes.Show1 (Data.Monoid.Endo.Apply.ApplyEndo t f)
- Data.Monoid.Endo.Fold: infixl 1 <&$>
- Data.Monoid.Endo.Fold: instance (GHC.Base.Monoid c, Data.Monoid.Endo.Fold.FoldEndoArgs r) => Data.Monoid.Endo.Fold.FoldEndoArgs (Data.Functor.Const.Const c r)
- Data.Monoid.Endo.Fold: type family EndoOperatesOn a;
- Data.Monoid.Endo.Fold: }
- Data.Monoid.Endo.FromEndo: type family EndoOperatedOn a;
- Data.Monoid.Endo.FromEndo: }
+ Data.Monoid.Endo.AnEndo: instance (Data.Data.Data (f a), Data.Typeable.Internal.Typeable f, Data.Typeable.Internal.Typeable a) => Data.Data.Data (Data.Monoid.Endo.AnEndo.WrappedFoldable f a)
+ Data.Monoid.Endo.AnEndo: instance GHC.Generics.Constructor Data.Monoid.Endo.AnEndo.C1_0WrappedFoldable
+ Data.Monoid.Endo.AnEndo: instance GHC.Generics.Datatype Data.Monoid.Endo.AnEndo.D1WrappedFoldable
+ Data.Monoid.Endo.AnEndo: instance GHC.Generics.Selector Data.Monoid.Endo.AnEndo.S1_0_0WrappedFoldable
+ Data.Monoid.Endo.Apply: instance (Data.Data.Data (f a), Data.Typeable.Internal.Typeable f, Data.Typeable.Internal.Typeable t, Data.Typeable.Internal.Typeable a) => Data.Data.Data (Data.Monoid.Endo.Apply.ApplyEndo t f a)
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Constructor Data.Monoid.Endo.Apply.C1_0ApplyEndo
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1ApplyEndo
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1Def
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1Mempty
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1Modify
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1Modify'
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Datatype Data.Monoid.Endo.Apply.D1Reader
+ Data.Monoid.Endo.Apply: instance GHC.Generics.Selector Data.Monoid.Endo.Apply.S1_0_0ApplyEndo
+ Data.Monoid.Endo.Fold: instance (GHC.Base.Monoid c, Data.Monoid.Endo.Fold.FoldEndoArgs r) => Data.Monoid.Endo.Fold.FoldEndoArgs (Control.Applicative.Const c r)
- Data.Monoid.Endo.AnEndo: class AnEndo a where type EndoOperatesOn a anEndo = getDual . aDualEndo aDualEndo = Dual . anEndo where {
+ Data.Monoid.Endo.AnEndo: class AnEndo a where type family EndoOperatesOn a anEndo = getDual . aDualEndo aDualEndo = Dual . anEndo
- Data.Monoid.Endo.Fold: class AnEndo a where type EndoOperatesOn a anEndo = getDual . aDualEndo aDualEndo = Dual . anEndo where {
+ Data.Monoid.Endo.Fold: class AnEndo a where type family EndoOperatesOn a anEndo = getDual . aDualEndo aDualEndo = Dual . anEndo
- Data.Monoid.Endo.Fold: class FoldEndoArgs a where type ResultOperatesOn a type Result a where {
+ Data.Monoid.Endo.Fold: class FoldEndoArgs a where type family ResultOperatesOn a type family Result a
- Data.Monoid.Endo.FromEndo: class FromEndo a where type EndoOperatedOn a fromDualEndo = fromEndo . getDual where {
+ Data.Monoid.Endo.FromEndo: class FromEndo a where type family EndoOperatedOn a fromDualEndo = fromEndo . getDual

Files

ChangeLog.md view
@@ -1,6 +1,14 @@ # ChangeLog / ReleaseNotes  +## Version 0.3.0.1++* Using CPP to get rid of redundant import warning when compiled without+  `Data.Functor.Classes`, i.e. when compiled with base <4.9 and+  [transformers][] <0.5. (**minor change**)+* Uploaded to [Hackage][]: <http://hackage.haskell.org/package/endo-0.3.0.1>++ ## Version 0.3.0.0  * Introducing type `:->` to simplify type signatures of endomorphism folding@@ -17,8 +25,8 @@   module `Data.Monoid.Endo.Apply` that also provides various helper functions   and type class instances. (**new**) * Providing `Eq1`, `Ord1`, `Read1` and `Show1` instances if built with-  [transformers package][transformers] >=0.5 or base >=4.9 (i.e. GHC-  >=8.0.1) is available. (**new**)+  [transformers package][transformers] >=0.5 or base >=4.9 (i.e.+  GHC >=8.0.1) is available. (**new**) * Providing `Generic1` instance for `WrappedFoldable`. (**new**) * Introducing `instance AnEndo a => AnEndo (Option a)`, but only when compiled   with base >=4.9, since that is the first version of base which contains
endo.cabal view
@@ -1,5 +1,5 @@ name:                   endo-version:                0.3.0.0+version:                0.3.0.1 synopsis:               Endomorphism utilities. description:   Package defines extra functions for 'Data.Monoid.Endo' data type, and also@@ -149,4 +149,4 @@ source-repository this   type:                 git   location:             git://github.com/trskop/endo.git-  tag:                  0.3.0.0+  tag:                  0.3.0.1
src/Data/Monoid/Endo/AnEndo.hs view
@@ -53,7 +53,14 @@ import Control.Applicative (Applicative) import Control.Monad (Monad) import Data.Foldable (Foldable(foldMap))-import Data.Function (($), (.), id)+import Data.Function+    ( (.)+#ifdef HAVE_FUNCTOR_CLASSES+    -- This is to supress redundant import warning.+    , ($)+#endif+    , id+    ) import Data.Functor (Functor) #ifdef HAVE_FUNCTOR_CLASSES import Data.Functor.Classes