Idris2Doc : System.Random.Pure.StdGen

System.Random.Pure.StdGen

(source)
Reexports
import public Data.Bits
import public Data.So
import public System.Random.Pure
Definitions
data StdGen : Type
  Totality: total
  Visibility: export
  Constructor: 
MkStdGen : Bits64 -> Bits64 -> StdGen

  Hints:
  
Eq StdGen
  
Pretty StdGen
  
RandomGen StdGen
  
Show StdGen
extractRaw : StdGen -> (Bits64, Bits64)
  Totality: total
  Visibility: export
rawStdGen : Bits64 -> (gamma : Bits64) -> {auto 0 _ : So (testBit gamma FZ)} -> StdGen
  Totality: total
  Visibility: export
mkStdGen : Bits64 -> StdGen
  The most preferrable, but not invertible way for creation specific seed values

  Totality: total
  Visibility: export
someStdGen : StdGen
  Totality: total
  Visibility: export
initStdGen : HasIO io => io StdGen
  The way of creation of a seed value based on some system entropy

  Totality: total
  Visibility: export
EntropySeed : HasIO m => CanInitSeed StdGen m
  Totality: total
  Visibility: export