Data.Random.Source.MWC

This module defines the following instances:

 instance RandomSource (ST s) (Gen s)
 instance RandomSource IO (Gen RealWorld)

Documentation

data Gen s

State of the pseudo-random number generator.

Instances

RandomSource IO (Gen RealWorld)

RandomSource (ST s0) (Gen s0)

data RealWorld

RealWorld is deeply magical. It is primitive, but it is not unlifted (hence ptrArg). We never manipulate values of type RealWorld; it's only used in the type system, to parameterise State#.

Instances

Typeable RealWorld

RandomSource IO (Gen RealWorld)

WriteRef (STRef RealWorld a) IO a

MonadIO m => ReadRef (ST RealWorld a) m a

ReadRef (STRef RealWorld a) IO a

ModifyRef (STRef RealWorld a) IO a

NewRef (STRef RealWorld a) IO a

create :: PrimMonad m => m (Gen (PrimState m))

Create a generator for variates using a fixed seed.

initialize :: (PrimMonad m, Vector v Word32) => v Word32 -> m (Gen (PrimState m))

Create a generator for variates using the given seed, of which up to 256 elements will be used. For arrays of less than 256 elements, part of the default seed will be used to finish initializing the generator's state.

Examples:

 initialize (singleton 42)

 initialize (toList [4, 8, 15, 16, 23, 42])

If a seed contains fewer than 256 elements, it is first used verbatim, then its elements are xored against elements of the default seed until 256 elements are reached.

If a seed contains exactly 258 elements, then the last two elements are used to set the generator's initial state. This allows for complete generator reproducibility, so that e.g. gen' == gen in the following example:

gen' <- initialize . fromSeed =<< save

save :: PrimMonad m => Gen (PrimState m) -> m Seed

Save the state of a Gen, for later use by restore.

restore :: PrimMonad m => Seed -> m (Gen (PrimState m))

Create a new Gen that mirrors the state of a saved Seed.