System.Random.Pure

Definitions

interface RandomGen : Type -> Type

  Interface of algorithms of pseudo-random generation of `Bits64` values using a seed type `g`.
  
  Those `Bits64` values must be generated uniformly.
  Splitting must give independent seeds.

Parameters: g
Methods:

next : g -> (g, Bits64)
split : g -> (g, g)
variant : Nat -> g -> g

Implementation:

RandomGen StdGen

next : RandomGen g => g -> (g, Bits64)

Totality: total
Visibility: public export

split : RandomGen g => g -> (g, g)

Totality: total
Visibility: public export

variant : RandomGen g => Nat -> g -> g

Totality: total
Visibility: public export

splitStream : RandomGen g => g -> Stream g

  Stream of independent seeds

Totality: total
Visibility: public export

interface CanInitSeed : Type -> (Type -> Type) -> Type

  Interface for getting the starting seed

Parameters: g, m
Constraints: RandomGen g
Methods:

initSeed : m g

initSeed : CanInitSeed g m => m g

Totality: total
Visibility: public export

ConstSeed : Applicative m => RandomGen g => g -> CanInitSeed g m

Totality: total
Visibility: export

theSplitStream : CanInitSeed g m => Functor m => m (Stream g)

  Stream of independent seeds in the current context of `CanInitSeed`

Totality: total
Visibility: public export

interface Random : Type -> Type

  Interface for generation of values of particular types using any appropriate `RandomGen` algorithm.
  
  Contains a function for generation of uniform value sitting in the given range,
  and a function for generation of any value of the type.
  For inifinite types, when no range is given, implementation determines actual used range by itself.

Parameters: a
Methods: