data-diverse-lens 3.0.0.1 → 3.0.0.2

raw patch · 3 files changed

+9/−5 lines, 3 files

Files

• README.md +3/−0
• data-diverse-lens.cabal +1/−1
• src/Data/Diverse/Profunctor/Which.hs +5/−4

@@ -7,6 +7,9 @@  # Changelog +* 3.0.0.2+  - Fixed haddock.+ * 3.0.0.1   - Fixed GHC 8.2.2 "Type indexes must match class instance head" compile error. 

@@ -1,5 +1,5 @@ name:                data-diverse-lens-version:             3.0.0.1+version:             3.0.0.2 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.

@@ -91,10 +91,11 @@ injectedK f = runKleisli . injected $ Kleisli f  -- | A friendlier constraint synonym for 'chooseBoth'.+-- Redundant constraint: @b3 ~ AppendUnique b1 b2@ is redundant but narrows down @b3@ type ChooseBoth b1 b2 b3 =     ( Diversify b1 b3     , Diversify b2 b3-    , b3 ~ AppendUnique b1 b2 -- ^ Redundant constraint: but narrows down @b3@+    , b3 ~ AppendUnique b1 b2     )  -- chooseBoth ::@@ -109,11 +110,11 @@ -- infixr 2 `chooseBoth` -- like +++  -- | A friendlier constraint synonym for 'chooseFrom'.+-- Redundant constraint: @a3 ~ Append a1 a2@ is redundant but narrows down @a3@ type ChooseFrom a1 a2 a3 =-    -- ( Reinterpreted a2 a3 a1 -- a1 ~ Complement a3 a2-    ( Reinterpret a2 a3-- a1 ~ Complement a3 a2+    ( Reinterpret a2 a3     , a1 ~ Complement a3 a2-    , a3 ~ Append a1 a2 -- ^ Redundant constraint: but narrows down @a3@+    , a3 ~ Append a1 a2     )  -- -- | A friendlier constraint synonym for 'chooseBetween'.