packages feed

data-diverse-lens 2.0.0.0 → 2.0.0.1

raw patch · 4 files changed

+14/−3 lines, 4 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

+ Data.Diverse.Profunctor.Many: type Itemized w a b s t = (Profunctor w, Strong w, HasItem a b s t, HasItem' a s)
+ Data.Diverse.Profunctor.Many: type Projected w a1 a2 b1 b2 = (Profunctor w, Strong w, Select a1 a2, Amend a1 b1 a2, b2 ~ Replaces a1 b1 a2)
+ Data.Diverse.Profunctor.Many: type SelectWith w a1 a2 a3 b1 b2 b3 = (Category w, Profunctor w, Strong w, Select a1 (AppendUnique a1 a2), Select a2 (AppendUnique a1 a2), a3 ~ AppendUnique a1 a2, b3 ~ Append b1 b2)
+ Data.Diverse.Profunctor.Many: type ThenSelect w a2 b1 b2 b3 = (Category w, Profunctor w, Strong w, Select (Complement b1 a2) b1, Select a2 b1, b3 ~ Append (Complement b1 a2) b2)
+ Data.Diverse.Profunctor.Which: type AlsoChoose w a2 b1 b2 b3 = (Category w, Injected w a2 b1 b2 b3)
+ Data.Diverse.Profunctor.Which: type ChooseBetween w a1 a2 a3 b1 b2 b3 = (Category w, Profunctor w, Choice w, Reinterpret a2 (Append a1 a2), a1 ~ Complement (Append a1 a2) a2, a3 ~ Append a1 a2, Diversify b1 (AppendUnique b1 b2), Diversify b2 (AppendUnique b1 b2), b3 ~ AppendUnique b1 b2)
+ Data.Diverse.Profunctor.Which: type Faceted w a as x b bs y = (Profunctor w, Choice w, MatchingFacet a x y, AsFacet b y)
+ Data.Diverse.Profunctor.Which: type Injected w a a' b b' = (Profunctor w, Choice w, Reinterpret a a', Diversify b (AppendUnique (Complement a' a) b), Diversify (Complement a' a) (AppendUnique (Complement a' a) b), b' ~ AppendUnique (Complement a' a) b, Complement a a' ~ '[])

Files

README.md view
@@ -8,6 +8,9 @@  # Changelog +* 2.0.0.1+  - Forgot to expose constraint synonyms for Projected/Injected.+ * 2.0.0.0   - Breaking change: Removed HasProject and AsInject typeclasses and changed them back to functions.   - Added 'MatchingFacet' typeclasses for polymorphic 'matching' of prisms.
data-diverse-lens.cabal view
@@ -1,5 +1,5 @@ name:                data-diverse-lens-version:             2.0.0.0+version:             2.0.0.1 synopsis:            Isos & Lens for Data.Diverse.Many and Prisms for Data.Diverse.Which description:         Isos & Lens for Data.Diverse.Many and Prisms for Data.Diverse.Which                      Refer to [ManySpec.hs](https://github.com/louispan/data-diverse-lens/blob/master/test/Data/Diverse/Lens/ManySpec.hs) and [WhichSpec.hs](https://github.com/louispan/data-diverse-lens/blob/master/test/Data/Diverse/Lens/WhichSpec.hs) for example usages.
src/Data/Diverse/Profunctor/Many.hs view
@@ -10,10 +10,14 @@  module Data.Diverse.Profunctor.Many (       -- * Combinators similar to Profunctor Strong-      itemized+      Itemized+    , itemized     , itemized'+    , Projected     , projected+    , SelectWith     , (*&&*)+    , ThenSelect     , (>&&>)     , (<&&<)     ) where
src/Data/Diverse/Profunctor/Which.hs view
@@ -10,10 +10,14 @@  module Data.Diverse.Profunctor.Which (       -- * Combinators similar to Profunctor Choice-      faceted+      Faceted+    , faceted     , faceted'+    , Injected     , injected+    , ChooseBetween     , (+||+)+    , AlsoChoose     , (>||>)     , (<||<)     ) where