Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	support@geniusyield.co
Stability	develop
Safe Haskell	None
Language	Haskell2010

GeniusYield.TxBuilder.Random

Description

Synopsis

class Monad m ⇒ MonadRandom (m ∷ Type → Type) where
- getRandomR ∷ Random a ⇒ (a, a) → m a
- getRandom ∷ Random a ⇒ m a
- getRandomRs ∷ Random a ⇒ (a, a) → m [a]
- getRandoms ∷ Random a ⇒ m [a]
withRandomness ∷ GYTxMonad m ⇒ (∀ n. (GYTxMonad n, MonadRandom n) ⇒ n a) → m a

Documentation

class Monad m ⇒ MonadRandom (m ∷ Type → Type) where #

Methods

getRandomR ∷ Random a ⇒ (a, a) → m a #

getRandom ∷ Random a ⇒ m a #

getRandomRs ∷ Random a ⇒ (a, a) → m [a] #

getRandoms ∷ Random a ⇒ m [a] #

Instances

Instances details

MonadRandom IO
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → IO a # getRandom ∷ Random a ⇒ IO a # getRandomRs ∷ Random a ⇒ (a, a) → IO [a] # getRandoms ∷ Random a ⇒ IO [a] #
MonadRandom NonRandom
Instance details Defined in Control.Monad.Random.NonRandom Methods getRandomR ∷ Random a ⇒ (a, a) → NonRandom a # getRandom ∷ Random a ⇒ NonRandom a # getRandomRs ∷ Random a ⇒ (a, a) → NonRandom [a] # getRandoms ∷ Random a ⇒ NonRandom [a] #
MonadRandom GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadRun a # getRandom ∷ Random a ⇒ GYTxMonadRun a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadRun [a] # getRandoms ∷ Random a ⇒ GYTxMonadRun [a] #
MonadRandom GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadNode a # getRandom ∷ Random a ⇒ GYTxMonadNode a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadNode [a] # getRandoms ∷ Random a ⇒ GYTxMonadNode [a] #
MonadRandom m ⇒ MonadRandom (MaybeT m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → MaybeT m a # getRandom ∷ Random a ⇒ MaybeT m a # getRandomRs ∷ Random a ⇒ (a, a) → MaybeT m [a] # getRandoms ∷ Random a ⇒ MaybeT m [a] #
MonadRandom m ⇒ MonadRandom (ExceptT e m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → ExceptT e m a # getRandom ∷ Random a ⇒ ExceptT e m a # getRandomRs ∷ Random a ⇒ (a, a) → ExceptT e m [a] # getRandoms ∷ Random a ⇒ ExceptT e m [a] #
MonadRandom m ⇒ MonadRandom (IdentityT m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → IdentityT m a # getRandom ∷ Random a ⇒ IdentityT m a # getRandomRs ∷ Random a ⇒ (a, a) → IdentityT m [a] # getRandoms ∷ Random a ⇒ IdentityT m [a] #
MonadRandom m ⇒ MonadRandom (ReaderT r m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → ReaderT r m a # getRandom ∷ Random a ⇒ ReaderT r m a # getRandomRs ∷ Random a ⇒ (a, a) → ReaderT r m [a] # getRandoms ∷ Random a ⇒ ReaderT r m [a] #
MonadRandom m ⇒ MonadRandom (StateT s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → StateT s m a # getRandom ∷ Random a ⇒ StateT s m a # getRandomRs ∷ Random a ⇒ (a, a) → StateT s m [a] # getRandoms ∷ Random a ⇒ StateT s m [a] #
MonadRandom m ⇒ MonadRandom (StateT s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → StateT s m a # getRandom ∷ Random a ⇒ StateT s m a # getRandomRs ∷ Random a ⇒ (a, a) → StateT s m [a] # getRandoms ∷ Random a ⇒ StateT s m [a] #
(MonadRandom m, Monoid w) ⇒ MonadRandom (WriterT w m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → WriterT w m a # getRandom ∷ Random a ⇒ WriterT w m a # getRandomRs ∷ Random a ⇒ (a, a) → WriterT w m [a] # getRandoms ∷ Random a ⇒ WriterT w m [a] #
(MonadRandom m, Monoid w) ⇒ MonadRandom (WriterT w m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → WriterT w m a # getRandom ∷ Random a ⇒ WriterT w m a # getRandomRs ∷ Random a ⇒ (a, a) → WriterT w m [a] # getRandoms ∷ Random a ⇒ WriterT w m [a] #
(RandomGen g, Monad m) ⇒ MonadRandom (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods getRandomR ∷ Random a ⇒ (a, a) → RandT g m a # getRandom ∷ Random a ⇒ RandT g m a # getRandomRs ∷ Random a ⇒ (a, a) → RandT g m [a] # getRandoms ∷ Random a ⇒ RandT g m [a] #
(RandomGen g, Monad m) ⇒ MonadRandom (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Strict Methods getRandomR ∷ Random a ⇒ (a, a) → RandT g m a # getRandom ∷ Random a ⇒ RandT g m a # getRandomRs ∷ Random a ⇒ (a, a) → RandT g m [a] # getRandoms ∷ Random a ⇒ RandT g m [a] #
MonadRandom m ⇒ MonadRandom (ContT r m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → ContT r m a # getRandom ∷ Random a ⇒ ContT r m a # getRandomRs ∷ Random a ⇒ (a, a) → ContT r m [a] # getRandoms ∷ Random a ⇒ ContT r m [a] #
(Monoid w, MonadRandom m) ⇒ MonadRandom (RWST r w s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → RWST r w s m a # getRandom ∷ Random a ⇒ RWST r w s m a # getRandomRs ∷ Random a ⇒ (a, a) → RWST r w s m [a] # getRandoms ∷ Random a ⇒ RWST r w s m [a] #
(Monoid w, MonadRandom m) ⇒ MonadRandom (RWST r w s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → RWST r w s m a # getRandom ∷ Random a ⇒ RWST r w s m a # getRandomRs ∷ Random a ⇒ (a, a) → RWST r w s m [a] # getRandoms ∷ Random a ⇒ RWST r w s m [a] #

withRandomness ∷ GYTxMonad m ⇒ (∀ n. (GYTxMonad n, MonadRandom n) ⇒ n a) → m a #

Convert a GYTxMonad-computation using randomness into a deterministic one by using one's own public key hash as seed for the random number generator.