Idris2Doc : System.Random

System.Random

interfaceRandom : Type -> Type
Parameters: a
Methods:
randomIO : HasIOio => ioa
randomRIO : HasIOio => (a, a) -> ioa

Implementations:
RandomInt
RandomDouble
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 -> IO ()
  Sets the random seed