| Copyright | (c) 2023 GYELD GMBH |
|---|---|
| License | Apache 2.0 |
| Maintainer | [email protected] |
| 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 #
getRandomRs ∷ Random a ⇒ (a, a) → m [a] #
getRandoms ∷ Random a ⇒ m [a] #
Instances
| MonadRandom IO | |
Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → IO a # getRandomRs ∷ Random a ⇒ (a, a) → IO [a] # getRandoms ∷ Random a ⇒ IO [a] # | |
| MonadRandom NonRandom | |
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 # | |
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 # | |
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) | |
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 (ListT m) | |
Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → ListT m a # getRandom ∷ Random a ⇒ ListT m a # getRandomRs ∷ Random a ⇒ (a, a) → ListT m [a] # getRandoms ∷ Random a ⇒ ListT m [a] # | |
| MonadRandom m ⇒ MonadRandom (ExceptT e m) | |
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) | |
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] # | |
| (Error e, MonadRandom m) ⇒ MonadRandom (ErrorT e m) | |
Defined in Control.Monad.Random.Class Methods getRandomR ∷ Random a ⇒ (a, a) → ErrorT e m a # getRandom ∷ Random a ⇒ ErrorT e m a # getRandomRs ∷ Random a ⇒ (a, a) → ErrorT e m [a] # getRandoms ∷ Random a ⇒ ErrorT e m [a] # | |
| MonadRandom m ⇒ MonadRandom (ReaderT r m) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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.