From ad5e321babccc2f81c71458319f98b5659ddb8da Mon Sep 17 00:00:00 2001 From: "John C. Carey" Date: Thu, 11 Jun 2020 16:56:11 -0700 Subject: [PATCH] 0.6.0.0 support data-diverse-3.0.0.0 --- parameterized.cabal | 4 ++-- test/Parameterized/Control/Monad/Trans/Reader/ReaderSpec.hs | 4 ++-- .../Control/Monad/Trans/State/Strict/StateSpec.hs | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/parameterized.cabal b/parameterized.cabal index b6d9cf8..c2b5249 100644 --- a/parameterized.cabal +++ b/parameterized.cabal @@ -1,5 +1,5 @@ name: parameterized -version: 0.5.0.0 +version: 0.6.0.0 synopsis: Parameterized/indexed monoids and monads using only a single parameter type variable. description: Parameterized/indexed monoids and monads using only a single parameter type variable. @@ -25,7 +25,7 @@ library Parameterized.Control.Monad.Trans.Reader Parameterized.Control.Monad.Trans.State.Strict build-depends: base >= 4.7 && < 5 - , data-diverse >= 2.0.0.0 + , data-diverse >= 3.0.0.0 , transformers >= 0.5.2.0 ghc-options: -Wall default-language: Haskell2010 diff --git a/test/Parameterized/Control/Monad/Trans/Reader/ReaderSpec.hs b/test/Parameterized/Control/Monad/Trans/Reader/ReaderSpec.hs index a39d181..1999e57 100644 --- a/test/Parameterized/Control/Monad/Trans/Reader/ReaderSpec.hs +++ b/test/Parameterized/Control/Monad/Trans/Reader/ReaderSpec.hs @@ -91,7 +91,7 @@ whichIntBoolStringReader = do manyIntMaybeReader :: ReaderT (Many '[Int]) Maybe String manyIntMaybeReader = do a <- ask - let r = fetch @Int a + let r = grab @Int a case r of 0 -> empty r' -> pure $ show r' @@ -99,7 +99,7 @@ manyIntMaybeReader = do manyBoolMaybeReader :: ReaderT (Many '[Bool]) Maybe String manyBoolMaybeReader = do a <- ask - let r = fetch @Bool a + let r = grab @Bool a case r of False -> empty r' -> pure $ show r' diff --git a/test/Parameterized/Control/Monad/Trans/State/Strict/StateSpec.hs b/test/Parameterized/Control/Monad/Trans/State/Strict/StateSpec.hs index 7dfd46c..4777c13 100644 --- a/test/Parameterized/Control/Monad/Trans/State/Strict/StateSpec.hs +++ b/test/Parameterized/Control/Monad/Trans/State/Strict/StateSpec.hs @@ -26,7 +26,7 @@ main = hspec spec manyIntMaybeState :: StateT (Many '[Int]) Maybe String manyIntMaybeState= do s <- get - let r = fetch @Int s + let r = grab @Int s case r of 0 -> empty r' -> do @@ -36,7 +36,7 @@ manyIntMaybeState= do manyBoolMaybeState :: StateT (Many '[Bool]) Maybe String manyBoolMaybeState = do s <- get - let r = fetch @Bool s + let r = grab @Bool s case r of False -> empty r' -> do