git.iko.soy/urbit.org
on 6d45ede help sign in
urbit.org/docs/hoon/library/4c.md
361 lines 7.6 kB history raw
1---
2navhome: /docs
3---
6# 4c: tank printer
7### `++re`
9Pretty-printing engine
11Pretty-printing engine that accepts a `++tank` sample and contains arms that perform computation on it.
13Accepts
14-------
16`tac` is a `++tank`.
18Produces
19--------
21 ++ re
22 |_ tac/tank
24Examples
25--------
27 /> ~(. re leaf+"ham")
28 <2.gdc {tac/{$leaf ""} <402.arm 110.jyx 1.ztu $151>}>
30### `++ram`
32Flatten to tape
34Flatten `++tank` out into a `++tape`.
36Accepts
37-------
39`tac` is a `++tank`, taken from sample of `++re` core.
41Produces
42--------
44A `++tape`.
46Source
47------
49 ++ ram
50 ^- tape
51 ?- -.tac
52 $leaf p.tac
53 $palm ram(tac [%rose [p.p.tac (weld q.p.tac r.p.tac) s.p.tac] q.tac])
54 $rose
55 %+ weld
56 q.p.tac
57 |- ^- tape
58 ?~ q.tac
59 r.p.tac
60 =+ voz=$(q.tac t.q.tac)
61 (weld ram(tac i.q.tac) ?~(t.q.tac voz (weld p.p.tac voz)))
62 ==
63 ::
65Examples
66--------
68 /> ~(ram re leaf+"foo")
69 "foo"
70 /> ~(ram re rose+["." "(" ")"]^~[leaf+"bar" leaf+"baz" leaf+"bam"])
71 "(bar.baz.bam)"
73### `++win`
75Render at indent
77Render at indent level `tab` and width `edg`.
79Accepts
80-------
82`tac` is a `++tank`, taken from sample of `++re` core.
84`tab` and `edg` are atoms.
86Produces
87--------
89A `++wall` (`++list` of `++tapes`).
91Source
92------
94 ++ win
95 |= {tab/@ edg/@}
96 =+ lug=`wall`~
97 |^ |- ^- wall
98 ?- -.tac
99 $leaf (rig p.tac)
100 $palm
101 ?: fit
102 (rig ram)
103 ?~ q.tac
104 (rig q.p.tac)
105 ?~ t.q.tac
106 (rig(tab (add 2 tab), lug $(tac i.q.tac)) q.p.tac)
107 => .(q.tac `(list tank)`q.tac)
108 =+ lyn=(mul 2 (lent q.tac))
109 =+ ^= qyr
110 |- ^- wall
111 ?~ q.tac
112 lug
113 %= ^$
114 tac i.q.tac
115 tab (add tab (sub lyn 2))
116 lug $(q.tac t.q.tac, lyn (sub lyn 2))
117 ==
118 (wig(lug qyr) q.p.tac)
119 ::
121Examples
122--------
124 /> (~(win re leaf+"samoltekon-lapdok") 0 20)
125 <<"samoltekon-lapdok">>
126 /> (~(win re leaf+"samoltekon-lapdok") 0 10)
127 <<"\/samolt\/" " ekon-l" " apdok" "\/ \/">>
128 /> (~(win re rose+["--" "[" "]"]^~[leaf+"1423" leaf+"2316"]) 0 20)
129 <<"[1423--2316]">>
130 /> (~(win re rose+["--" "[" "]"]^~[leaf+"1423" leaf+"2316"]) 0 10)
131 <<"[ 1423" " 2316" "]">>
133### `++din`
135XX document
137Accepts
138-------
140Produces
141--------
143Source
144------
146 ++ din (mod (add 2 tab) (mul 2 (div edg 3)))
149----------------------------------------------------------------------
151### `++fit`
153Fit on one line test
155Determine whether `tac` fits on one line. Internal to `++win`
157Accepts
158-------
160Produces
161--------
163Source
164------
166++ fit (lte (lent ram) (sub edg tab))
169Examples
170--------
175----------------------------------------------------------------------
177### `++rig`
179Wrap in `\/`
181Wrap `++tape` in `\/` if it doesn't fit at current indentation. Internal to
182`++win`
184Accepts
185-------
187`tac` is a `++tank`, taken from sample of `++re` core.
189`hom` is a `++tape`.
191Produces
192--------
194A `++wall` (list of `++tape`s).
196Source
197------
199 ++ rig
200 |= hom/tape
201 ^- wall
202 ?: & ::(lte (lent hom) (sub edg tab))
203 [(runt [tab ' '] hom) lug]
204 => .(tab (add tab 2), edg (sub edg 2))
205 =+ mut=(trim (sub edg tab) hom)
206 :- (runt [(sub tab 2) ' '] ['\\' '/' (weld p.mut `_hom`['\\' '/' ~])])
207 => .(hom q.mut)
208 |-
209 ?~ hom
210 :- %+ runt
211 [(sub tab 2) ' ']
212 ['\\' '/' (runt [(sub edg tab) ' '] ['\\' '/' ~])]
213 lug
214 => .(mut (trim (sub edg tab) hom))
215 [(runt [tab ' '] p.mut) $(hom q.mut)]
216 ::
218Examples
219--------
221### `++wig`
223`++win` render tape
225Render `++tape`. Internal to `++win`.
227Accepts
228-------
230`tac` is a `++tank`, taken from sample of `++re` core.
232`hom` is a `++tape`.
234Produces
235--------
237 ++ wig
238 |= hom/tape
239 ^- wall
240 ?~ lug
241 (rig hom)
242 =+ lin=(lent hom)
243 =+ wug=:(add 1 tab lin)
244 ?. =+ mir=i.lug
245 |- ?~ mir
246 |
247 ?|(=(0 wug) ?&(=(' ' i.mir) $(mir t.mir, wug (dec wug))))
248 (rig hom) :: ^ XX regular form?
249 [(runt [tab ' '] (weld hom `tape`[' ' (slag wug i.lug)])) t.lug]
250 --
251 --
256***
257### `++show`
259 ++ show :: XX deprecated, use span
260 |= vem/*
261 |^ ^- tank
262 ?: ?=(@ vem)
263 [%leaf (mesc (trip vem))]
264 ?- vem
265 {s/$~ c/*}
266 [%leaf '\'' (weld (mesc (tape +.vem)) `tape`['\'' ~])]
267 ::
268 {s/$a c/@} [%leaf (mesc (trip c.vem))]
269 {s/$b c/*} (shop c.vem |=(a/@ ~(rub at a)))
270 {s/{$c p/@} c/*}
271 :+ %palm
272 [['.' ~] ['-' ~] ~ ~]
273 [[%leaf (mesc (trip p.s.vem))] $(vem c.vem) ~]
274 ::
275 {s/$d c/*} (shop c.vem |=(a/@ ~(rud at a)))
276 {s/$k c/*} (tank c.vem)
277 {s/$h c/*}
278 :+ %rose
279 [['/' ~] ['/' ~] ~]
280 =+ yol=((list @ta) c.vem)
281 (turn yol |=(a/@ta [%leaf (trip a)]))
282 ::
283 {s/$l c/*} (shol c.vem)
284 {s/$o c/*}
285 %= $
286 vem
287 :- [%m '%h:<[%d %d].[%d %d]>']
288 [-.c.vem +<-.c.vem +<+.c.vem +>-.c.vem +>+.c.vem ~]
289 ==
290 ::
291 {s/$p c/*} (shop c.vem |=(a/@ ~(rup at a)))
292 {s/$q c/*} (shop c.vem |=(a/@ ~(r at a)))
293 {s/$r c/*} $(vem [[%r ' ' '{' '}'] c.vem])
294 {s/$t c/*} (shop c.vem |=(a/@ ~(rt at a)))
295 {s/$v c/*} (shop c.vem |=(a/@ ~(ruv at a)))
296 {s/$x c/*} (shop c.vem |=(a/@ ~(rux at a)))
297 {s/{$m p/@} c/*} (shep p.s.vem c.vem)
298 {s/{$r p/@} c/*}
299 $(vem [[%r ' ' (cut 3 [0 1] p.s.vem) (cut 3 [1 1] p.s.vem)] c.vem])
300 ::
301 {s/{$r p/@ q/@ r/@} c/*}
302 :+ %rose
303 :* p=(mesc (trip p.s.vem))
304 q=(mesc (trip q.s.vem))
305 r=(mesc (trip r.s.vem))
306 ==
307 |- ^- (list tank)
308 ?@ c.vem
309 ~
310 [^$(vem -.c.vem) $(c.vem +.c.vem)]
311 ::
312 {s/$z c/*} $(vem [[%r %$ %$ %$] c.vem])
313 * !!
314 ==
316XX document
318### `++shep`
320 ++ shep
321 |= {fom/@ gar/*}
322 ^- tank
323 =+ l=(met 3 fom)
324 =+ i=0
325 :- %leaf
326 |- ^- tape
327 ?: (gte i l)
328 ~
329 =+ c=(cut 3 [i 1] fom)
330 ?. =(37 c)
331 (weld (mesc [c ~]) $(i +(i)))
332 =+ d=(cut 3 [+(i) 1] fom)
333 ?. .?(gar)
334 ['\\' '#' $(i (add 2 i))]
335 (weld ~(ram re (show d -.gar)) $(i (add 2 i), gar +.gar))
336 ::
338XX document
340### `++shop`
342 ++ shop
343 |= {aug/* vel/$-(a/@ tape)}
344 ^- tank
345 ?: ?=(@ aug)
346 [%leaf (vel aug)]
347 :+ %rose
348 [[' ' ~] ['[' ~] [']' ~]]
349 => .(aug `*`aug)
350 |- ^- (list tank)
351 ?: ?=(@ aug)
352 [^$ ~]
353 [^$(aug -.aug) $(aug +.aug)]
354 ::
357XX document
361***