ranger - mirror of ranger - a simple, vim-like file manager

diff options

Diffstat (limited to 'doc')

-rw-r--r--

2 files changed, 2 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 - 066stream.mu</title> <meta name="Generator" content="Vim/8.0"> <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();'> <a href='https://github.com/akkartik/mu/blob/master/066stream.mu'>https://github.com/akkartik/mu/blob/master/066stream.mu</a> <pre id='vimCodeElement'> 1 # new type to help incrementally scan arrays 2 container <a href='066stream.mu.html#L2'>stream</a>:_elem [ 3 index:num 4 data:&:@:_elem 5 ] 6 7 def <a href='066stream.mu.html#L7'>new-stream</a> s:&:@:_elem -> result:&:<a href='066stream.mu.html#L2'>stream</a>:_elem [ 8 local-scope 9 load-inputs 10 return-unless s, null 11 result <- new {(stream _elem): type} 12 *result <- put *result, index:offset, 0 13 *result <- put *result, data:offset, s 14 ] 15 16 def <a href='066stream.mu.html#L16'>rewind</a> in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem -> in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem [ 17 local-scope 18 load-inputs 19 return-unless in 20 *in <- put *in, index:offset, 0 21 ] 22 23 def read in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem -> result:_elem, empty?:bool, in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem [ 24 local-scope 25 load-inputs 26 assert in, [cannot read; <a href='066stream.mu.html#L2'>stream</a> has no data] 27 empty? <- copy false 28 idx:num <- get *in, index:offset 29 s:&:@:_elem <- get *in, data:offset 30 len:num <- length *s 31 at-end?:bool <- greater-or-equal idx len 32 { 33 break-unless at-end? 34 empty-result:&:_elem <- new _elem:type 35 return *empty-result, true 36 } 37 result <- index *s, idx 38 idx <- add idx, 1 39 *in <- put *in, index:offset, idx 40 ] 41 42 def <a href='066stream.mu.html#L42'>peek</a> in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem -> result:_elem, empty?:bool [ 43 local-scope 44 load-inputs 45 assert in, [cannot peek; <a href='066stream.mu.html#L2'>stream</a> has no data] 46 empty?:bool <- copy false 47 idx:num <- get *in, index:offset 48 s:&:@:_elem <- get *in, data:offset 49 len:num <- length *s 50 at-end?:bool <- greater-or-equal idx len 51 { 52 break-unless at-end? 53 empty-result:&:_elem <- new _elem:type 54 return *empty-result, true 55 } 56 result <- index *s, idx 57 ] 58 59 def <a href='066stream.mu.html#L59'>read-line</a> in:&:<a href='066stream.mu.html#L2'>stream</a>:char -> result:text, in:&:<a href='066stream.mu.html#L2'>stream</a>:char [ 60 local-scope 61 load-inputs 62 assert in, [cannot read-line; <a href='066stream.mu.html#L2'>stream</a> has no data] 63 idx:num <- get *in, index:offset 64 s:text <- get *in, data:offset 65 next-idx:num <- find-next s, 10/newline, idx 66 result <- <a href='061text.mu.html#L1287'>copy-range</a> s, idx, next-idx 67 idx <- add next-idx, 1 # skip newline 68 # write back 69 *in <- put *in, index:offset, idx 70 ] 71 72 def <a href='066stream.mu.html#L72'>end-of-stream?</a> in:&:<a href='066stream.mu.html#L2'>stream</a>:_elem -> result:bool [ 73 local-scope 74 load-inputs 75 assert in, [cannot check end-of-stream?; <a href='066stream.mu.html#L2'>stream</a> has no data] 76 idx:num <- get *in, index:offset 77 s:&:@:_elem <- get *in, data:offset 78 len:num <- length *s 79 result <- greater-or-equal idx, len 80 ] </pre> </body> </html>


context:
space:
mode: