Copyright	© 2021 IOHK
License	Apache-2.0
Safe Haskell	None
Language	Haskell2010

Control.Monad.Random.Extra

Contents

Random number generator seeds
Non-random contexts

Description

This module provides functions and types that extend those provided by the Random module hierarchy.

Synopsis

newtype StdGenSeed = StdGenSeed {
- unStdGenSeed :: Word127
}
stdGenSeed :: MonadRandom m => m StdGenSeed
stdGenFromSeed :: StdGenSeed -> StdGen
stdGenToSeed :: StdGen -> StdGenSeed
newtype NonRandom a = NonRandom {
- runNonRandom :: a
}

Random number generator seeds

newtype StdGenSeed Source #

A seed for the standard random number generator.

This type is equivalent to the internal state of a StdGen , but provides a representation that is more convenient for construction and serialization.

The number of possible seeds is identical to the number of valid states of the StdGen type, but unlike the StdGen type, whose state has an internal invariant that must not be broken, values of the StdGenSeed type are correct by construction.

Constructors

StdGenSeed
Fields unStdGenSeed :: Word127

Instances

Instances details

Bounded StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods minBound :: StdGenSeed Source # maxBound :: StdGenSeed Source #
Eq StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods (==) :: StdGenSeed -> StdGenSeed -> Bool Source # (/=) :: StdGenSeed -> StdGenSeed -> Bool Source #
Ord StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods compare :: StdGenSeed -> StdGenSeed -> Ordering Source # (<) :: StdGenSeed -> StdGenSeed -> Bool Source # (<=) :: StdGenSeed -> StdGenSeed -> Bool Source # (>) :: StdGenSeed -> StdGenSeed -> Bool Source # (>=) :: StdGenSeed -> StdGenSeed -> Bool Source # max :: StdGenSeed -> StdGenSeed -> StdGenSeed Source # min :: StdGenSeed -> StdGenSeed -> StdGenSeed Source #
Show StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods showsPrec :: Int -> StdGenSeed -> ShowS Source # show :: StdGenSeed -> String Source # showList :: [ StdGenSeed ] -> ShowS Source #
Generic StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Associated Types type Rep StdGenSeed :: Type -> Type Source # Methods from :: StdGenSeed -> Rep StdGenSeed x Source # to :: Rep StdGenSeed x -> StdGenSeed Source #
ToJSON StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods toJSON :: StdGenSeed -> Value Source # toEncoding :: StdGenSeed -> Encoding Source # toJSONList :: [ StdGenSeed ] -> Value Source # toEncodingList :: [ StdGenSeed ] -> Encoding Source #
FromJSON StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra Methods parseJSON :: Value -> Parser StdGenSeed Source # parseJSONList :: Value -> Parser [ StdGenSeed ] Source #
type Rep StdGenSeed Source #
Instance details Defined in Control.Monad.Random.Extra type Rep StdGenSeed

stdGenSeed :: MonadRandom m => m StdGenSeed Source #

Creates a new StdGenSeed from within a random monadic context.

stdGenFromSeed :: StdGenSeed -> StdGen Source #

Converts a StdGenSeed value to a StdGen value.

This function satisfies the following properties:

>>> stdGenFromSeed . stdGenToSeed == id
>>> stdGenToSeed . stdGenFromSeed == id

stdGenToSeed :: StdGen -> StdGenSeed Source #

Converts a StdGen value to a StdGenSeed value.

This function satisfies the following properties:

>>> stdGenFromSeed . stdGenToSeed == id
>>> stdGenToSeed . stdGenFromSeed == id

Non-random contexts

newtype NonRandom a Source #

Provides a stateless context for computations that must be non-random.

This type is useful for testing functions that require a MonadRandom context, but when actual randomness is not required or even desired.

Constructors

NonRandom
Fields runNonRandom :: a

Instances

Instances details

Monad NonRandom Source #
Instance details Defined in Control.Monad.Random.Extra Methods (>>=) :: NonRandom a -> (a -> NonRandom b) -> NonRandom b Source # (>>) :: NonRandom a -> NonRandom b -> NonRandom b Source # return :: a -> NonRandom a Source #
Functor NonRandom Source #
Instance details Defined in Control.Monad.Random.Extra Methods fmap :: (a -> b) -> NonRandom a -> NonRandom b Source # (<$) :: a -> NonRandom b -> NonRandom a Source #
Applicative NonRandom Source #
Instance details Defined in Control.Monad.Random.Extra Methods pure :: a -> NonRandom a Source # (<>) :: NonRandom (a -> b) -> NonRandom a -> NonRandom b Source # liftA2 :: (a -> b -> c) -> NonRandom a -> NonRandom b -> NonRandom c Source # (>) :: NonRandom a -> NonRandom b -> NonRandom b Source # (<*) :: NonRandom a -> NonRandom b -> NonRandom a Source #
MonadRandom NonRandom Source #
Instance details Defined in Control.Monad.Random.Extra Methods getRandomR :: Random a => (a, a) -> NonRandom a Source # getRandom :: Random a => NonRandom a Source # getRandomRs :: Random a => (a, a) -> NonRandom [a] Source # getRandoms :: Random a => NonRandom [a] Source #
Eq a => Eq ( NonRandom a) Source #
Instance details Defined in Control.Monad.Random.Extra Methods (==) :: NonRandom a -> NonRandom a -> Bool Source # (/=) :: NonRandom a -> NonRandom a -> Bool Source #
Ord a => Ord ( NonRandom a) Source #
Instance details Defined in Control.Monad.Random.Extra Methods compare :: NonRandom a -> NonRandom a -> Ordering Source # (<) :: NonRandom a -> NonRandom a -> Bool Source # (<=) :: NonRandom a -> NonRandom a -> Bool Source # (>) :: NonRandom a -> NonRandom a -> Bool Source # (>=) :: NonRandom a -> NonRandom a -> Bool Source # max :: NonRandom a -> NonRandom a -> NonRandom a Source # min :: NonRandom a -> NonRandom a -> NonRandom a Source #
Show a => Show ( NonRandom a) Source #
Instance details Defined in Control.Monad.Random.Extra Methods showsPrec :: Int -> NonRandom a -> ShowS Source # show :: NonRandom a -> String Source # showList :: [ NonRandom a] -> ShowS Source #
Generic ( NonRandom a) Source #
Instance details Defined in Control.Monad.Random.Extra Associated Types type Rep ( NonRandom a) :: Type -> Type Source # Methods from :: NonRandom a -> Rep ( NonRandom a) x Source # to :: Rep ( NonRandom a) x -> NonRandom a Source #
type Rep ( NonRandom a) Source #
Instance details Defined in Control.Monad.Random.Extra type Rep ( NonRandom a) = D1 (' MetaData "NonRandom" "Control.Monad.Random.Extra" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' True ) ( C1 (' MetaCons "NonRandom" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "runNonRandom") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)))