random: add help for random-unit.
parent
4f34e4dfbc
commit
135c0bd5ed
|
|
@ -56,6 +56,10 @@ HELP: random-integers
|
|||
}
|
||||
} ;
|
||||
|
||||
HELP: random-unit
|
||||
{ $values { "n" float } }
|
||||
{ $description "Outputs a random uniform float from [0,1]." } ;
|
||||
|
||||
HELP: random-units
|
||||
{ $values { "length" integer } { "sequence" array } }
|
||||
{ $description "Outputs an array with " { $snippet "length" } " random uniform floats from [0,1]." }
|
||||
|
|
@ -85,7 +89,6 @@ HELP: random-bits*
|
|||
}
|
||||
{ $description "Returns an integer exactly " { $snippet "numbits" } " in length, with the topmost bit set to one." } ;
|
||||
|
||||
|
||||
HELP: with-random
|
||||
{ $values { "tuple" "a random generator" } { "quot" "a quotation" } }
|
||||
{ $description "Calls the quotation with the random generator in a dynamic variable. All random numbers will be generated using this random generator." } ;
|
||||
|
|
|
|||
Loading…
Reference in New Issue