Module

Test.StrongCheck.LCG

Package: purescript-strongcheckDEPRECATED
Repository: purescript-contrib/purescript-strongcheck

#lcgM Source

lcgM :: Int

The multiplier: a magic constant for the linear congruential generator

#lcgC Source

lcgC :: Int

The increment: a magic constant for the linear congruential generator

#lcgN Source

lcgN :: Int

The modulus: a magic constant for the linear congruential generator. It is equal to 2^31 - 1, a Mersenne prime. It is useful for this value to be prime, because then the requirement of the initial seed being coprime to the modulus is satisfied when the seed is between 1 and lcgN - 1.

#lcgPerturb Source

lcgPerturb :: Number -> Seed -> Seed

Perturb a seed value

#lcgNext Source

lcgNext :: Seed -> Seed

Step the linear congruential generator

#randomSeed Source

randomSeed :: forall e. Eff (random :: RANDOM | e) Seed

Create a random seed

#Seed Source

newtype Seed

A seed for the linear congruential generator. We omit a Semiring instance because there is no zero value, as 0 is not an acceptable seed for the generator.

Instances

Show Seed
Eq Seed

#mkSeed Source

mkSeed :: Int -> Seed

#runSeed Source

runSeed :: Seed -> Int

Modules: Test.StrongCheck; Test.StrongCheck.Arbitrary; Test.StrongCheck.Data.AlphaNumString; Test.StrongCheck.Data.ApproxNumber; Test.StrongCheck.Data.ArbBoundedEnum; Test.StrongCheck.Data.ArbDateTime; Test.StrongCheck.Data.Negative; Test.StrongCheck.Data.NonZero; Test.StrongCheck.Data.Positive; Test.StrongCheck.Data.Signum; Test.StrongCheck.Gen; Test.StrongCheck.LCG; Test.StrongCheck.Landscape; Test.StrongCheck.Perturb