fp2/week2/mart/Random.dcl

   1 definition module Random
   2
   3  // Random number generator voor Linux gebruikers
   4  // interface compatible met Random.dcl (helaas)
   5  // -- mschool@science.ru.nl
   6
   7 import StdFile
   8
   9 :: RandomSeed
  10
  11 // nullRandomSeed generates a fixed RandomSeed
  12 nullRandomSeed :: RandomSeed
  13
  14 // GetNewRandomSeed generates a good RandomSeed, using /dev/urandom
  15 getNewRandomSeed :: !*env -> (!RandomSeed, !*env) | FileSystem env
  16
  17 // Given a RandomSeed, Random generates a random number and a new RandomSeed.
  18 random :: !RandomSeed -> .(!Int, !RandomSeed)
  19