distributive 0.6.1 → 0.6.2

raw patch · 3 files changed

+10/−2 lines, 3 filesdep ~doctestPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: doctest

API changes (from Hackage documentation)

Files

• CHANGELOG.markdown +4/−0
• distributive.cabal +1/−1
• src/Data/Distributive.hs +5/−1

@@ -1,3 +1,7 @@+0.6.2 [2020.04.10]+------------------+* Make the `Distributive` instance for `Tagged` poly-kinded.+ 0.6.1 [2019.09.06] ------------------ * Add a `Distributive` instance for `WrappedMonad m`.

@@ -1,6 +1,6 @@ name:          distributive category:      Data Structures-version:       0.6.1+version:       0.6.2 license:       BSD3 cabal-version: >= 1.8 license-file:  LICENSE

@@ -6,6 +6,10 @@ {-# LANGUAGE Trustworthy #-} #endif +#if __GLASGOW_HASKELL__ >= 706+{-# LANGUAGE PolyKinds #-}+#endif+ ----------------------------------------------------------------------------- -- | -- Module      :  Data.Distributive@@ -66,7 +70,7 @@ -- some Coapplicative class. Categorically every 'Distributive' -- functor is actually a right adjoint, and so it must be 'Representable' -- endofunctor and preserve all limits. This is a fancy way of saying it--- isomorphic to @(->) x@ for some x.+-- is isomorphic to @(->) x@ for some x. -- -- To be distributable a container will need to have a way to consistently -- zip a potentially infinite number of copies of itself. This effectively