Jack.Random

type Size = Int

Tests are parameterized by the size of the randomly-generated data, the meaning of which depends on the particular generator used.

newtype Random a

Constructors

• Random (Seed -> Size -> a)

Instances

• Functor Random
• Apply Random
• Applicative Random
• Bind Random
• Monad Random
• MonadRec Random
• Lazy (Random a)

runRandom :: forall a. Seed -> Size -> Random a -> a

Run a random generator.

sized :: forall a. (Size -> Random a) -> Random a

Used to construct generators that depend on the size parameter.

resize :: forall a. Size -> Random a -> Random a

Overrides the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter.

unsafeChooseInt53 :: Int53 -> Int53 -> Random Int53

/This is not safe when (hi - lo) > 53-bits/

chooseInt :: Int -> Int -> Random Int

Generates a random element in the given inclusive range.

replicateRecM :: forall a m. MonadRec m => Int -> m a -> m (List a)

Tail recursive replicate.