crypto-rng-effectful 1.0.0.0 → 1.0.1.0
raw patch · 7 files changed
+24/−29 lines, 7 filesdep ~basedep ~randomPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, random
API changes (from Hackage documentation)
- Effectful.Crypto.RNG: [RandomBytes] :: Int -> RNG m ByteString
+ Effectful.Crypto.RNG: [RandomBytes] :: forall (a :: Type -> Type). Int -> RNG a ByteString
- Effectful.Crypto.RNG: [RandomR] :: UniformRange a => (a, a) -> RNG m a
+ Effectful.Crypto.RNG: [RandomR] :: forall b (a :: Type -> Type). UniformRange b => (b, b) -> RNG a b
- Effectful.Crypto.RNG: [Random] :: Uniform a => RNG m a
+ Effectful.Crypto.RNG: [Random] :: forall b (a :: Type -> Type). Uniform b => RNG a b
- Effectful.Crypto.RNG: data RNG :: Effect
+ Effectful.Crypto.RNG: data RNG (a :: Type -> Type) b
- Effectful.Crypto.RNG: newCryptoRNGStateSized :: MonadIO m => Int -> m CryptoRNGState
+ Effectful.Crypto.RNG: newCryptoRNGStateSized :: (HasCallStack, MonadIO m) => Int -> m CryptoRNGState
- Effectful.Crypto.RNG: runCryptoRNG :: IOE :> es => CryptoRNGState -> Eff (RNG : es) a -> Eff es a
+ Effectful.Crypto.RNG: runCryptoRNG :: forall (es :: [Effect]) a. IOE :> es => CryptoRNGState -> Eff (RNG ': es) a -> Eff es a
- Effectful.Crypto.RNG.Unsafe: [RandomBytes] :: Int -> RNG m ByteString
+ Effectful.Crypto.RNG.Unsafe: [RandomBytes] :: forall (a :: Type -> Type). Int -> RNG a ByteString
- Effectful.Crypto.RNG.Unsafe: [RandomR] :: UniformRange a => (a, a) -> RNG m a
+ Effectful.Crypto.RNG.Unsafe: [RandomR] :: forall b (a :: Type -> Type). UniformRange b => (b, b) -> RNG a b
- Effectful.Crypto.RNG.Unsafe: [Random] :: Uniform a => RNG m a
+ Effectful.Crypto.RNG.Unsafe: [Random] :: forall b (a :: Type -> Type). Uniform b => RNG a b
- Effectful.Crypto.RNG.Unsafe: data RNG :: Effect
+ Effectful.Crypto.RNG.Unsafe: data RNG (a :: Type -> Type) b
- Effectful.Crypto.RNG.Unsafe: runRNG :: IOE :> es => RNGState -> Eff (RNG : es) a -> Eff es a
+ Effectful.Crypto.RNG.Unsafe: runRNG :: forall (es :: [Effect]) a. IOE :> es => RNGState -> Eff (RNG ': es) a -> Eff es a
Files
- CHANGELOG.md +4/−0
- README.md +1/−2
- crypto-rng-effectful.cabal +15/−23
- src/Effectful/Crypto/RNG.hs +1/−1
- src/Effectful/Crypto/RNG/Effect.hs +1/−1
- src/Effectful/Crypto/RNG/Unsafe.hs +1/−1
- tests/Utils.hs +1/−1
CHANGELOG.md view
@@ -1,2 +1,6 @@+# crypto-rng-effectful-1.0.1.0 (2026-09-17)+* Add support for `random` >= 1.3.+* Drop support for GHC 8.8.+ # crypto-rng-effectful-1.0.0.0 (2022-07-16) * Initial release.
README.md view
@@ -1,8 +1,7 @@ # crypto-rng-effectful -[](https://github.com/haskell-effectful/crypto-rng-effectful/actions?query=branch%3Amaster)+[](https://github.com/haskell-effectful/crypto-rng-effectful/actions?query=branch%3Amaster) [](https://hackage.haskell.org/package/crypto-rng-effectful)-[](https://packdeps.haskellers.com/feed?needle=andrzej@rybczak.net) [](https://www.stackage.org/lts/package/resource-teffectful) [](https://www.stackage.org/nightly/package/crypto-rng-effectful)
crypto-rng-effectful.cabal view
@@ -1,7 +1,7 @@-cabal-version: 2.4+cabal-version: 3.0 build-type: Simple name: crypto-rng-effectful-version: 1.0.0.0+version: 1.0.1.0 license: MIT license-file: LICENSE category: Crypto@@ -12,52 +12,44 @@ description: Adaptation of the @<https://hackage.haskell.org/package/crypto-rng crypto-rng>@ library for the @<https://hackage.haskell.org/package/effectful effectful>@ ecosystem. -extra-source-files:- CHANGELOG.md- README.md+homepage: https://github.com/haskell-effectful/crypto-rng-effectful -tested-with: GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.3 || ==9.4.1+extra-doc-files: CHANGELOG.md+ , README.md +tested-with: GHC == { 8.10.7, 9.0.2, 9.2.8, 9.4.8, 9.6.7, 9.8.4, 9.10.3, 9.12.4, 9.14.1 }+ bug-reports: https://github.com/haskell-effectful/crypto-rng-effectful/issues source-repository head type: git location: https://github.com/haskell-effectful/crypto-rng-effectful common language- ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors+ ghc-options: -Wall -Wcompat -Wredundant-constraints+ -Wno-unticked-promoted-constructors+ -Werror=prepositive-qualified-module default-language: Haskell2010 - default-extensions: BangPatterns- ConstraintKinds- DataKinds- DeriveFunctor- DeriveGeneric+ default-extensions: DataKinds DerivingStrategies FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving+ ImportQualifiedPost LambdaCase- MultiParamTypeClasses- NoStarIsType- RankNTypes- RoleAnnotations- ScopedTypeVariables- StandaloneDeriving- TupleSections- TypeApplications TypeFamilies TypeOperators library import: language - build-depends: base >= 4.13 && < 5+ build-depends: base >= 4.14 && < 5 , bytestring >= 0.10.8 , crypto-rng >= 0.3 && < 0.4- , effectful-core >= 1.0.0.0 && < 1.0.1.0- , random >= 1.1 && < 1.3+ , effectful-core >= 1.0.0.0 && < 3.0.0.0+ , random >= 1.2 && < 1.4 hs-source-dirs: src
src/Effectful/Crypto/RNG.hs view
@@ -17,7 +17,7 @@ import Crypto.RNG import Effectful import Effectful.Dispatch.Dynamic-import qualified System.Random.Stateful as R+import System.Random.Stateful qualified as R import Effectful.Crypto.RNG.Effect
src/Effectful/Crypto/RNG/Effect.hs view
@@ -2,11 +2,11 @@ {-# OPTIONS_GHC -Wno-orphans #-} module Effectful.Crypto.RNG.Effect where +import Crypto.RNG.Class import Data.ByteString (ByteString) import Effectful import Effectful.Dispatch.Dynamic import System.Random-import Crypto.RNG.Class -- | Provide the ability to generate random numbers. data RNG :: Effect where
src/Effectful/Crypto/RNG/Unsafe.hs view
@@ -15,7 +15,7 @@ import Crypto.RNG.Unsafe import Effectful import Effectful.Dispatch.Dynamic-import qualified System.Random as R+import System.Random qualified as R import Effectful.Crypto.RNG.Effect
tests/Utils.hs view
@@ -5,7 +5,7 @@ ) where import GHC.Stack-import qualified Test.Tasty.HUnit as T+import Test.Tasty.HUnit qualified as T import Effectful