packages feed

newtype-generics 0.5.3 → 0.5.4

raw patch · 5 files changed

+29/−22 lines, 5 filesdep +gaugedep −criteriondep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: gauge

Dependencies removed: criterion

Dependency ranges changed: base

API changes (from Hackage documentation)

- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Alt f a)
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Dual a)
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Endo a)
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Product a)
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Sum a)
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype Data.Monoid.All
- Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype Data.Monoid.Any
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Monoid.Ap f a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Semigroup.Internal.Alt f a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Semigroup.Internal.Dual a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Semigroup.Internal.Endo a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Semigroup.Internal.Product a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype (Data.Semigroup.Internal.Sum a)
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype Data.Semigroup.Internal.All
+ Control.Newtype.Generics: instance Control.Newtype.Generics.Newtype Data.Semigroup.Internal.Any
- Control.Newtype.Generics: ala :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> ((o -> n) -> b -> n') -> (b -> o')
+ Control.Newtype.Generics: ala :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> ((o -> n) -> b -> n') -> b -> o'
- Control.Newtype.Generics: ala' :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> ((a -> n) -> b -> n') -> (a -> o) -> (b -> o')
+ Control.Newtype.Generics: ala' :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> ((a -> n) -> b -> n') -> (a -> o) -> b -> o'
- Control.Newtype.Generics: over :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (o -> o') -> (n -> n')
+ Control.Newtype.Generics: over :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (o -> o') -> n -> n'
- Control.Newtype.Generics: over2 :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (o -> o -> o') -> (n -> n -> n')
+ Control.Newtype.Generics: over2 :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (o -> o -> o') -> n -> n -> n'
- Control.Newtype.Generics: overF :: (Newtype n, Newtype n', o' ~ O n', o ~ O n, Functor f, Functor g) => (o -> n) -> (f o -> g o') -> (f n -> g n')
+ Control.Newtype.Generics: overF :: (Newtype n, Newtype n', o' ~ O n', o ~ O n, Functor f, Functor g) => (o -> n) -> (f o -> g o') -> f n -> g n'
- Control.Newtype.Generics: under :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (n -> n') -> (o -> o')
+ Control.Newtype.Generics: under :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (n -> n') -> o -> o'
- Control.Newtype.Generics: under2 :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (n -> n -> n') -> (o -> o -> o')
+ Control.Newtype.Generics: under2 :: (Newtype n, Newtype n', o' ~ O n', o ~ O n) => (o -> n) -> (n -> n -> n') -> o -> o -> o'
- Control.Newtype.Generics: underF :: (Newtype n, Newtype n', o' ~ O n', o ~ O n, Functor f, Functor g) => (o -> n) -> (f n -> g n') -> (f o -> g o')
+ Control.Newtype.Generics: underF :: (Newtype n, Newtype n', o' ~ O n', o ~ O n, Functor f, Functor g) => (o -> n) -> (f n -> g n') -> f o -> g o'

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ # Changelog for `newtype-generics` +## [0.5.4] – 2019-09-10+- Add `Newtype` instance for `Data.Monoid.Ap`.+- Support GHC-8.8.+ ## [0.5.3] – 2018-03-23 - All code was moved to a new `Control.Newtype.Generics` module. - `Control.Newtype` re-exports `Control.Newtype.Generics`, but is deprecated@@ -32,9 +36,10 @@ - Relax types of `underF` and `overF` to allow different input & output functors  -[Unreleased]: https://github.com/jcristovao/newtype-generics/compare/v0.5.3...HEAD-[0.5.3]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2.2...v0.5.3-[0.5.2.2]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2.1...v0.5.2.2-[0.5.2.1]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2...v0.5.2.1-[0.5.2]: https://github.com/jcristovao/newtype-generics/compare/v0.5.1...v0.5.2-[0.5.1]: https://github.com/jcristovao/newtype-generics/compare/v0.5.0.1...v0.5.1+[Unreleased]: https://github.com/sjakobi/newtype-generics/compare/v0.5.4...HEAD+[0.5.4]: https://github.com/sjakobi/newtype-generics/compare/v0.5.3...v0.5.4+[0.5.3]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2.2...v0.5.3+[0.5.2.2]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2.1...v0.5.2.2+[0.5.2.1]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2...v0.5.2.1+[0.5.2]: https://github.com/sjakobi/newtype-generics/compare/v0.5.1...v0.5.2+[0.5.1]: https://github.com/sjakobi/newtype-generics/compare/v0.5.0.1...v0.5.1
Control/Newtype/Generics.hs view
@@ -324,6 +324,14 @@   unpack (Alt x) = x #endif +#if MIN_VERSION_base(4,12,0)+-- | @since Unreleased+instance Newtype (Ap f a) where+  type O (Ap f a) = f a+  pack = Ap+  unpack = getAp+#endif+ -- Instances from Data.Ord  -- | @since 0.5.1
− README.md 
@@ -1,7 +0,0 @@-newtype-generics-================--# bsb-http-chunked--[![Build Status](https://travis-ci.org/sjakobi/newtype-generics.svg?branch=master)](https://travis-ci.org/sjakobi/newtype-generics)-[![Hackage](https://img.shields.io/hackage/v/newtype-generics.svg)](http://hackage.haskell.org/package/newtype-generics)
bench/main.hs view
@@ -2,8 +2,7 @@ {-# language TypeFamilies #-} module Main where -import Criterion-import Criterion.Main+import Gauge import Control.Newtype.Generics import Data.Coerce import Data.Foldable (foldMap)
newtype-generics.cabal view
@@ -1,5 +1,5 @@ Name:                newtype-generics-Version:             0.5.3+Version:             0.5.4 Synopsis:            A typeclass and set of functions for working with newtypes Description:         Per Conor McBride, the Newtype typeclass represents the packing and unpacking of a newtype,                      and allows you to operate under that newtype with functions such as ala.@@ -9,14 +9,16 @@ License-file:        LICENSE Author:              Darius Jahandarie, Conor McBride, João Cristóvão, Simon Jakobi Maintainer:          Simon Jakobi <simon.jakobi@gmail.com>-Homepage:            http://github.com/sjakobi/bsb-http-chunked+Homepage:            http://github.com/sjakobi/newtype-generics Category:            Control Build-type:          Simple-Extra-source-files:  CHANGELOG.md, README.md+Extra-source-files:  CHANGELOG.md Cabal-version:       >=1.10 Tested-with:-  GHC==8.4.1,-  GHC==8.2.1,+  GHC==8.8.1,+  GHC==8.6.5,+  GHC==8.4.4,+  GHC==8.2.2,   GHC==8.0.2,   GHC==7.10.3,   GHC==7.8.4,@@ -25,7 +27,7 @@ Library   Exposed-modules:     Control.Newtype                      , Control.Newtype.Generics-  Build-depends:       base >= 4.6 && < 4.13+  Build-depends:       base >= 4.6 && < 4.14                      , transformers < 0.6   Ghc-options: -Wall   default-language:   Haskell2010@@ -50,7 +52,7 @@   main-is:            main.hs   hs-source-dirs:     bench   build-depends:      base >= 4.7-                    , criterion+                    , gauge                     , newtype-generics                     , semigroups   ghc-options:        -O2