suckless/dwm - Unnamed repository; edit this file 'description' to name the repository.

diff options

Diffstat (limited to 'main.c')

-rw-r--r--

1 files changed, 6 insertions, 2 deletions

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 068random.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 def <a href='068random.mu.html#L1'>random</a> generator:&:<a href='066stream.mu.html#L2'>stream</a>:num -> result:num, fail?:bool, generator:&:<a href='066stream.mu.html#L2'>stream</a>:num [ 2 local-scope 3 load-ingredients 4 { 5 ¦ break-if generator 6 ¦ # generator is 0? use real random-number generator 7 ¦ result <- real-random 8 ¦ return result, 0/false 9 } 10 result, fail?, generator <- read generator 11 ] 12 13 # helper for tests 14 def <a href='068random.mu.html#L14'>assume-random-numbers</a> -> result:&:<a href='066stream.mu.html#L2'>stream</a>:num [ 15 local-scope 16 load-ingredients 17 # compute result-len, space to allocate in result 18 result-len:num <- copy 0 19 { 20 ¦ _, arg-received?:bool <- next-ingredient 21 ¦ break-unless arg-received? 22 ¦ result-len <- add result-len, 1 23 ¦ loop 24 } 25 rewind-ingredients 26 result-data:&:@:num <- new number:type, result-len 27 idx:num <- copy 0 28 { 29 ¦ curr:num, arg-received?:bool <- next-ingredient 30 ¦ break-unless arg-received? 31 ¦ *result-data <- put-index *result-data, idx, curr 32 ¦ idx <- add idx, 1 33 ¦ loop 34 } 35 result <- <a href='066stream.mu.html#L7'>new-stream</a> result-data 36 ] 37 38 scenario random-numbers-in-scenario [ 39 local-scope 40 <a href='075channel.mu.html#L43'>source</a>:&:<a href='066stream.mu.html#L2'>stream</a>:num <- <a href='068random.mu.html#L14'>assume-random-numbers</a> 34, 35, 37 41 1:num/raw, 2:bool/raw <- <a href='068random.mu.html#L1'>random</a> <a href='075channel.mu.html#L43'>source</a> 42 3:num/raw, 4:bool/raw <- <a href='068random.mu.html#L1'>random</a> <a href='075channel.mu.html#L43'>source</a> 43 5:num/raw, 6:bool/raw <- <a href='068random.mu.html#L1'>random</a> <a href='075channel.mu.html#L43'>source</a> 44 7:num/raw, 8:bool/raw <- <a href='068random.mu.html#L1'>random</a> <a href='075channel.mu.html#L43'>source</a> 45 memory-should-contain [ 46 ¦ 1 <- 34 47 ¦ 2 <- 0 # everything went well 48 ¦ 3 <- 35 49 ¦ 4 <- 0 # everything went well 50 ¦ 5 <- 37 51 ¦ 6 <- 0 # everything went well 52 ¦ 7 <- 0 # empty result 53 ¦ 8 <- 1 # end of stream 54 ] 55 ] 56 57 # generate a random integer in the semi-open interval [start, end) 58 def <a href='068random.mu.html#L58'>random-in-range</a> generator:&:<a href='066stream.mu.html#L2'>stream</a>:num, start:num, end:num -> result:num, fail?:bool, generator:&:<a href='066stream.mu.html#L2'>stream</a>:num [ 59 local-scope 60 load-ingredients 61 result, fail?, generator <- <a href='068random.mu.html#L1'>random</a> generator 62 return-if fail? 63 delta:num <- subtract end, start 64 _, result <- divide-with-remainder result, delta 65 result <- add result, start 66 ] 67 68 scenario <a href='068random.mu.html#L58'>random-in-range</a> [ 69 local-scope 70 <a href='075channel.mu.html#L43'>source</a>:&:<a href='066stream.mu.html#L2'>stream</a>:num <- <a href='068random.mu.html#L14'>assume-random-numbers</a> 91 71 1:num/raw <- <a href='068random.mu.html#L58'>random-in-range</a> <a href='075channel.mu.html#L43'>source</a>, 40, 50 72 memory-should-contain [ 73 ¦ 1 <- 41 74 ] 75 ] </pre> </body> </html>


context:
space:
mode: