module Crypto.Random.Probabilistic
( probabilistic
) where
import Crypto.Internal.Compat
import Crypto.Random.Types
import Crypto.Random
probabilistic :: MonadPseudoRandom ChaChaDRG a -> a
probabilistic :: forall a. MonadPseudoRandom ChaChaDRG a -> a
probabilistic MonadPseudoRandom ChaChaDRG a
f = forall a b. (a, b) -> a
fst forall a b. (a -> b) -> a -> b
$ forall gen a. DRG gen => gen -> MonadPseudoRandom gen a -> (a, gen)
withDRG ChaChaDRG
drg MonadPseudoRandom ChaChaDRG a
f
where {-# NOINLINE drg #-}
drg :: ChaChaDRG
drg = forall a. IO a -> a
unsafeDoIO forall (randomly :: * -> *).
MonadRandom randomly =>
randomly ChaChaDRG
drgNew
{-# NOINLINE probabilistic #-}