files/practicum/RandomGetallen.icl

   1 implementation module RandomGetallen
   2
   3 import StdEnv, Random
   4
   5 Start :: *World -> ([Int],*World)
   6 Start world
   7 # (rs,world)    = getNewRandomSeed world
   8 = (shuffle [1..10] rs,world)
   9
  10 random_n :: Int RandomSeed -> ([Int],RandomSeed)
  11 random_n ...
  12
  13 random_inf :: RandomSeed -> [Int]
  14 random_inf ...
  15
  16 iterateSt :: (s -> (a,s)) s -> [a]
  17 iterateSt ...
  18
  19 shuffle :: [a] RandomSeed -> [a]
  20 shuffle ...