Idris2Doc : System.Random

System.Random

Random : Type -> Type
Parameters: a
Methods:
randomIO : {auto {i_con:0} : HasIOio} -> ioa
randomRIO : {auto {i_con:0} : HasIOio} -> _ -> ioa

Implementations:
Random Int
Random Double
randomIO : Randoma => HasIOio => ioa
randomRIO : Randoma => HasIOio => (a, a) -> ioa
rndFin : (n : Nat) -> IO (Fin (Sn))
Generate a random number in Fin (S `k`)

Note that rndFin k takes values 0, 1, ..., k.
rndSelect : (elems : Lista) -> {auto 0 _ : NonEmptyelems} -> IOa
Select a random element from a non-empty list
rndSelect' : Vect (Sk) a -> IOa
Select a random element from a vector
srand : Bits64 -> IOUnit
Sets the random seed