basis/random/random-docs.factor

   1 USING: help.markup help.syntax math kernel sequences ;
   2 IN: random
   3
   4 HELP: seed-random
   5 { $values { "tuple" "a random number generator" } { "seed" "an integer between 0 and 2^32-1" } }
   6 { $description "Seed the random number generator." }
   7 { $notes "Not supported on all random number generators." } ;
   8
   9 HELP: random-32*
  10 { $values { "tuple" "a random number generator" } { "r" "an integer between 0 and 2^32-1" } }
  11 { $description "Generates a random 32-bit unsigned integer." } ;
  12
  13 HELP: random-bytes*
  14 { $values { "n" "an integer" } { "tuple" "a random number generator" } { "byte-array" "a sequence of random bytes" } }
  15 { $description "Generates a byte-array of random bytes." } ;
  16
  17 HELP: random
  18 { $values { "seq" sequence } { "elt" "a random element" } }
  19 { $description "Outputs a random element of the input sequence. Outputs " { $link f } " if the sequence is empty." }
  20 { $notes "Since integers are sequences, passing an integer " { $snippet "n" } " outputs an integer in the interval " { $snippet "[0,n)" } "." }
  21 { $examples
  22     { $unchecked-example "USING: random prettyprint ;"
  23         "10 random ."
  24         "3" }
  25     { $unchecked-example "USING: random prettyprint ;"
  26         "SYMBOL: heads"
  27         "SYMBOL: tails"
  28         "{ heads tails } random ."
  29         "heads" }
  30 } ;
  31
  32 HELP: random-bytes
  33 { $values { "n" "an integer" } { "byte-array" "a random integer" } }
  34 { $description "Outputs an integer with n bytes worth of bits." }
  35 { $examples
  36     { $unchecked-example "USING: prettyprint random ;"
  37                "5 random-bytes ."
  38                "B{ 135 50 185 119 240 }"
  39     }
  40 } ;
  41
  42 HELP: random-bits
  43 { $values { "numbits" integer } { "r" "a random integer" } }
  44 { $description "Outputs an random integer n bits in length." } ;
  45
  46 HELP: random-bits*
  47 { $values
  48     { "numbits" integer }
  49     { "n" integer }
  50 }
  51 { $description "Returns an integer exactly " { $snippet "numbits" } " in length, with the topmost bit set to one." } ;
  52
  53
  54 HELP: with-random
  55 { $values { "tuple" "a random generator" } { "quot" "a quotation" } }
  56 { $description "Calls the quotation with the random generator in a dynamic variable.  All random numbers will be generated using this random generator." } ;
  57
  58 HELP: with-secure-random
  59 { $values { "quot" "a quotation" } }
  60 { $description "Calls the quotation with the secure random generator in a dynamic variable.  All random numbers will be generated using this random generator." } ;
  61
  62 HELP: with-system-random
  63 { $values { "quot" "a quotation" } }
  64 { $description "Calls the quotation with the system's random generator in a dynamic variable.  All random numbers will be generated using this random generator." } ;
  65
  66 { with-random with-secure-random with-system-random } related-words
  67
  68 HELP: randomize
  69 { $values
  70      { "seq" sequence }
  71      { "seq" sequence }
  72 }
  73 { $description "Randomizes a sequence in-place with the Fisher-Yates algorithm and returns the sequence." } ;
  74
  75 HELP: delete-random
  76 { $values
  77      { "seq" sequence }
  78      { "elt" object } }
  79 { $description "Deletes a random number from a sequence using " { $link delete-nth } " and returns the deleted object." } ;
  80
  81 ARTICLE: "random-protocol" "Random protocol"
  82 "A random number generator must implement one of these two words:"
  83 { $subsection random-32* }
  84 { $subsection random-bytes* }
  85 "Optional, to seed a random number generator:"
  86 { $subsection seed-random } ;
  87
  88 ARTICLE: "random" "Generating random integers"
  89 "The " { $vocab-link "random" } " vocabulary contains a protocol for generating random or pseudorandom numbers."
  90 $nl
  91 "The “Mersenne Twister” pseudorandom number generator algorithm is the default generator stored in " { $link random-generator } "."
  92 $nl
  93 "Generate a random object:"
  94 { $subsection random }
  95 "Combinators to change the random number generator:"
  96 { $subsection with-random }
  97 { $subsection with-system-random }
  98 { $subsection with-secure-random }
  99 "Implementation:"
 100 { $subsection "random-protocol" }
 101 "Randomizing a sequence:"
 102 { $subsection randomize }
 103 "Deleting a random element from a sequence:"
 104 { $subsection delete-random }
 105 "Random numbers with " { $snippet "n" } " bits:"
 106 { $subsection random-bits }
 107 { $subsection random-bits* } ;
 108
 109 ABOUT: "random"