Idris2Doc : System.Random

System.Random

interface Random : Type -> Type
  Parameters: a
Methods:
  
randomIO : HasIO io => io a
  
randomRIO : HasIO io => (a, a) -> io a

Implementations:
  
Random Int
  
Random Double
randomIO : Random a => HasIO io => io a
  
randomRIO : Random a => HasIO io => (a, a) -> io a
  
rndFin : (n : Nat) -> IO (Fin (S n))
  Generate a random number in Fin (S `k`)
  
  Note that rndFin k takes values 0, 1, ..., k.

  
rndSelect : (elems : List a) -> {auto 0 _ : NonEmpty elems} -> IO a
  Select a random element from a non-empty list

  
rndSelect' : Vect (S k) a -> IO a
  Select a random element from a vector

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