Safe Haskell	Safe-Inferred
Language	GHC2021

System.Random.Utils

Synopsis

newStdGenPrim :: PrimMonad m => m StdGen
newtype PrimGen g = PrimGen {
- unPrimGen :: g
}
newtype PrimGenM g s = PrimGenM {
- unPrimGenM :: MutVar s g
}
newPrimGenM :: PrimMonad m => g -> m (PrimGenM g (PrimState m))
applyPrimGen :: PrimMonad m => (g -> (a, g)) -> PrimGenM g (PrimState m) -> m a
withGlobalStdGen :: PrimMonad m => (PrimGenM StdGen (PrimState m) -> m a) -> m (a, StdGen)
withGlobalStdGen_ :: PrimMonad m => (PrimGenM StdGen (PrimState m) -> m a) -> m a
withFixedStdGen :: PrimMonad m => Int -> (PrimGenM StdGen (PrimState m) -> m a) -> m (a, StdGen)
withFixedStdGen_ :: PrimMonad m => Int -> (PrimGenM StdGen (PrimState m) -> m a) -> m a
shuffle :: (PrimMonad m, MVector mv a, RandomGen g) => g -> mv (PrimState m) a -> m ()

Documentation

newStdGenPrim :: PrimMonad m => m StdGen Source #

global StdGen

newtype PrimGen g Source #

Constructors

PrimGen
Fields unPrimGen :: g

Instances

Instances details

RandomGen g => RandomGen (PrimGen g) Source #
Instance details Defined in System.Random.Utils Methods next :: PrimGen g -> (Int, PrimGen g) genWord8 :: PrimGen g -> (Word8, PrimGen g) genWord16 :: PrimGen g -> (Word16, PrimGen g) genWord32 :: PrimGen g -> (Word32, PrimGen g) genWord64 :: PrimGen g -> (Word64, PrimGen g) genWord32R :: Word32 -> PrimGen g -> (Word32, PrimGen g) genWord64R :: Word64 -> PrimGen g -> (Word64, PrimGen g) genShortByteString :: Int -> PrimGen g -> (ShortByteString, PrimGen g) genRange :: PrimGen g -> (Int, Int) split :: PrimGen g -> (PrimGen g, PrimGen g)
(RandomGen g, PrimMonad m) => FrozenGen (PrimGen g) m Source #
Instance details Defined in System.Random.Utils Associated Types type MutableGen (PrimGen g) m = (g :: Type) Methods freezeGen :: MutableGen (PrimGen g) m -> m (PrimGen g) thawGen :: PrimGen g -> m (MutableGen (PrimGen g) m)
type MutableGen (PrimGen g) m Source #
Instance details Defined in System.Random.Utils type MutableGen (PrimGen g) m = PrimGenM g (PrimState m)

newtype PrimGenM g s Source #

Constructors

PrimGenM
Fields unPrimGenM :: MutVar s g

Instances

Instances details

(RandomGen g, s ~ PrimState m, PrimMonad m) => StatefulGen (PrimGenM g s) m Source #
Instance details Defined in System.Random.Utils Methods uniformWord32R :: Word32 -> PrimGenM g s -> m Word32 uniformWord64R :: Word64 -> PrimGenM g s -> m Word64 uniformWord8 :: PrimGenM g s -> m Word8 uniformWord16 :: PrimGenM g s -> m Word16 uniformWord32 :: PrimGenM g s -> m Word32 uniformWord64 :: PrimGenM g s -> m Word64 uniformShortByteString :: Int -> PrimGenM g s -> m ShortByteString
(RandomGen g, s ~ PrimState m, PrimMonad m) => RandomGenM (PrimGenM g s) g m Source #
Instance details Defined in System.Random.Utils Methods applyRandomGenM :: (g -> (a, g)) -> PrimGenM g s -> m a

newPrimGenM :: PrimMonad m => g -> m (PrimGenM g (PrimState m)) Source #

applyPrimGen :: PrimMonad m => (g -> (a, g)) -> PrimGenM g (PrimState m) -> m a Source #

withGlobalStdGen :: PrimMonad m => (PrimGenM StdGen (PrimState m) -> m a) -> m (a, StdGen) Source #

withGlobalStdGen_ :: PrimMonad m => (PrimGenM StdGen (PrimState m) -> m a) -> m a Source #

withFixedStdGen :: PrimMonad m => Int -> (PrimGenM StdGen (PrimState m) -> m a) -> m (a, StdGen) Source #

>>> withFixedStdGen 123 (uniformRM @Int (1, 6))
(1,StdGen {unStdGen = SMGen 3794253433779795923 13032462758197477675})
>>> withFixedStdGen 1 (uniformRM @Int (1, 6))
(6,StdGen {unStdGen = SMGen 4999253871718377453 10451216379200822465})

withFixedStdGen_ :: PrimMonad m => Int -> (PrimGenM StdGen (PrimState m) -> m a) -> m a Source #

>>> withFixedStdGen_ 123 (uniformRM @Int (1, 6))
1
>>> withFixedStdGen_ 1 (uniformRM @Int (1, 6))
6

shuffle :: (PrimMonad m, MVector mv a, RandomGen g) => g -> mv (PrimState m) a -> m () Source #

>>> import qualified Data.Vector.Unboxed as U
>>> U.modify (shuffle (mkStdGen 123)) $ U.fromList "abcdef"
"fcdbea"