Idris2Doc : System.Random

System.Random

Definitions

interfaceRandom : Type->Type
Parameters: a
Methods:
randomIO : HasIOio=>ioa
randomRIO : HasIOio=> (a, a) ->ioa
  Takes a range (lo, hi), and returns a random value uniformly
distributed in the closed interval [lo, hi]. It is unspecified what
happens if lo > hi.

Implementations:
RandomInt32
RandomDouble
randomIO : Randoma=>HasIOio=>ioa
Visibility: public export
randomRIO : Randoma=>HasIOio=> (a, a) ->ioa
  Takes a range (lo, hi), and returns a random value uniformly
distributed in the closed interval [lo, hi]. It is unspecified what
happens if lo > hi.

Visibility: public export
srand : Bits64->IO ()
  Sets the random seed

Visibility: export
rndFin : HasIOio=> (n : Nat) ->io (Fin (Sn))
  Generate a random number in Fin (S `k`)

Note that rndFin k takes values 0, 1, ..., k.

Visibility: public export
rndSelect' : HasIOio=>Vect (Sk) a->ioa
  Select a random element from a vector

Visibility: public export
rndSelect : HasIOio=> (elems : Lista) -> {auto0_ : NonEmptyelems} ->ioa
  Select a random element from a non-empty list

Visibility: public export