factorial.mu « arc - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 96a28fd3e6da197438589eaa95ecdfbfde5900a2 (plain) (tree)

0ca35d02 ^

d1c12218 ^

b96af395 ^

f184c95e ^

b96af395 ^

d4b4d018 ^

f184c95e ^

b96af395 ^

f184c95e ^

0ca35d02 ^

d4b4d018 generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-20 08:31:46 +0000

s="o">+lineNum; } lineElem = document.getElementById(lineNum); /* Always jump to new location even if the line was hidden inside a fold, or * we corrected the raw number to a line ID. */ if (lineElem) { lineElem.scrollIntoView(true); } return true; } if ('onhashchange' in window) { window.onhashchange = JumpToLine; } --> </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 # Wrappers around interaction primitives that take a potentially fake object 2 # and are thus easier to test. 3 4 exclusive-container <a href='084console.mu.html#L4'>event</a> [ 5 text:char 6 keycode:num # keys on keyboard without a unicode representation 7 touch:<a href='084console.mu.html#L12'>touch-event</a> # mouse, track ball, etc. 8 resize:<a href='084console.mu.html#L18'>resize-event</a> 9 # update the assume-console handler if you add more variants 10 ] 11 12 container <a href='084console.mu.html#L12'>touch-event</a> [ 13 type:num 14 row:num 15 column:num 16 ] 17 18 container <a href='084console.mu.html#L18'>resize-event</a> [ 19 width:num 20 height:num 21 ] 22 23 container <a href='084console.mu.html#L23'>console</a> [ 24 current-event-index:num 25 events:&:@:<a href='084console.mu.html#L4'>event</a> 26 ] 27 28 def <a href='084console.mu.html#L28'>new-fake-console</a> events:&:@:<a href='084console.mu.html#L4'>event</a> -> result:&:<a href='084console.mu.html#L23'>console</a> [ 29 local-scope 30 load-ingredients 31 result:&:<a href='084console.mu.html#L23'>console</a> <- new <a href='084console.mu.html#L23'>console</a>:type 32 *result <- put *result, events:offset, events 33 ] 34 35 def <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:<a href='084console.mu.html#L4'>event</a>, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 36 local-scope 37 load-ingredients 38 { 39 ¦ break-unless <a href='084console.mu.html#L23'>console</a> 40 ¦ current-event-index:num <- get *console, current-event-index:offset 41 ¦ buf:&:@:<a href='084console.mu.html#L4'>event</a> <- get *console, events:offset 42 ¦ { 43 ¦ ¦ max:num <- length *buf 44 ¦ ¦ done?:bool <- greater-or-equal current-event-index, max 45 ¦ ¦ break-unless done? 46 ¦ ¦ dummy:&:<a href='084console.mu.html#L4'>event</a> <- new <a href='084console.mu.html#L4'>event</a>:type 47 ¦ ¦ return *dummy, 1/found, 1/quit 48 ¦ } 49 ¦ result <- index *buf, current-event-index 50 ¦ current-event-index <- add current-event-index, 1 51 ¦ *console <- put *console, current-event-index:offset, current-event-index 52 ¦ return result, 1/found, 0/quit 53 } 54 switch # real event source is infrequent; avoid polling it too much 55 result:<a href='084console.mu.html#L4'>event</a>, found?:bool <- check-for-interaction 56 return result, found?, 0/quit 57 ] 58 59 # variant of read-event for just keyboard events. Discards everything that 60 # isn't unicode, so no arrow keys, page-up/page-down, etc. But you still get 61 # newlines, tabs, ctrl-d.. 62 def <a href='084console.mu.html#L62'>read-key</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:char, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 63 local-scope 64 load-ingredients 65 x:<a href='084console.mu.html#L4'>event</a>, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a> <- <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a> 66 return-if quit?, 0, found?, quit? 67 return-unless found?, 0, found?, quit? 68 c:char, converted?:bool <- maybe-convert x, text:variant 69 return-unless converted?, 0, 0/found, 0/quit 70 return c, 1/found, 0/quit 71 ] 72 73 def <a href='084console.mu.html#L73'>send-keys-to-channel</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a>, chan:&:<a href='075channel.mu.html#L47'>sink</a>:char, <a href='081print.mu.html#L16'>screen</a>:&:<a href='081print.mu.html#L16'>screen</a> -> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a>, chan:&:<a href='075channel.mu.html#L47'>sink</a>:char, <a href='081print.mu.html#L16'>screen</a>:&:<a href='081print.mu.html#L16'>screen</a> [ 74 local-scope 75 load-ingredients 76 { 77 ¦ c:char, found?:bool, quit?:bool, <a href='084console.mu.html#L23'>console</a> <- <a href='084console.mu.html#L62'>read-key</a> <a href='084console.mu.html#L23'>console</a> 78 ¦ loop-unless found? 79 ¦ break-if quit? 80 ¦ assert c, [invalid <a href='084console.mu.html#L4'>event</a>, expected text] 81 ¦ <a href='081print.mu.html#L16'>screen</a> <- print <a href='081print.mu.html#L16'>screen</a>, c 82 ¦ chan <- <a href='075channel.mu.html#L67'>write</a> chan, c 83 ¦ loop 84 } 85 chan <- close chan 86 ] 87 88 def <a href='084console.mu.html#L88'>wait-for-event</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> [ 89 local-scope 90 load-ingredients 91 { 92 ¦ _, found?:bool <- <a href='084console.mu.html#L35'>read-event</a> <a href='084console.mu.html#L23'>console</a> 93 ¦ break-if found? 94 ¦ switch 95 ¦ loop 96 } 97 ] 98 99 def <a href='084console.mu.html#L99'>has-more-events?</a> <a href='084console.mu.html#L23'>console</a>:&:<a href='084console.mu.html#L23'>console</a> -> result:bool [ 100 local-scope 101 load-ingredients 102 return-if <a href='084console.mu.html#L23'>console</a>, 0/false # fake events are processed as soon as they arrive 103 result <- interactions-left? 104 ] </pre> </body> </html>