data-diverse 4.2.0.0 → 4.3.0.0

raw patch · 5 files changed

+11/−8 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• README.md +4/−1
• data-diverse.cabal +1/−1
• src/Data/Diverse/TypeLevel.hs +2/−2
• test/Data/Diverse/ManySpec.hs +2/−2
• test/Data/Diverse/WhichSpec.hs +2/−2

@@ -14,10 +14,13 @@  # Changelog +* 4.3.0.0+  - Renamed `Unconstrained` to `Unconstrained`+ * 4.2.0.0   - Added `CaseFunc1` to allow `afmap` of with `Functor`, etc.   - `Which` is now also an instance of `AFoldable`.-  - Added `NoConstraint` which is useful for `CaseFunc1` for unused constraints.+  - Added `Unconstrained` which is useful for `CaseFunc1` for unused constraints.   - Added `definitely`.  * 4.1.0.0

@@ -1,5 +1,5 @@ name:                data-diverse-version:             4.2.0.0+version:             4.3.0.0 synopsis:            Extensible records and polymorphic variants. description:         "Data.Diverse.Many" is an extensible record for any size encoded efficiently as (Seq Any).                      "Data.Diverse.Which" is a polymorphic variant of possibilities encoded as (Int, Any).

@@ -176,5 +176,5 @@ -- https://hackage.haskell.org/package/vinyl-0.6.0/docs/Data-Vinyl-TypeLevel.html#t:AllConstrained  -- | This is useful as a level function for @k@ in 'CaseFunc1'-class NoConstraint a where-instance NoConstraint a where+instance Unconstrained a where+class Unconstrained a where

@@ -336,5 +336,5 @@                 mz = (Just "5" :: Maybe String) ./ (["6"] :: [String]) ./ nil             afmap (CaseFunc' @Num (+10)) x `shouldBe` y             afmap (CaseFunc @Show @String show) x `shouldBe` z-            afmap (CaseFunc1' @NoConstraint @Functor @Num (fmap (+10))) mx `shouldBe` my-            afmap (CaseFunc1 @NoConstraint @Functor @Show @String (fmap show)) mx `shouldBe` mz+            afmap (CaseFunc1' @Unconstrained @Functor @Num (fmap (+10))) mx `shouldBe` my+            afmap (CaseFunc1 @Unconstrained @Functor @Show @String (fmap show)) mx `shouldBe` mz

@@ -282,5 +282,5 @@                 mz = pickN @1 (Just "5" :: Maybe String) :: Which '[Maybe String, Maybe String, Maybe String]             afmap (CaseFunc' @Num (+10)) x `shouldBe` y             afmap (CaseFunc @Show @String show) x `shouldBe` z-            afmap (CaseFunc1' @NoConstraint @Functor @Num (fmap (+10))) mx `shouldBe` my-            afmap (CaseFunc1 @NoConstraint @Functor @Show @String (fmap show)) mx `shouldBe` mz+            afmap (CaseFunc1' @Unconstrained @Functor @Num (fmap (+10))) mx `shouldBe` my+            afmap (CaseFunc1 @Unconstrained @Functor @Show @String (fmap show)) mx `shouldBe` mz