hw-polysemy 0.2.9.0 → 0.2.10.0

raw patch · 3 files changed

+29/−3 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- HaskellWorks.Polysemy.Hedgehog: catchAssertion :: forall r_anjl a_an4x. (Member Hedgehog r_anjl, HasCallStack) => Sem r_anjl a_an4x -> (Failure -> Sem r_anjl a_an4x) -> Sem r_anjl a_an4x

+ HaskellWorks.Polysemy.Hedgehog: catchAssertion :: forall r_anjp a_an4B. (Member Hedgehog r_anjp, HasCallStack) => Sem r_anjp a_an4B -> (Failure -> Sem r_anjp a_an4B) -> Sem r_anjp a_an4B

- HaskellWorks.Polysemy.Hedgehog: eval :: forall r_anjo a_an4y. (Member Hedgehog r_anjo, HasCallStack) => a_an4y -> Sem r_anjo a_an4y

+ HaskellWorks.Polysemy.Hedgehog: eval :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => a_an4C -> Sem r_anjs a_an4C

- HaskellWorks.Polysemy.Hedgehog: evalIO :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => IO a_an4C -> Sem r_anjs a_an4C

+ HaskellWorks.Polysemy.Hedgehog: evalIO :: forall r_anjw a_an4G. (Member Hedgehog r_anjw, HasCallStack) => IO a_an4G -> Sem r_anjw a_an4G

- HaskellWorks.Polysemy.Hedgehog: evalM :: forall r_anjq a_an4B. (Member Hedgehog r_anjq, HasCallStack) => Sem r_anjq a_an4B -> Sem r_anjq a_an4B

+ HaskellWorks.Polysemy.Hedgehog: evalM :: forall r_anju a_an4F. (Member Hedgehog r_anju, HasCallStack) => Sem r_anju a_an4F -> Sem r_anju a_an4F

- HaskellWorks.Polysemy.Hedgehog: failWith :: forall r_anju a_an4F. (Member Hedgehog r_anju, HasCallStack) => Maybe Diff -> String -> Sem r_anju a_an4F

+ HaskellWorks.Polysemy.Hedgehog: failWith :: forall r_anjy a_an4J. (Member Hedgehog r_anjy, HasCallStack) => Maybe Diff -> String -> Sem r_anjy a_an4J

- HaskellWorks.Polysemy.Hedgehog: failWithCustom :: forall r_anjx a_an4H. Member Hedgehog r_anjx => CallStack -> Maybe Diff -> String -> Sem r_anjx a_an4H

+ HaskellWorks.Polysemy.Hedgehog: failWithCustom :: forall r_anjB a_an4L. Member Hedgehog r_anjB => CallStack -> Maybe Diff -> String -> Sem r_anjB a_an4L

- HaskellWorks.Polysemy.Hedgehog: throwAssertion :: forall r_anjB a_an4J. (Member Hedgehog r_anjB, HasCallStack) => Failure -> Sem r_anjB a_an4J

+ HaskellWorks.Polysemy.Hedgehog: throwAssertion :: forall r_anjF a_an4N. (Member Hedgehog r_anjF, HasCallStack) => Failure -> Sem r_anjF a_an4N

- HaskellWorks.Polysemy.Hedgehog: writeLog :: forall r_anjD. (Member Hedgehog r_anjD, HasCallStack) => Log -> Sem r_anjD ()

+ HaskellWorks.Polysemy.Hedgehog: writeLog :: forall r_anjH. (Member Hedgehog r_anjH, HasCallStack) => Log -> Sem r_anjH ()

- HaskellWorks.Polysemy.Hedgehog.Assert: evalIO :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => IO a_an4C -> Sem r_anjs a_an4C

+ HaskellWorks.Polysemy.Hedgehog.Assert: evalIO :: forall r_anjw a_an4G. (Member Hedgehog r_anjw, HasCallStack) => IO a_an4G -> Sem r_anjw a_an4G

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: assertEquals :: forall r_anji a_X0. (Member Hedgehog r_anji, HasCallStack, Eq a_X0, Show a_X0) => a_X0 -> a_X0 -> Sem r_anji ()

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: assertEquals :: forall r_anjm a_X0. (Member Hedgehog r_anjm, HasCallStack, Eq a_X0, Show a_X0) => a_X0 -> a_X0 -> Sem r_anjm ()

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: catchAssertion :: forall r_anjl a_an4x. (Member Hedgehog r_anjl, HasCallStack) => Sem r_anjl a_an4x -> (Failure -> Sem r_anjl a_an4x) -> Sem r_anjl a_an4x

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: catchAssertion :: forall r_anjp a_an4B. (Member Hedgehog r_anjp, HasCallStack) => Sem r_anjp a_an4B -> (Failure -> Sem r_anjp a_an4B) -> Sem r_anjp a_an4B

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: eval :: forall r_anjo a_an4y. (Member Hedgehog r_anjo, HasCallStack) => a_an4y -> Sem r_anjo a_an4y

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: eval :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => a_an4C -> Sem r_anjs a_an4C

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: evalIO :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => IO a_an4C -> Sem r_anjs a_an4C

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: evalIO :: forall r_anjw a_an4G. (Member Hedgehog r_anjw, HasCallStack) => IO a_an4G -> Sem r_anjw a_an4G

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: evalM :: forall r_anjq a_an4B. (Member Hedgehog r_anjq, HasCallStack) => Sem r_anjq a_an4B -> Sem r_anjq a_an4B

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: evalM :: forall r_anju a_an4F. (Member Hedgehog r_anju, HasCallStack) => Sem r_anju a_an4F -> Sem r_anju a_an4F

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: failWith :: forall r_anju a_an4F. (Member Hedgehog r_anju, HasCallStack) => Maybe Diff -> String -> Sem r_anju a_an4F

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: failWith :: forall r_anjy a_an4J. (Member Hedgehog r_anjy, HasCallStack) => Maybe Diff -> String -> Sem r_anjy a_an4J

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: failWithCustom :: forall r_anjx a_an4H. Member Hedgehog r_anjx => CallStack -> Maybe Diff -> String -> Sem r_anjx a_an4H

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: failWithCustom :: forall r_anjB a_an4L. Member Hedgehog r_anjB => CallStack -> Maybe Diff -> String -> Sem r_anjB a_an4L

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: throwAssertion :: forall r_anjB a_an4J. (Member Hedgehog r_anjB, HasCallStack) => Failure -> Sem r_anjB a_an4J

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: throwAssertion :: forall r_anjF a_an4N. (Member Hedgehog r_anjF, HasCallStack) => Failure -> Sem r_anjF a_an4N

- HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: writeLog :: forall r_anjD. (Member Hedgehog r_anjD, HasCallStack) => Log -> Sem r_anjD ()

+ HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog: writeLog :: forall r_anjH. (Member Hedgehog r_anjH, HasCallStack) => Log -> Sem r_anjH ()

- HaskellWorks.Polysemy.Hedgehog.Eval: eval :: forall r_anjo a_an4y. (Member Hedgehog r_anjo, HasCallStack) => a_an4y -> Sem r_anjo a_an4y

+ HaskellWorks.Polysemy.Hedgehog.Eval: eval :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => a_an4C -> Sem r_anjs a_an4C

- HaskellWorks.Polysemy.Hedgehog.Eval: evalIO :: forall r_anjs a_an4C. (Member Hedgehog r_anjs, HasCallStack) => IO a_an4C -> Sem r_anjs a_an4C

+ HaskellWorks.Polysemy.Hedgehog.Eval: evalIO :: forall r_anjw a_an4G. (Member Hedgehog r_anjw, HasCallStack) => IO a_an4G -> Sem r_anjw a_an4G

- HaskellWorks.Polysemy.Hedgehog.Eval: evalM :: forall r_anjq a_an4B. (Member Hedgehog r_anjq, HasCallStack) => Sem r_anjq a_an4B -> Sem r_anjq a_an4B

+ HaskellWorks.Polysemy.Hedgehog.Eval: evalM :: forall r_anju a_an4F. (Member Hedgehog r_anju, HasCallStack) => Sem r_anju a_an4F -> Sem r_anju a_an4F

Files

core/HaskellWorks/Polysemy/Data/Aeson.hs +25/−0
core/HaskellWorks/Polysemy/Data/ByteString/Lazy.hs +2/−2
hw-polysemy.cabal +2/−1

+ core/HaskellWorks/Polysemy/Data/Aeson.hs view

@@ -0,0 +1,25 @@+module HaskellWorks.Polysemy.Data.Aeson+  ( AesonDecodeError(..)+  , aesonDecode+  ) where++import qualified Data.Aeson                                 as Aeson+import qualified HaskellWorks.Polysemy.Data.ByteString.Lazy as LBS+import           HaskellWorks.Polysemy.Prelude+import           Polysemy+import           Polysemy.Error++import           Data.Aeson                                 (FromJSON)++newtype AesonDecodeError+  = AesonDecodeError String+  deriving (Show)++aesonDecode :: ()+  => Member (Error AesonDecodeError) r+  => FromJSON a+  => LBS.ByteString+  -> Sem r a+aesonDecode bs =+  fromEither (Aeson.eitherDecode bs)+    & mapError AesonDecodeError

core/HaskellWorks/Polysemy/Data/ByteString/Lazy.hs view

@@ -1,6 +1,6 @@ module HaskellWorks.Polysemy.Data.ByteString.Lazy-  ( -- * Strict @ByteString@-    ByteString,+  ( -- * Lazy @ByteString@+    LBS.ByteString,      -- * Introducing and eliminating 'ByteString's     LBS.empty,

hw-polysemy.cabal view

@@ -1,6 +1,6 @@ cabal-version:          3.4 name:                   hw-polysemy-version:                0.2.9.0+version:                0.2.10.0 synopsis:               Opinionated polysemy library description:            Opinionated polysemy library. license:                Apache-2.0@@ -129,6 +129,7 @@                         HaskellWorks.Polysemy.Control.Concurrent.QSem                         HaskellWorks.Polysemy.Control.Concurrent.STM                         HaskellWorks.Polysemy.Control.Concurrent.STM.TVar+                        HaskellWorks.Polysemy.Data.Aeson                         HaskellWorks.Polysemy.Data.ByteString                         HaskellWorks.Polysemy.Data.ByteString.Lazy                         HaskellWorks.Polysemy.Data.ByteString.Strict