git.iko.soy/urbit.org
on master help sign in
Merge pull request #1300 from urbit/update-stdlib-4k-4l
f43ec86tinnus-napbus
content/docs/hoon/reference/stdlib/4k.md+741−176
compare with master
unifiedsplit
@@ -8,30 +8,38 @@ template = "doc.html"
8
8
9Literal rendering engine
9Literal rendering engine
10
10
11−A door that contains arms that operate on the sample coin `lot`.
11+`++co` contains three parts:
12
12
13−#### Accepts
13+- A door that contains arms that operate on the sample coin `lot`.
14+- A core of rendering idioms.
15+- A core of additional formatting functions used internally.
14
16
15−#### Produces
17+#### Accepts
16
18
17−`lot` is a `++coin`.
19+`lot` is a `coin`.
18
20
19#### Source
21#### Source
20
22
23+The arm begins with the door:
24+
21```hoon
25```hoon
22− ++ co !.
26+++ co
27+ !:
23− ~% %co ..co ~
28+ ~% %co ..co ~
24− =< |_ lot/coin
29+ =< |_ lot=coin
25```
30```
26
31
27−#### Examples
32+Then after that the rendering idiom core begins with:
28
33
34+```hoon
35+=| rep=tape
36+=< |%
29```
37```
30− > < 3.nta
38+
31− { lot/{$many {$~ $ta @t} {$~ $ud @ud} $~}
39+And finally the third core:
32− <10.cfg 4.jjn {rep/"" <402.arm 110.jyx 1.ztu $151>}>
40+
33− }
41+```hoon
34− >
42+|%
35```
43```
36
44
37---
45---
@@ -44,53 +52,57 @@ Renders a coin `lot` as a tape prepended to the sample tape `rom`.
44
52
45#### Accepts
53#### Accepts
46
54
47−#### Produces
55+`lot` is a `coin`, and is the sample of `++co`.
48
56
49−`rom` is a `pe`
57+`rom` is a `tape`.
50
58
51−`lot` is a `++coin`.
59+#### Produces
60+
61+A `tape`.
52
62
53#### Source
63#### Source
54
64
55```hoon
65```hoon
56− ++ rear |=(rom/tape =>(.(rex rom) rend))
66+++ rear |=(rom=tape rend(rep rom))
57```
67```
58
68
59#### Examples
69#### Examples
60
70
61```
71```
62− > (~(rear co %$ %ux 200) "--ha")
72+> (~(rear co %$ %ux 200) "--ha")
63− "0xc8--ha"
73+"0xc8--ha"
64```
74```
65
75
66---
76---
67
77
68### `++rent:co`
78### `++rent:co`
69
79
70−Render as span
80+Render as knot
71
81
72−Renders a coin `lot` as a span.
82+Renders a coin `lot` as a `knot`.
73
83
74#### Accepts
84#### Accepts
75
85
86+`lot` is a `coin`, and is the sample of `++co`.
87+
76#### Produces
88#### Produces
77
89
78−`lot` is a `++coin`.
90+A `knot`.
79
91
80#### Source
92#### Source
81
93
82```hoon
94```hoon
83− ++ rent `@ta`(rap 3 rend)
95+++ rent ~+ `@ta`(rap 3 rend)
84```
96```
85
97
86#### Examples
98#### Examples
87
99
88```
100```
89− > ~(rent co %$ %ux 200)
101+> ~(rent co %$ %ux 200)
90− ~.0xc8
102+~.0xc8
91
103
92− > `@t`~(rent co %$ %ux 200)
104+> `@t`~(rent co %$ %ux 200)
93− '0xc8'
105+'0xc8'
94```
106```
95
107
96---
108---
@@ -99,178 +111,731 @@ Renders a coin `lot` as a span.
99
111
100Render as tape
112Render as tape
101
113
102−Renders a coin `lot` as a tape.
114+Renders a coin `lot` as a `tape`.
115+
116+#### Accepts
117+
118+`lot` is a `coin`, and is the sample of `++co`.
119+
120+#### Produces
121+
122+A `tape`.
123+
124+#### Source
125+
126+```hoon
127+++ rend
128+ ^- tape
129+ ~+
130+ ?: ?=(%blob -.lot)
131+ ['~' '0' ((v-co 1) (jam p.lot))]
132+ ?: ?=(%many -.lot)
133+ :- '.'
134+ |- ^- tape
135+ ?~ p.lot
136+ ['_' '_' rep]
137+ ['_' (weld (trip (wack rent(lot i.p.lot))) $(p.lot t.p.lot))]
138+ =+ [yed=(end 3 p.p.lot) hay=(cut 3 [1 1] p.p.lot)]
139+ |- ^- tape
140+ ?+ yed (z-co q.p.lot)
141+ %c ['~' '-' (weld (rip 3 (wood (tuft q.p.lot))) rep)]
142+ %d
143+ ?+ hay (z-co q.p.lot)
144+ %a
145+ =+ yod=(yore q.p.lot)
146+ =? rep ?=(^ f.t.yod) ['.' (s-co f.t.yod)]
147+ =? rep !&(?=(~ f) =(0 h) =(0 m) =(0 s)):t.yod
148+ =. rep ['.' (y-co s.t.yod)]
149+ =. rep ['.' (y-co m.t.yod)]
150+ ['.' '.' (y-co h.t.yod)]
151+ =. rep ['.' (a-co d.t.yod)]
152+ =. rep ['.' (a-co m.yod)]
153+ =? rep !a.yod ['-' rep]
154+ ['~' (a-co y.yod)]
155+ ::
156+ %r
157+ =+ yug=(yell q.p.lot)
158+ =? rep ?=(^ f.yug) ['.' (s-co f.yug)]
159+ :- '~'
160+ ?: &(=(0 d.yug) =(0 m.yug) =(0 h.yug) =(0 s.yug))
161+ ['s' '0' rep]
162+ =? rep !=(0 s.yug) ['.' 's' (a-co s.yug)]
163+ =? rep !=(0 m.yug) ['.' 'm' (a-co m.yug)]
164+ =? rep !=(0 h.yug) ['.' 'h' (a-co h.yug)]
165+ =? rep !=(0 d.yug) ['.' 'd' (a-co d.yug)]
166+ +.rep
167+ ==
168+ ::
169+ %f
170+ ?: =(& q.p.lot)
171+ ['.' 'y' rep]
172+ ?:(=(| q.p.lot) ['.' 'n' rep] (z-co q.p.lot))
173+ ::
174+ %n ['~' rep]
175+ %i
176+ ?+ hay (z-co q.p.lot)
177+ %f ((ro-co [3 10 4] |=(a=@ ~(d ne a))) q.p.lot)
178+ %s ((ro-co [4 16 8] |=(a=@ ~(x ne a))) q.p.lot)
179+ ==
180+ ::
181+ %p
182+ =+ sxz=(fein:ob q.p.lot)
183+ =+ dyx=(met 3 sxz)
184+ :- '~'
185+ ?: (lte dyx 1)
186+ (weld (trip (tod:po sxz)) rep)
187+ =+ dyy=(met 4 sxz)
188+ =| imp=@ud
189+ |- ^- tape
190+ ?: =(imp dyy)
191+ rep
192+ %= $
193+ imp +(imp)
194+ rep =/ log (cut 4 [imp 1] sxz)
195+ ;: weld
196+ (trip (tos:po (rsh 3 log)))
197+ (trip (tod:po (end 3 log)))
198+ ?:(=((mod imp 4) 0) ?:(=(imp 0) "" "--") "-")
199+ rep
200+ == ==
201+ ::
202+ %q
203+ :+ '.' '~'
204+ =; res=(pair ? tape)
205+ (weld q.res rep)
206+ %+ roll
207+ =* val q.p.lot
208+ ?:(=(0 val) ~[0] (rip 3 val))
209+ |= [q=@ s=? r=tape]
210+ :- !s
211+ %+ weld
212+ (trip (?:(s tod:po tos:po) q))
213+ ?.(&(s !=(r "")) r ['-' r])
214+ ::
215+ %r
216+ ?+ hay (z-co q.p.lot)
217+ %d ['.' '~' (r-co (rlyd q.p.lot))]
218+ %h ['.' '~' '~' (r-co (rlyh q.p.lot))]
219+ %q ['.' '~' '~' '~' (r-co (rlyq q.p.lot))]
220+ %s ['.' (r-co (rlys q.p.lot))]
221+ ==
222+ ::
223+ %u
224+ ?: ?=(%c hay)
225+ %+ welp ['0' 'c' (reap (pad:fa q.p.lot) '1')]
226+ (c-co (enc:fa q.p.lot))
227+ ::
228+ =; gam=(pair tape tape)
229+ (weld p.gam ?:(=(0 q.p.lot) `tape`['0' ~] q.gam))
230+ ?+ hay [~ ((ox-co [10 3] |=(a=@ ~(d ne a))) q.p.lot)]
231+ %b [['0' 'b' ~] ((ox-co [2 4] |=(a=@ ~(d ne a))) q.p.lot)]
232+ %i [['0' 'i' ~] ((d-co 1) q.p.lot)]
233+ %x [['0' 'x' ~] ((ox-co [16 4] |=(a=@ ~(x ne a))) q.p.lot)]
234+ %v [['0' 'v' ~] ((ox-co [32 5] |=(a=@ ~(x ne a))) q.p.lot)]
235+ %w [['0' 'w' ~] ((ox-co [64 5] |=(a=@ ~(w ne a))) q.p.lot)]
236+ ==
237+ ::
238+ %s
239+ %+ weld
240+ ?:((syn:si q.p.lot) "--" "-")
241+ $(yed 'u', q.p.lot (abs:si q.p.lot))
242+ ::
243+ %t
244+ ?: =('a' hay)
245+ ?: =('s' (cut 3 [2 1] p.p.lot))
246+ (weld (rip 3 q.p.lot) rep)
247+ ['~' '.' (weld (rip 3 q.p.lot) rep)]
248+ ['~' '~' (weld (rip 3 (wood q.p.lot)) rep)]
249+ ==
250+```
251+
252+#### Examples
253+
254+```
255+> ~(rend co %$ %ux 200)
256+"0xc8"
257+
258+> ~(rend co %many ~[[%$ ux+200] [%$ p+40]])
259+"._0xc8_~~tem__"
260+
261+> ~(rend co %$ %p 32.819)
262+"~lasmev"
263+
264+> ~(rend co %$ %ux 18)
265+"0x12"
266+
267+> ~(rend co [%$ p=[p=%if q=0x7f00.0001]])
268+".127.0.0.1"
269+
270+> ~(rend co %many ~[[%$ %ud 20] [%$ %uw 133] [%$ %tas 'sam']])
271+"._20_0w25_sam__"
272+
273+> ~(rend co %blob [1 1])
274+"~0ph"
275+```
276+
277+---
278+
279+### `++a-co:co`
280+
281+Render decimal
282+
283+Render `dat` as a decimal integer without separators.
284+
285+#### Accepts
286+
287+`dat` is an atom.
288+
289+#### Produces
290+
291+A `tape`
292+
293+#### Source
294+
295+```hoon
296+++ a-co |=(dat=@ ((d-co 1) dat))
297+```
298+
299+#### Examples
300+
301+```
302+> (a-co:co 123.456.789)
303+"123456789"
304+```
305+
306+---
307+
308+### `++c-co:co`
309+
310+Render base58check
311+
312+Renders the given `atom` as a base58check `tape`.
313+
314+#### Accepts
315+
316+An `atom`.
317+
318+#### Produces
319+
320+A `tape`.
321+
322+#### Source
323+
324+```hoon
325+++ c-co (em-co [58 1] |=([? b=@ c=tape] [~(c ne b) c]))
326+```
327+
328+#### Examples
329+
330+```
331+> (enc:fa 0xdead.beef)
332+0xdead.beef.938b.8b0c
333+
334+> (c-co:co 0xdead.beef.938b.8b0c)
335+"eFGDJSVvRHd"
336+```
337+
338+---
339+
340+### `++d-co:co`
341+
342+Render decimal with min length
343+
344+Render `hol` as a decimal integer without separators and with a minimum length
345+of `min`. If `hol` has less than `min` digits, leading zeros will be added to
346+make up the difference.
347+
348+#### Accepts
349+
350+`min` is an atom.
351+
352+`hol` is an atom.
353+
354+#### Produces
355+
356+A `tape`.
357+
358+#### Source
359+
360+```hoon
361+++ d-co |=(min=@ (em-co [10 min] |=([? b=@ c=tape] [~(d ne b) c])))
362+```
363+
364+#### Examples
365+
366+```
367+> ((d-co:co 1) 123.456)
368+"123456"
369+
370+> ((d-co:co 9) 123.456)
371+"000123456"
372+```
373+
374+---
375+
376+### `++r-co:co`
377+
378+Render floating point
379+
380+Render decimal float `a` as a `tape`.
381+
382+#### Accepts
383+
384+`a` is a `++dn`.
385+
386+#### Produces
387+
388+A `tape`.
389+
390+#### Source
391+
392+```hoon
393+++ r-co
394+ |= a=dn
395+ ?: ?=([%i *] a) (weld ?:(s.a "inf" "-inf") rep)
396+ ?: ?=([%n *] a) (weld "nan" rep)
397+ =; rep ?:(s.a rep ['-' rep])
398+ =/ f ((d-co 1) a.a)
399+ =^ e e.a
400+ =/ e=@s (sun:si (lent f))
401+ =/ sci :(sum:si e.a e -1)
402+ ?: (syn:si (dif:si e.a --3)) [--1 sci] :: 12000 -> 12e3 e>+2
403+ ?: !(syn:si (dif:si sci -2)) [--1 sci] :: 0.001 -> 1e-3 e<-2
404+ [(sum:si sci --1) --0] :: 1.234e2 -> '.'@3 -> 123 .4
405+ =? rep !=(--0 e.a)
406+ :(weld ?:((syn:si e.a) "e" "e-") ((d-co 1) (abs:si e.a)))
407+ (weld (ed-co e f) rep)
408+```
409+
410+#### Examples
411+
412+```
413+> `tape`(r-co:co (rlys .3.14))
414+"3.14"
415+
416+> `tape`(r-co:co (rlys .1.681557e-39))
417+"1.681557e-39"
418+```
419+
420+---
421+
422+### `++s-co:co`
423+
424+Render hex list
425+
426+Render `esc`, a list of atoms, as hex with a dot before each value. Values less
427+than two bytes in length will be padded with zeros.
428+
429+#### Accepts
430+
431+`esc` is a `(list @)`.
432+
433+#### Produces
434+
435+A `tape`.
436+
437+#### Source
438+
439+```hoon
440+++ s-co
441+ |= esc=(list @) ^- tape
442+ ?~ esc rep
443+ ['.' =>(.(rep $(esc t.esc)) ((x-co 4) i.esc))]
444+```
445+
446+#### Examples
447+
448+```
449+> `tape`(s-co:co ~[0xdead 0xbeef 0xcafe])
450+".dead.beef.cafe"
451+
452+> `tape`(s-co:co ~[0xa 0xb 0xc])
453+".000a.000b.000c"
454+
455+> `tape`(s-co:co ~[0xdead.beef])
456+".deadbeef"
457+```
458+
459+---
460+
461+### `++v-co:co`
462+
463+Render base-32 with minimum length
464+
465+Render `hol` as base-32 with a minimum length of `min`. If `hol` is shorter than
466+`min` it will be padded with zeros.
467+
468+#### Accepts
469+
470+`min` is a `@ud`.
471+
472+`hol` is an atom.
473+
474+#### Produces
475+
476+A `tape`.
477+
478+#### Source
479+
480+```hoon
481+++ v-co |=(min=@ (em-co [32 min] |=([? b=@ c=tape] [~(v ne b) c])))
482+```
483+
484+#### Examples
485+
486+```
487+> `tape`((v-co:co 1) 0v2l7.eiug3.0mbd9)
488+"2l7eiug30mbd9"
489+
490+> `tape`((v-co:co 20) 0v2l7.eiug3.0mbd9)
491+"00000002l7eiug30mbd9"
492+```
493+
494+---
495+
496+### `++w-co:co`
497+
498+Render base-64 with minimum length
499+
500+Render `hol` as base-64 with a minimum length of `min`. If `hol` is horter than
501+`min` it will be padded with zeros.
502+
503+#### Accepts
504+
505+`min` is a `@ud`.
506+
507+`hol` is an atom.
508+
509+#### Produces
510+
511+A `tape`.
512+
513+#### Source
514+
515+```hoon
516+++ w-co |=(min=@ (em-co [64 min] |=([? b=@ c=tape] [~(w ne b) c])))
517+```
518+
519+#### Examples
520+
521+```
522+> `tape`((w-co:co 1) 0w2.OtBSR.pPVeT)
523+"2OtBSRpPVeT"
524+
525+> `tape`((w-co:co 20) 0w2.OtBSR.pPVeT)
526+"0000000002OtBSRpPVeT"
527+```
528+
529+---
530+
531+### `++x-co:co`
532+
533+Render hex with minimum length
534+
535+Render `hol` as hex with a minimum length of `min`. If `hol` is horter than
536+`min` it will be padded with zeros.
537+
538+#### Accepts
539+
540+`min` is a `@ud`.
541+
542+`hol` is an atom.
543+
544+#### Produces
545+
546+A `tape`.
547+
548+#### Source
549+
550+```hoon
551+++ x-co |=(min=@ (em-co [16 min] |=([? b=@ c=tape] [~(x ne b) c])))
552+```
553+
554+#### Examples
555+
556+```
557+> `tape`((x-co:co 1) 0xdead.beef)
558+"deadbeef"
559+
560+> `tape`((x-co:co 20) 0xdead.beef)
561+"000000000000deadbeef"
562+```
563+
564+---
565+
566+### `++y-co:co`
567+
568+Render decimal with at least two digits
569+
570+Render `dat` as a decimal with a minimum of two digits. If `dat` is less than
571+two digits it will be padded with zeros.
572+
573+#### Accepts
574+
575+`dat` is an atom.
576+
577+#### Produces
578+
579+A `tape`.
580+
581+#### Source
582+
583+```hoon
584+++ y-co |=(dat=@ ((d-co 2) dat))
585+```
586+
587+#### Examples
588+
589+```
590+> (y-co:co 0)
591+"00"
592+
593+> (y-co:co 1)
594+"01"
595+
596+> (y-co:co 123)
597+"123"
598+
599+> (y-co:co 123.456)
600+"123456"
601+```
602+
603+---
604+
605+### `++z-co:co`
606+
607+Render '0x'-prefixed hex
608+
609+Render `dat` as hex with a `0x` prefix.
610+
611+#### Accepts
612+
613+`dat` is an atom.
614+
615+#### Produces
616+
617+A `tape`.
618+
619+#### Source
620+
621+```hoon
622+++ z-co |=(dat=@ `tape`['0' 'x' ((x-co 1) dat)])
623+```
624+
625+#### Examples
626+
627+```
628+> (z-co:co 123)
629+"0x7b"
630+
631+> (z-co:co 0xdead.beef)
632+"0xdeadbeef"
633+
634+> (z-co:co 0)
635+"0x0"
636+```
637+
638+---
639+
640+### `++em-co:co`
641+
642+Render in numeric base
643+
644+In base `bas`, format `min` digits of `hol` with `par`. This is used internally
645+by other rendering functions.
646+
647+- `hol` is processed least-significant digit first.
648+- All available digits in `hol` will be processed, but
649+ `min` digits can exceed the number available in `hol`
650+- `par` handles all accumulated output on each call, and can edit it, prepend or
651+ append digits, etc.
652+- Until `hol` is exhausted, `par`'s sample is `[| digit output]`, subsequently,
653+ it's `[& 0 output]`.
654+
655+#### Accepts
656+
657+`[bas=@ min=@]`, where `bas` is the numeric base and `min` is the minimum
658+length.
659+
660+`par` is a `gate` of `$-([? @ tape] tape)`.
661+
662+`hol` is an atom.
663+
664+#### Produces
665+
666+A `tape`.
667+
668+#### Source
669+
670+```hoon
671+++ em-co
672+ |= [[bas=@ min=@] par=$-([? @ tape] tape)]
673+ |= hol=@
674+ ^- tape
675+ ?: &(=(0 hol) =(0 min))
676+ rep
677+ =/ [dar=@ rad=@] (dvr hol bas)
678+ %= $
679+ min ?:(=(0 min) 0 (dec min))
680+ hol dar
681+ rep (par =(0 dar) rad rep)
682+ ==
683+```
684+
685+#### Examples
686+
687+```
688+> ((em-co:co [16 10] |=([? b=@ c=tape] [~(x ne b) c])) 0xbeef)
689+"000000beef"
690+```
691+
692+---
693+
694+### `++ed-co:co`
695+
696+Format with decimal place
697+
698+Format `int` by specifying its size with `exp`, which may be negative. This is
699+used internally by other rendering functions.
700+
701+#### Accepts
702+
703+`exp` is a `@s`.
704+
705+`int` is a `tape`.
706+
707+#### Produces
708+
709+A `tape`.
710+
711+#### Source
712+
713+```hoon
714+++ ed-co
715+ |= [exp=@s int=tape] ^- tape
716+ =/ [pos=? dig=@u] [=(--1 (cmp:si exp --0)) (abs:si exp)]
717+ ?. pos
718+ (into (weld (reap +(dig) '0') int) 1 '.')
719+ =/ len (lent int)
720+ ?: (lth dig len) (into int dig '.')
721+ (weld int (reap (sub dig len) '0'))
722+```
723+
724+#### Examples
725+
726+```
727+> (ed-co:co --3 "100")
728+"100"
729+
730+> (ed-co:co --5 "100")
731+"10000"
732+
733+> (ed-co:co -1 "100")
734+"0.0100"
735+
736+> (ed-co:co -5 "100")
737+"0.00000100"
738+```
739+
740+---
741+
742+### `++ox-co:co`
743+
744+Format dot-separated digits in numeric base
745+
746+In base `bas`, format each digit of `hol` with gate `dug`, with '.' separators
747+every `gop` digits. This is used internally by other rendering functions.
748+
749+- `hol` is processed least-significant digit first.
750+- `dug` handles individual digits, output is prepended.
751+- Every segment but the last is zero-padded to `gop`.
103
752
104#### Accepts
753#### Accepts
105
754
755+`[bas=@ gop=@]` where `bas` is the numeric base and `gop` is dot separator
756+frequency.
757+
758+`dug` is a `gate` of `$-(@ @)`.
759+
760+`hol` is an atom.
761+
106#### Produces
762#### Produces
107
763
108−`lot` is a `++coin`.
764+A `tape`.
109
765
110#### Source
766#### Source
111
767
112```hoon
768```hoon
113− ++ rend
769+++ ox-co
114− ^- tape
770+ |= [[bas=@ gop=@] dug=$-(@ @)]
115− ?: ?=($blob -.lot)
771+ %+ em-co
116− ['~' '0' ((v-co 1) (jam p.lot))]
772+ [(pow bas gop) 0]
117− ?: ?=($many -.lot)
773+ |= [top=? seg=@ res=tape]
118− :- '.'
774+ %+ weld
119− |- ^- tape
775+ ?:(top ~ `tape`['.' ~])
120− ?~ p.lot
776+ %. seg
121− ['_' '_' rep]
777+ %+ em-co(rep res)
122− ['_' (weld (trip (wack rent(lot i.p.lot))) $(p.lot t.p.lot))]
778+ [bas ?:(top 0 gop)]
123− =+ [yed=(end 3 1 p.p.lot) hay=(cut 3 [1 1] p.p.lot)]
779+ |=([? b=@ c=tape] [(dug b) c])
124− |- ^- tape
125− ?+ yed (z-co q.p.lot)
126− $c ['~' '-' (weld (rip 3 (wood (tuft q.p.lot))) rep)]
127− $d
128− ?+ hay (z-co q.p.lot)
129− $a
130− =+ yod=(yore q.p.lot)
131− => ^+(. .(rep ?~(f.t.yod rep ['.' (s-co f.t.yod)])))
132− => ^+ .
133− %= .
134− rep
135− ?: &(=(~ f.t.yod) =(0 h.t.yod) =(0 m.t.yod) =(0 s.t.yod))
136− rep
137− => .(rep ['.' (y-co s.t.yod)])
138− => .(rep ['.' (y-co m.t.yod)])
139− ['.' '.' (y-co h.t.yod)]
140− ==
141− => .(rep ['.' (a-co d.t.yod)])
142− => .(rep ['.' (a-co m.yod)])
143− => .(rep ?:(a.yod rep ['-' rep]))
144− ['~' (a-co y.yod)]
145− ::
146− $r
147− =+ yug=(yell q.p.lot)
148− => ^+(. .(rep ?~(f.yug rep ['.' (s-co f.yug)])))
149− :- '~'
150− ?: &(=(0 d.yug) =(0 m.yug) =(0 h.yug) =(0 s.yug))
151− ['s' '0' rep]
152− => ^+(. ?:(=(0 s.yug) . .(rep ['.' 's' (a-co s.yug)])))
153− => ^+(. ?:(=(0 m.yug) . .(rep ['.' 'm' (a-co m.yug)])))
154− => ^+(. ?:(=(0 h.yug) . .(rep ['.' 'h' (a-co h.yug)])))
155− => ^+(. ?:(=(0 d.yug) . .(rep ['.' 'd' (a-co d.yug)])))
156− +.rep
157− ==
158− ::
159− $f
160− ?: =(& q.p.lot)
161− ['.' 'y' rep]
162− ?:(=(| q.p.lot) ['.' 'n' rep] (z-co q.p.lot))
163− ::
164− $n ['~' rep]
165− $i
166− ?+ hay (z-co q.p.lot)
167− $f ((ro-co [3 10 4] |=(a/@ ~(d ne a))) q.p.lot)
168− $s ((ro-co [4 16 8] |=(a/@ ~(x ne a))) q.p.lot)
169− ==
170− ::
171− $p
172− =+ dyx=(met 3 q.p.lot)
173− :- '~'
174− ?: (lte dyx 1)
175− (weld (trip (tod:po q.p.lot)) rep)
176− ?: =(2 dyx)
177− ;: weld
178− (trip (tos:po (end 3 1 q.p.lot)))
179− (trip (tod:po (rsh 3 1 q.p.lot)))
180− rep
181− ==
182− =+ [dyz=(met 5 q.p.lot) fin=| dub=&]
183− |- ^- tape
184− ?: =(0 dyz)
185− rep
186− %= $
187− fin &
188− dub !dub
189− dyz (dec dyz)
190− q.p.lot (rsh 5 1 q.p.lot)
191− rep
192− =+ syb=(wren:un (end 5 1 q.p.lot))
193− =+ cog=~(zig mu [(rsh 4 1 syb) (end 4 1 syb)])
194− ;: weld
195− (trip (tos:po (end 3 1 p.cog)))
196− (trip (tod:po (rsh 3 1 p.cog)))
197− `tape`['-' ~]
198− (trip (tos:po (end 3 1 q.cog)))
199− (trip (tod:po (rsh 3 1 q.cog)))
200− `tape`?.(fin ~ ['-' ?.(dub ~ ['-' ~])])
201− rep
202− ==
203− ==
204− ::
205− $r
206− ?+ hay (z-co q.p.lot)
207− $d ['.' '~' (r-co (rlyd q.p.lot))]
208− $h ['.' '~' '~' (r-co (rlyh q.p.lot))]
209− $q ['.' '~' '~' '~' (r-co (rlyq q.p.lot))]
210− $s ['.' (r-co (rlys q.p.lot))]
211− ==
212− ::
213− $u
214− ?: ?=($c hay)
215− %+ welp ['0' 'c' (reap (pad:fa q.p.lot) '1')]
216− (c-co (enc:fa q.p.lot))
217− =- (weld p.gam ?:(=(0 q.p.lot) `tape`['0' ~] q.gam))
218− ^= gam ^- {p/tape q/tape}
219− ?+ hay [~ ((ox-co [10 3] |=(a/@ ~(d ne a))) q.p.lot)]
220− $b [['0' 'b' ~] ((ox-co [2 4] |=(a/@ ~(d ne a))) q.p.lot)]
221− $i [['0' 'i' ~] ((d-co 1) q.p.lot)]
222− $x [['0' 'x' ~] ((ox-co [16 4] |=(a/@ ~(x ne a))) q.p.lot)]
223− $v [['0' 'v' ~] ((ox-co [32 5] |=(a/@ ~(x ne a))) q.p.lot)]
224− $w [['0' 'w' ~] ((ox-co [64 5] |=(a/@ ~(w ne a))) q.p.lot)]
225− ==
226− ::
227− $s
228− %+ weld
229− ?:((syn:si q.p.lot) "--" "-")
230− $(yed 'u', q.p.lot (abs:si q.p.lot))
231− ::
232− $t
233− ?: =('a' hay)
234− ?: =('s' (cut 3 [2 1] p.p.lot))
235− (weld (rip 3 q.p.lot) rep)
236− ['~' '.' (weld (rip 3 q.p.lot) rep)]
237− ['~' '~' (weld (rip 3 (wood q.p.lot)) rep)]
238− ==
239− --
240```
780```
241
781
242#### Examples
782#### Examples
243
783
244```
784```
245− > ~(rend co %$ %ux 200)
785+> ((ox-co:co [2 4] |=(a=@ ~(d ne a))) 0b1011.1101)
246− "0xc8"
786+"1011.1101"
247
787
248− > ~(rend co %many ~[[%$ ux+200] [%$ p+40]])
788+> ((ox-co:co [2 1] |=(a=@ ~(d ne a))) 0b1011.1101)
249− "._0xc8_~~tem__"
789+"1.0.1.1.1.1.0.1"
250
790
251− > ~(rend co %$ %p 32.819)
791+> ((ox-co:co [2 100] |=(a=@ ~(d ne a))) 0b1011.1101)
252− "~pillyt"
792+"10111101"
793+```
253
794
254− > ~(rend co %$ %ux 18)
795+---
255− "0x12"
796+
797+### `++ro-co:co`
256
798
257− > ~(rend co [%$ p=[p=%if q=0x7f00.0001]])
799+Format dot-prefixed bloqs in numeric base
258− ".127.0.0.1"
259
800
260− > `@ux`.127.0.0.1
801+In base `bas`, for `buz` bloqs 0 to `dop`, format at least one digit of `hol`,
261− 2.130.706.433
802+prefixed with `.`. This is used internally for `@i` address rendering functions.
262
803
263− > ~(rend co %many ~[[%$ %ud 20] [%$ %uw 133] [%$ %tas 'sam']])
804+#### Accepts
264− "._20_0w25_sam__"
265
805
266− > ~(rend co %blob [1 1])
806+`[buz=@ bas=@ dop=@]` where `buz` is the bloq size, `bas` is the numeric base,
267− "~0ph"
807+and `dop` is the number of bloqs.
268
808
269− > ~0ph
809+`dug` is a `gate` of `$-(@ @)`.
270− [1 1]
271
810
272− > `@uv`(jam [1 1])
811+`hol` is an atom.
273− 0vph
812+
813+#### Produces
814+
815+A `tape`.
816+
817+#### Source
818+
819+```hoon
820+++ ro-co
821+ |= [[buz=@ bas=@ dop=@] dug=$-(@ @)]
822+ |= hol=@
823+ ^- tape
824+ ?: =(0 dop)
825+ rep
826+ :- '.'
827+ =/ pod (dec dop)
828+ %. (cut buz [pod 1] hol)
829+ %+ em-co(rep $(dop pod))
830+ [bas 1]
831+ |=([? b=@ c=tape] [(dug b) c])
832+```
833+
834+#### Examples
835+
836+```
837+> ((ro-co:co [3 10 4] |=(a=@ ~(d ne a))) .127.0.0.1)
838+".127.0.0.1"
274```
839```
275
840
276---
841---
content/docs/hoon/reference/stdlib/4l.md+424−412
@@ -8,470 +8,451 @@ template = "doc.html"
8
8
9Coin parser engine
9Coin parser engine
10
10
11−Core containing arms that parse `++coin`.
11+Core containing arms that parse atoms encoded in strings.
12
12
13−#### Accepts
13+#### Source
14
14
15−#### Produces
15+```hoon
16+++ so
17+ ~% %so + ~
18+ |%
19+```
20+
21+---
22+
23+### `++bisk:so`
24+
25+Parse aura-atom pair
26+
27+Parsing `rule`. Parses an `@u` of any permitted base,
28+producing a `dime`.
16
29
17#### Source
30#### Source
18
31
19```hoon
32```hoon
20− ++ so
33+++ bisk
21− |%
34+ ~+
35+ ;~ pose
36+ ;~ pfix (just '0')
37+ ;~ pose
38+ (stag %ub ;~(pfix (just 'b') bay:ag))
39+ (stag %uc ;~(pfix (just 'c') fim:ag))
40+ (stag %ui ;~(pfix (just 'i') dim:ag))
41+ (stag %ux ;~(pfix (just 'x') hex:ag))
42+ (stag %uv ;~(pfix (just 'v') viz:ag))
43+ (stag %uw ;~(pfix (just 'w') wiz:ag))
44+ ==
45+ ==
46+ (stag %ud dem:ag)
47+ ==
22```
48```
23
49
24#### Examples
50#### Examples
25
51
26```
52```
27− > so
53+> (scan "25" bisk:so)
28− <10.mkn 414.hhh 100.xkc 1.ypj %164>
54+[%ud 25]
55+
56+> (scan "0x12.6401" bisk:so)
57+[%ux 1.205.249]
29```
58```
30
59
31---
60---
32
61
33−### `++bisk:so`
62+### `++crub:so`
34−
35−Parse aura-atom pair
36−
37−Parsing rule. Parses an unsigned integer of any permitted base,
38−producing a `++dime`.
39
63
40−#### Accepts
64+Parse `@da`, `@dr`, `@p`, `@t`
41
65
66+Parsing `rule`. Parses any atom of any of the following auras after a leading
42−#### Produces
67+sig: `@da`, `@dr`, `@p`, and `@t`. Produces a `dime`.
43
68
44#### Source
69#### Source
45
70
46```hoon
71```hoon
47− ++ bisk
72+++ crub
73+ ~+
48− ;~ pose
74+ ;~ pose
49− ;~ pfix (just '0')
75+ (cook |=(det=date `dime`[%da (year det)]) when)
50− ;~ pose
76+ ::
77+ %+ cook
78+ |= [a=(list [p=?(%d %h %m %s) q=@]) b=(list @)]
79+ =+ rop=`tarp`[0 0 0 0 b]
80+ |- ^- dime
81+ ?~ a
82+ [%dr (yule rop)]
83+ ?- p.i.a
84+ %d $(a t.a, d.rop (add q.i.a d.rop))
85+ %h $(a t.a, h.rop (add q.i.a h.rop))
86+ %m $(a t.a, m.rop (add q.i.a m.rop))
87+ %s $(a t.a, s.rop (add q.i.a s.rop))
88+ ==
89+ ;~ plug
90+ %+ most
91+ dot
92+ ;~ pose
51− (stag %ub ;~(pfix (just 'b') bay:ag))
93+ ;~(pfix (just 'd') (stag %d dim:ag))
94+ ;~(pfix (just 'h') (stag %h dim:ag))
52− (stag %ui ;~(pfix (just 'i') dim:ag))
95+ ;~(pfix (just 'm') (stag %m dim:ag))
53− (stag %ux ;~(pfix (just 'x') hex:ag))
96+ ;~(pfix (just 's') (stag %s dim:ag))
54− (stag %uv ;~(pfix (just 'v') viz:ag))
97+ ==
55− (stag %uw ;~(pfix (just 'w') wiz:ag))
98+ ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
56− ==
99+ ==
57− ==
100+ ::
58− (stag %ud dem:ag)
101+ (stag %p fed:ag)
102+ ;~(pfix dot (stag %ta urs:ab))
103+ ;~(pfix sig (stag %t urx:ab))
104+ ;~(pfix hep (stag %c (cook taft urx:ab)))
59− ==
105+ ==
60```
106```
61
107
62#### Examples
108#### Examples
63
109
64```
110```
65− > (scan "25" bisk:so)
111+> (scan "1926.5.12" crub:so)
66− [%ud q=25]
112+[p=~.da q=170.141.184.449.747.016.871.285.095.307.149.312.000]
67− > (scan "0x12.6401" bisk:so)
68− [%ux q=1.205.249]
69−```
70
113
71−---
114+> ;;([%da @da] (scan "1926.5.12" crub:so))
115+[%da ~1926.5.12]
72
116
73−### `++crub:so`
117+> (scan "s10" crub:so)
118+[p=~.dr q=184.467.440.737.095.516.160]
74
119
75−Parse `@da`, `@dr`, `@p`, `@t`
120+> ;;([%dr @dr] (scan "s10" crub:so))
121+[%dr ~s10]
76
122
77−Parsing rule. Parses any atom of any of the following auras after a
123+> (scan "sampel" crub:so)
78−leading sig, `~` into a `++dime`: `@da`, `@dr`, `@p`,
124+[%p 1.135]
79−and `@t`, producing a `++dime`.
80
125
81−#### Accepts
126+> (scan ".mas" crub:so)
127+[%ta 7.561.581]
128+```
82
129
83−#### Produces
130+---
131+
132+### `++nuck:so`
133+
134+Top-level coin parser
135+
136+Parsing `rule`. Switches on the first character and applies the
137+corresponding `coin` parser.
84
138
85#### Source
139#### Source
86
140
87```hoon
141```hoon
88− ++ crub
142+++ nuck
89− ~+
90− ;~ pose
91− %+ cook
92− |=(det/date `dime`[%da (year det)])
93− ;~ plug
94− %+ cook
95− |=({a/@ b/?} [b a])
96− ;~(plug dim:ag ;~(pose (cold | hep) (easy &)))
97− ;~(pfix dot dim:ag) :: month
98− ;~(pfix dot dim:ag) :: day
99− ;~ pose
100− ;~ pfix
101− ;~(plug dot dot)
102− ;~ plug
103− dum:ag
104− ;~(pfix dot dum:ag)
105− ;~(pfix dot dum:ag)
106− ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
107− ==
108− ==
109− (easy [0 0 0 ~])
110− ==
111− ==
112− ::
113− %+ cook
114− |= {a/(list {p/?($d $h $m $s) q/@}) b/(list @)}
115− =+ rop=`tarp`[0 0 0 0 b]
116− |- ^- dime
117− ?~ a
118− [%dr (yule rop)]
119− ?- p.i.a
120− $d $(a t.a, d.rop (add q.i.a d.rop))
121− $h $(a t.a, h.rop (add q.i.a h.rop))
122− $m $(a t.a, m.rop (add q.i.a m.rop))
123− $s $(a t.a, s.rop (add q.i.a s.rop))
124− ==
125− ;~ plug
126− %+ most
127− dot
128− ;~ pose
129− ;~(pfix (just 'd') (stag %d dim:ag))
130− ;~(pfix (just 'h') (stag %h dim:ag))
131− ;~(pfix (just 'm') (stag %m dim:ag))
132− ;~(pfix (just 's') (stag %s dim:ag))
133− ==
134− ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
135− ==
136− ::
137− (stag %p fed:ag)
138− ;~(pfix dot (stag %ta urs:ab))
139− ;~(pfix sig (stag %t urx:ab))
140− ;~(pfix hep (stag %c (cook turf urx:ab)))
141− ==
142− ++ nuck
143− ~/ %nuck |= a/nail %. a
143+ ~/ %nuck |= a=nail %. a
144− %+ knee *coin |. ~+
144+ %+ knee *coin |. ~+
145− %- stew
145+ %- stew
146− ^. stet ^. limo
146+ ^. stet ^. limo
147− :~ :- ['a' 'z'] (cook |=(a/@ta [%$ %tas a]) sym)
147+ :~ :- ['a' 'z'] (cook |=(a=@ta [%$ %tas a]) sym)
148− :- ['0' '9'] (stag %$ bisk)
148+ :- ['0' '9'] (stag %$ bisk)
149− :- '-' (stag %$ tash)
149+ :- '-' (stag %$ tash)
150− :- '.' ;~(pfix dot perd)
150+ :- '.' ;~(pfix dot perd)
151− :- '~' ;~(pfix sig ;~(pose twid (easy [%$ %n 0])))
151+ :- '~' ;~(pfix sig ;~(pose twid (easy [%$ %n 0])))
152− ==
152+ ==
153− ++ nusk
154− ~+
155− :(sear |=(a/@ta (rush a nuck)) wick urt:ab)
156− ++ perd
157− ~+
158− ;~ pose
159− (stag %$ zust)
160− (stag %many (ifix [cab ;~(plug cab cab)] (more cab nusk)))
161− ==
162− ++ royl
163− ~+
164− =+ ^= moo
165− |= a/tape
166− :- (lent a)
167− (scan a (bass 10 (plus sid:ab)))
168− =+ ^= voy
169− %+ cook royl-cell
170− ;~ pose
171− ;~ plug
172− (easy %d)
173− ;~ pose (cold | hep) (easy &) ==
174− ;~ plug dim:ag
175− ;~ pose
176− ;~(pfix dot (cook moo (plus (shim '0' '9'))))
177− (easy [0 0])
178− ==
179− ;~ pose
180− ;~ pfix
181− (just 'e')
182− ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)
183− ==
184− (easy [& 0])
185− ==
186− ==
187− ==
188− ;~ plug
189− (easy %i)
190− ;~ sfix
191− ;~ pose (cold | hep) (easy &) ==
192− (jest 'inf')
193− ==
194− ==
195− ;~ plug
196− (easy %n)
197− (cold ~ (jest 'nan'))
198− ==
199− ==
200− ;~ pose
201− (stag %rh (cook rylh ;~(pfix ;~(plug sig sig) voy)))
202− (stag %rq (cook rylq ;~(pfix ;~(plug sig sig sig) voy)))
203− (stag %rd (cook ryld ;~(pfix sig voy)))
204− (stag %rs (cook ryls voy))
205− ==
206− ::
207− ++ royl-cell
208− |= rn
209− ^- dn
210− ?. ?=({$d *} +<) +<
211− =+ ^= h
212− (dif:si (new:si f.b i.b) (sun:si d.b))
213− [%d a h (add (mul c.b (pow 10 d.b)) e.b)]
214− ::
215− ++ tash
216− ~+
217− =+ ^= neg
218− |= {syn/? mol/dime} ^- dime
219− ?> =('u' (end 3 1 p.mol))
220− [(cat 3 's' (rsh 3 1 p.mol)) (new:si syn q.mol)]
221− ;~ pfix hep
222− ;~ pose
223− (cook |=(a/dime (neg | a)) bisk)
224− ;~(pfix hep (cook |=(a/dime (neg & a)) bisk))
225− ==
226− ==
227− ::
228− ++ twid
229− ~+
230− ;~ pose
231− (cook |=(a/@ [%blob (cue a)]) ;~(pfix (just '0') vum:ag))
232− (stag %$ crub)
233− ==
234− ::
235− ++ zust
236− ~+
237− ;~ pose
238− (stag %is bip:ag)
239− (stag %if lip:ag)
240− (stag %f ;~(pose (cold & (just 'y')) (cold | (just 'n'))))
241− royl
242− ==
243− --
244```
153```
245
154
246#### Examples
155#### Examples
247
156
248```
157```
249− > (scan "1926.5.12" crub:so)
158+> (scan "~pillyt" nuck:so)
250− [p=~.da q=170.141.184.449.747.016.871.285.095.307.149.312.000]
159+[%$ p=[p=~.p q=13.184]]
251− > ([%da @da] (scan "1926.5.12" crub:so))
160+
252− [%da ~1926.5.12]
161+> (scan "0x12" nuck:so)
162+[%$ p=[p=~.ux q=18]]
163+
253− > (scan "s10" crub:so)
164+> (scan ".127.0.0.1" nuck:so)
254− [p=~.dr q=184.467.440.737.095.516.160]
165+[%$ p=[p=~.if q=2.130.706.433]]
255− > ([%dr @dr] (scan "s10" crub:so))
166+
256− [%dr ~s10]
167+> (scan "._20_0w25_sam__" nuck:so)
257− > (scan "doznec" crub:so)
168+[ %many
258− [%p 256]
169+ p
259− > (scan ".mas" crub:so)
170+ ~[
260− [%ta 7.561.581]
171+ [%$ p=[p=~.ud q=20]]
172+ [%$ p=[p=~.uw q=133]]
173+ [%$ p=[p=~.tas q=7.168.371]]
174+ ]
175+]
261```
176```
262
177
263---
178---
264
179
265−### `++nuck:so`
180+### `++nusk:so`
266
181
267−Top-level coin parser
182+Parse coin literal with escapes
268
183
269−Parsing rule. Switches on the first character and applies the
184+Parsing `rule`. Parses a coin literal with escapes.
270−corresponding `++coin` parser.
271
185
272−#### Accepts
186+#### Source
273
187
274−#### Produces
188+```hoon
189+++ nusk
190+ ~+
191+ :(sear |=(a=@ta (rush a nuck)) wick urt:ab)
192+```
193+
194+#### Examples
195+
196+```
197+> ~.asd_a
198+~.asd_a
199+
200+> ._1_~~.asd~-a__
201+[1 ~.asd_a]
202+
203+> (scan "~~.asd~-a" nusk:so)
204+[%$ p=[p=~.ta q=418.212.246.369]]
205+```
206+
207+---
208+
209+### `++perd:so`
210+
211+Parsing coin literal without prefixes
212+
213+Parsing `rule`. Parses a dime or tuple without their respective standard
214+prefixes.
275
215
276#### Source
216#### Source
277
217
278```hoon
218```hoon
279− ++ nuck
219+++ perd
280− ~/ %nuck |= a/nail %. a
220+ ~+
281− %+ knee *coin |. ~+
221+ ;~ pose
282− %- stew
222+ (stag %$ zust)
283− ^. stet ^. limo
223+ (stag %many (ifix [cab ;~(plug cab cab)] (more cab nusk)))
284− :~ :- ['a' 'z'] (cook |=(a/@ta [%$ %tas a]) sym)
285− :- ['0' '9'] (stag %$ bisk)
286− :- '-' (stag %$ tash)
287− :- '.' ;~(pfix dot perd)
288− :- '~' ;~(pfix sig ;~(pose twid (easy [%$ %n 0])))
289− ==
224+ ==
290```
225```
291
226
292#### Examples
227#### Examples
293
228
294```
229```
295− > (scan "~pillyt" nuck:so)
230+> (scan "y" perd:so)
296− [% p=[p=~.p q=32.819]]
231+[%$ [%f %.y]]
232+
297− > (scan "0x12" nuck:so)
233+> (scan "n" perd:so)
298− [% p=[p=~.ux q=18]]
234+[%$ [%f %.n]]
299− > (scan ".127.0.0.1" nuck:so)
235+
300− [% p=[p=~.if q=2.130.706.433]]
236+> (scan "_20_x__" perd:so)
301− > `@ud`.127.0.0.1
302− 2.130.706.433
303− > (scan "._20_0w25_sam__" nuck:so)
304− [ %many
305− p
306− ~[[% p=[p=~.ud q=20]] [% p=[p=~.uw q=133]] [% p=[p=~.tas q=7.168.371]]]
237+[%many [[%$ p=[p=~.ud q=20]] [i=[%$ p=[p=~.tas q=120]] t=~]]]
307− ]
308− > `@`%sam
309− 7.168.371
310− > (scan "~0ph" nuck:so)
311− [%blob p=[1 1]]
312− > ~0ph
313− [1 1]
314− > `@uv`(jam [1 1])
315− 0vph
316```
238```
317
239
318---
240---
319
241
320−### `++nusk:so`
242+### `++royl:so`
321
243
322−Parse coin literal with escapes
244+Parse dime float
323
245
324−Parsing rule. Parses a coin literal with escapes. (See also: xx tuple
246+Parsing `rule`. Parses a number into a `dime` float.
325−formatting).
326
247
327−#### Accepts
248+#### Source
328
249
329−#### Produces
250+```hoon
251+++ royl
252+ ~+
253+ ;~ pose
254+ (stag %rh royl-rh)
255+ (stag %rq royl-rq)
256+ (stag %rd royl-rd)
257+ (stag %rs royl-rs)
258+ ==
259+```
260+
261+#### Examples
262+
263+```
264+> (scan "~3.14" royl:so)
265+[%rd .~3.14]
266+
267+> (scan "3.14" royl:so)
268+[%rs .3.14]
269+```
270+
271+---
272+
273+### `++royl-rh:so`
274+
275+Parse half-precision float
276+
277+Parsing `rule`. Parses a `@rh`.
330
278
331#### Source
279#### Source
332
280
333```hoon
281```hoon
334− ++ nusk
282+++ royl-rh (cook rylh ;~(pfix ;~(plug sig sig) (cook royl-cell royl-rn)))
335− (sear |=(a/@ta (rush (wick a) nuck)) urt:ab)
336```
283```
337
284
338#### Examples
285#### Examples
339
286
340```
287```
341− > ~.asd_a
342− ~.asd_a
343− > ._1_~~.asd~-a__
344− [1 ~.asd_a]
345− > (scan "~~.asd~-a" nusk:so)
288+> (scan "~~3.14" royl-rh:so)
346− [% p=[p=~.ta q=418.212.246.369]]
289+.~~3.14
347− > ([~ %ta @ta] (scan "~~.asd~-a" nusk:so))
348− [~ %ta ~.asd_a]
349```
290```
350
291
351---
292---
352
293
353−### `++perd:so`
294+### `++royl-rq:so`
354
295
355−Parsing rule.
296+Parse quad-precision float
356
297
357−Parsing rule. Parses a dime or tuple without their respective standard
298+Parsing `rule`. Parses a `@rq`.
358−prefixes.
359
299
360−#### Accepts
300+#### Source
361
301
362−#### Produces
302+```hoon
303+++ royl-rq (cook rylq ;~(pfix ;~(plug sig sig sig) (cook royl-cell royl-rn)))
304+```
305+
306+#### Examples
307+
308+```
309+> (scan "~~~3.14" royl-rq:so)
310+.~~~3.14
311+```
312+
313+---
314+
315+### `++royl-rd:so`
316+
317+Parse double-precision float
318+
319+Parsing `rule`. Parses a `@rd`.
363
320
364#### Source
321#### Source
365
322
366```hoon
323```hoon
367− ++ perd
324+++ royl-rd (cook ryld ;~(pfix sig (cook royl-cell royl-rn)))
368− ;~ pose
369− (stag ~ zust)
370− (stag %many (ifix [cab ;~(plug cab cab)] (more cab nusk)))
371− ==
372```
325```
373
326
374#### Examples
327#### Examples
375
328
376```
329```
377− > (scan "y" perd:so)
330+> (scan "~3.14" royl-rd:so)
378− [~ [%f %.y]]
331+.~3.14
379− > (scan "n" perd:so)
380− [~ [%f %.n]]
381− > |
382− %.n
383− > (scan "_20_x__" perd:so)
384− [%many [[% p=[p=~.ud q=20]] ~[[% p=[p=~.tas q=120]]]]]
385```
332```
386
333
387---
334---
388
335
389−### `++royl:so`
336+### `++royl-rs:so`
390
337
391−Parse dime float
338+Parse single-precision float
392
339
393−Parsing rule. Parses a number into a `++dime` float.
340+Parsing `rule`. Parses a `@rs`.
394
341
395−#### Accepts
342+#### Source
396
343
397−#### Produces
344+```hoon
345+++ royl-rs (cook ryls (cook royl-cell royl-rn))
346+```
347+
348+#### Examples
349+
350+```
351+> (scan "3.14" royl-rs:so)
352+.3.14
353+```
354+
355+---
356+
357+### `++royl-rn:so`
358+
359+Parse real number
360+
361+Parsing `rule`. Parses a real number to a [`++rn`](/docs/hoon/reference/stdlib/3b#rn).
398
362
399#### Source
363#### Source
400
364
401```hoon
365```hoon
402− ++ royl
366+++ royl-rn
403− ~+
404− =+ ^= moo
367+ =/ moo
405− |= a/tape
368+ |= a=tape
406− :- (lent a)
369+ :- (lent a)
407− (scan a (bass 10 (plus sid:ab)))
370+ (scan a (bass 10 (plus sid:ab)))
408− =+ ^= voy
409− %+ cook royl-cell
410− ;~ pose
371+ ;~ pose
411− ;~ plug
372+ ;~ plug
412− (easy %d)
373+ (easy %d)
413− ;~ pose (cold | hep) (easy &) ==
374+ ;~(pose (cold | hep) (easy &))
414− ;~ plug dim:ag
375+ ;~ plug dim:ag
415− ;~ pose
376+ ;~ pose
416− ;~(pfix dot (cook moo (plus (shim '0' '9'))))
377+ ;~(pfix dot (cook moo (plus (shim '0' '9'))))
417− (easy [0 0])
378+ (easy [0 0])
418− ==
419− ;~ pose
420− ;~ pfix
421− (just 'e')
422− ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)
423− ==
424− (easy [& 0])
425− ==
426− ==
427 ==
379 ==
428− ;~ plug
380+ ;~ pose
429− (easy %i)
381+ ;~ pfix
430− ;~ sfix
382+ (just 'e')
431− ;~ pose (cold | hep) (easy &) ==
383+ ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)
432− (jest 'inf')
433 ==
384 ==
434− ==
435− ;~ plug
436− (easy %n)
385+ (easy [& 0])
437− (cold ~ (jest 'nan'))
438 ==
386 ==
439 ==
387 ==
440− ;~ pose
441− (stag %rh (cook rylh ;~(pfix ;~(plug sig sig) voy)))
442− (stag %rq (cook rylq ;~(pfix ;~(plug sig sig sig) voy)))
443− (stag %rd (cook ryld ;~(pfix sig voy)))
444− (stag %rs (cook ryls voy))
445 ==
388 ==
389+ ::
390+ ;~ plug
391+ (easy %i)
392+ ;~ sfix
393+ ;~(pose (cold | hep) (easy &))
394+ (jest 'inf')
395+ ==
396+ ==
446− ::
397+ ::
398+ ;~ plug
399+ (easy %n)
400+ (cold ~ (jest 'nan'))
401+ ==
402+ ==
447```
403```
448
404
449#### Examples
405#### Examples
450
406
451```
407```
452− > (scan "~3.14" royl:so)
408+> (scan "3.14" royl-rn:so)
453− [%rd .~3.13999999999999]
409+[%d %.y 3 [2 14] [%.y 0]]
454− > .~3.14
410+
455− .~3.13999999999999
411+> (scan "-3.14e-39" royl-rn:so)
412+[%d %.n 3 [2 14] [%.n 39]]
413+
414+> (scan "3" royl-rn:so)
415+[%d %.y 3 [0 0] [%.y 0]]
456```
416```
457
417
458---
418---
459
419
460### `++royl-cell:so`
420### `++royl-cell:so`
461
421
462−XX still not fully functional
422+Convert rn to dn
423+
424+Intermediate parsed float converter. Convert a
425+[`++rn`](/docs/hoon/reference/stdlib/3b#rn) to
426+[`++dn`](/docs/hoon/reference/stdlib/3b#dn).
463
427
464−Intermediate parsed float convereter
428+#### Accepts
429+
430+A `++rn`.
431+
432+#### Produces
433+
434+A `++dn`.
435+
436+#### Source
465
437
466```hoon
438```hoon
467− ++ royl-cell
439+++ royl-cell
468− |= rn
440+ |= rn
469− ^- dn
441+ ^- dn
470− ?. ?=({$d *} +<) +<
442+ ?. ?=([%d *] +<) +<
471− =+ ^= h
443+ =+ ^= h
472− (dif:si (new:si f.b i.b) (sun:si d.b))
444+ (dif:si (new:si f.b i.b) (sun:si d.b))
473− [%d a h (add (mul c.b (pow 10 d.b)) e.b)]
445+ [%d a h (add (mul c.b (pow 10 d.b)) e.b)]
474− ::
446+```
447+
448+#### Examples
449+
450+```
451+> (royl-cell:so (scan "3.14" royl-rn:so))
452+[%d s=%.y e=-2 a=314]
453+
454+> (ryls (royl-cell:so (scan "3.14" royl-rn:so)))
455+.3.14
475```
456```
476
457
477---
458---
@@ -480,41 +461,39 @@ Intermediate parsed float convereter
480
461
481Parse signed dime
462Parse signed dime
482
463
483−#### Accepts
484−
485−#### Produces
486−
487−Parsing rule. Parses a signed number into a `++dime`.
464+Parsing `rule`. Parse a `@s` to a `dime`.
488
465
489#### Source
466#### Source
490
467
491```hoon
468```hoon
492− ++ tash
469+++ tash
493− ~+
470+ ~+
494− =+ ^= neg
471+ =+ ^= neg
495− |= {syn/? mol/dime} ^- dime
472+ |= [syn=? mol=dime] ^- dime
496− ?> =('u' (end 3 1 p.mol))
473+ ?> =('u' (end 3 p.mol))
497− [(cat 3 's' (rsh 3 1 p.mol)) (new:si syn q.mol)]
474+ [(cat 3 's' (rsh 3 p.mol)) (new:si syn q.mol)]
498− ;~ pfix hep
475+ ;~ pfix hep
499− ;~ pose
476+ ;~ pose
500− (cook |=(a/dime (neg | a)) bisk)
477+ (cook |=(a=dime (neg | a)) bisk)
501− ;~(pfix hep (cook |=(a/dime (neg & a)) bisk))
478+ ;~(pfix hep (cook |=(a=dime (neg & a)) bisk))
502− ==
479+ ==
503− ==
480+ ==
504− ::
505```
481```
506
482
507#### Examples
483#### Examples
508
484
509```
485```
510− > (scan "-20" tash:so)
486+> (scan "-20" tash:so)
511− [p=~.sd q=39]
487+[p=~.sd q=39]
488+
512− > (,[%sd @sd] (scan "-20" tash:so))
489+> ;;([%sd @sd] (scan "-20" tash:so))
513− [%sd -20]
490+[%sd -20]
491+
514− > (,[%sd @sd] (scan "--20" tash:so))
492+> ;;([%sd @sd] (scan "--20" tash:so))
515− [%sd --20]
493+[%sd --20]
494+
516− > (,[%sx @sx] (scan "--0x2e" tash:so))
495+> ;;([%sx @sx] (scan "--0x2e" tash:so))
517− [%sx --0x2e]
496+[%sx --0x2e]
518```
497```
519
498
520---
499---
@@ -525,82 +504,115 @@ Parse coins without `~` prefix
525
504
526Parsing rule. Parses coins after a leading sig, `~`.
505Parsing rule. Parses coins after a leading sig, `~`.
527
506
528−#### Accepts
507+#### Source
529
508
530−#### Produces
509+```hoon
510+++ twid
511+ ~+
512+ ;~ pose
513+ %+ stag %blob
514+ %+ sear |=(a=@ (mole |.((cue a))))
515+ ;~(pfix (just '0') vum:ag)
516+ ::
517+ (stag %$ crub)
518+ ==
519+```
520+
521+#### Examples
522+
523+```
524+> (scan "zod" twid:so)
525+[%$ [%p 0]]
526+
527+> (scan ".sam" twid:so)
528+[%$ [%ta 7.168.371]]
529+
530+> (scan "0ph" twid:so)
531+[%blob [1 1]]
532+```
533+
534+---
535+
536+### `++when:so`
537+
538+Parse date
539+
540+Parsing `rule`. Parse a `@da`-formatted date string (sans the leading `~`) to a
541+`date`.
531
542
532#### Source
543#### Source
533
544
534```hoon
545```hoon
535− ++ twid
546+++ when
536− ;~ pose
547+ ~+
537− (cook |=(a/@ [%blob (cue a)]) ;~(pfix (just '0') vum:ag))
548+ ;~ plug
538− (stag ~ crub)
549+ %+ cook
550+ |=([a=@ b=?] [b a])
551+ ;~(plug dim:ag ;~(pose (cold | hep) (easy &)))
552+ ;~(pfix dot mot:ag) :: month
553+ ;~(pfix dot dip:ag) :: day
554+ ;~ pose
555+ ;~ pfix
556+ ;~(plug dot dot)
557+ ;~ plug
558+ dum:ag
559+ ;~(pfix dot dum:ag)
560+ ;~(pfix dot dum:ag)
561+ ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))
539 ==
562 ==
540− ::
563+ ==
564+ (easy [0 0 0 ~])
565+ ==
566+ ==
541```
567```
542
568
543#### Examples
569#### Examples
544
570
545```
571```
546− > (scan "zod" twid:so)
572+> `date`(scan "2000.1.1..12.00.00..ffff" when:so)
547− [~ [%p 0]]
573+[[a=%.y y=2.000] m=1 t=[d=1 h=12 m=0 s=0 f=~[0xffff]]]
548− > (scan ".sam" twid:so)
549− [~ [%ta 7.168.371]]
550− > `@ud`~.sam
551− 7.168.371
552− > `@t`~.sam
553− 'sam'
554− > (scan "0ph" twid:so)
555− [%blob [1 1]]
556```
574```
557
575
558---
576---
559
577
560### `++zust:so`
578### `++zust:so`
561
579
562−Parse prefixed dimes from `@if`, `@f`, `@rd`
580+Parse dimes from `@i`, `@f`, `@r` or `@q`
563
581
564−Parsing rule. Parses an atom of either `@if` (IP address), `@f`
582+Parsing rule. Parses an atom of either `@if` (IP address), `@f` (loobean), `@r`
565−(loobean), or `rf`(floating point) into a `++dime`.
583+(floating point) into a `dime`. The `@q` alone requires a leading `~`.
566−
567−#### Accepts
568−
569−#### Produces
570
584
571#### Source
585#### Source
572
586
573```hoon
587```hoon
574− ++ zust
588+++ zust
589+ ~+
575− ;~ pose
590+ ;~ pose
576− (stag %is bip:ag)
591+ (stag %is bip:ag)
577− (stag %if lip:ag)
592+ (stag %if lip:ag)
593+ royl
578− (stag %f ;~(pose (cold & (just 'y')) (cold | (just 'n'))))
594+ (stag %f ;~(pose (cold & (just 'y')) (cold | (just 'n'))))
579− royl
595+ (stag %q ;~(pfix sig feq:ag))
580− ==
596+ ==
581− --
582```
597```
583
598
584#### Examples
599#### Examples
585
600
586```
601```
587− > (scan "127.0.0.1" zust:so)
602+> (scan "~sampel" zust:so)
588− [%if q=2.130.706.433]
603+[%q 1.135]
589−
590− > (scan "af.0.0.0.0.e7a5.30d2.7" zust:so)
591− [%is q=908.651.950.243.594.834.993.091.554.288.205.831]
592
604
593− > (,[%is @is] (scan "af.0.0.0.0.e7a5.30d2.7" zust:so))
605+> (scan "y" zust:so)
594− [%is .af.0.0.0.0.e7a5.30d2.7]
606+[%f %.y]
595
607
596− > (,[%is @ux] (scan "af.0.0.0.0.e7a5.30d2.7" zust:so))
608+> (scan "127.0.0.1" zust:so)
597− [%is 0xaf.0000.0000.0000.0000.e7a5.30d2.0007]
609+[%if 2.130.706.433]
598
610
599− > (scan "y" zust:so)
611+> (scan "af.0.0.0.0.e7a5.30d2.7" zust:so)
600− [%f %.y]
612+[%is 908.651.950.243.594.834.993.091.554.288.205.831]
601
613
602− > (scan "12.09" zust:so)
614+> (scan "12.09" zust:so)
603− [%rd .~12.00999999999999]
615+[%rs .12.09]
604```
616```
605
617
606---
618---
content/docs/hoon/reference/stdlib/table-of-contents.md+48−8
@@ -18,6 +18,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
18<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#abssi' title="Absolute value (signed integer)"><code>++abs:si</code></a>
18<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#abssi' title="Absolute value (signed integer)"><code>++abs:si</code></a>
19<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#abel' title="Compiler alias"><code>++abel</code></a>
19<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#abel' title="Compiler alias"><code>++abel</code></a>
20<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#ace' title="Parse space"><code>++ace</code></a>
20<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#ace' title="Parse space"><code>++ace</code></a>
21+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#a-coco' title="Render decimal"><code>++a-co:co</code></a>
21<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#add' title="Add"><code>++add</code></a>
22<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#add' title="Add"><code>++add</code></a>
22<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#addff' title="Add (floating point)"><code>++add:ff</code></a>
23<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#addff' title="Add (floating point)"><code>++add:ff</code></a>
23<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#addfl' title="Add (with exact/rounded flag)"><code>++add:fl</code></a>
24<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#addfl' title="Add (with exact/rounded flag)"><code>++add:fl</code></a>
@@ -90,6 +91,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
90<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#cap' title="Tree head"><code>++cap</code></a>
91<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#cap' title="Tree head"><code>++cap</code></a>
91<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#cass' title="To lowercase"><code>++cass</code></a>
92<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#cass' title="To lowercase"><code>++cass</code></a>
92<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#cat' title="Concatenate"><code>++cat</code></a>
93<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#cat' title="Concatenate"><code>++cat</code></a>
94+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#c-coco' title="Render base58check"><code>++c-co:co</code></a>
93<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#cen' title="Parse % (cen)"><code>++cen</code></a>
95<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#cen' title="Parse % (cen)"><code>++cen</code></a>
94<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#cetyo' title="Days in a century"><code>++cet:yo</code></a>
96<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#cetyo' title="Days in a century"><code>++cet:yo</code></a>
95<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#chafa' title="Decode base58check character"><code>++cha:fa</code></a>
97<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#chafa' title="Decode base58check character"><code>++cha:fa</code></a>
@@ -124,6 +126,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
124<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dne' title="Render decimal"><code>++d:ne</code></a>
126<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dne' title="Render decimal"><code>++d:ne</code></a>
125<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#date' title="Parsed date"><code>+$date</code></a>
127<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#date' title="Parsed date"><code>+$date</code></a>
126<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#dayyo' title="Seconds in day"><code>++day:yo</code></a>
128<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#dayyo' title="Seconds in day"><code>++day:yo</code></a>
129+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#d-coco' title="Render decimal with min length"><code>++d-co:co</code></a>
127<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#dec' title="Decrement"><code>++dec</code></a>
130<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#dec' title="Decrement"><code>++dec</code></a>
128<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#delby' title="Delete (map)"><code>++del:by</code></a>
131<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#delby' title="Delete (map)"><code>++del:by</code></a>
129<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#delin' title="Delete (set)"><code>++del:in</code></a>
132<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#delin' title="Delete (set)"><code>++del:in</code></a>
@@ -175,9 +178,11 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
175<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#eadfl' title="Exact add"><code>++ead:fl</code></a>
178<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#eadfl' title="Exact add"><code>++ead:fl</code></a>
176<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#each' title="Mold of fork between two types"><code>++each</code></a>
179<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#each' title="Mold of fork between two types"><code>++each</code></a>
177<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#easy' title="Always parse"><code>++easy</code></a>
180<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#easy' title="Always parse"><code>++easy</code></a>
181+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ed-coco' title="Format with decimal place"><code>++ed-co:co</code></a>
178<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#edge' title="Parsing location metadata"><code>+$edge</code></a>
182<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#edge' title="Parsing location metadata"><code>+$edge</code></a>
179<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#effob' title="murmur3-based pseudorandom function"><code>++eff:ob</code></a>
183<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#effob' title="murmur3-based pseudorandom function"><code>++eff:ob</code></a>
180<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#egcd' title="Extended Euclidean algorithm"><code>++egcd</code></a>
184<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#egcd' title="Extended Euclidean algorithm"><code>++egcd</code></a>
185+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#em-coco' title="Render in numeric base"><code>++em-co:co</code></a>
181<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emnfl' title="Minimum exponent"><code>++emn:fl</code></a>
186<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emnfl' title="Minimum exponent"><code>++emn:fl</code></a>
182<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emufl' title="Exact multiply"><code>++emu:fl</code></a>
187<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emufl' title="Exact multiply"><code>++emu:fl</code></a>
183<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emxfl' title="Maximum exponent"><code>++emx:fl</code></a>
188<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#emxfl' title="Maximum exponent"><code>++emx:fl</code></a>
@@ -465,6 +470,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
465<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#oldsi' title="Sign and absolute value"><code>++old:si</code></a>
470<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#oldsi' title="Sign and absolute value"><code>++old:si</code></a>
466<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#oust' title="Remove from list"><code>++oust</code></a>
471<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#oust' title="Remove from list"><code>++oust</code></a>
467<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#outfe' title="Maximum integer value"><code>++out:fe</code></a>
472<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#outfe' title="Maximum integer value"><code>++out:fe</code></a>
473+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ox-coco' title="Format dot-separated digits in numeric base"><code>++ox-co:co</code></a>
468
474
469### p
475### p
470
476
@@ -477,7 +483,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
477<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#peg' title="Address within address"><code>++peg</code></a>
483<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#peg' title="Address within address"><code>++peg</code></a>
478<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#pal' title="Parse ( (pal)"><code>++pal</code></a>
484<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#pal' title="Parse ( (pal)"><code>++pal</code></a>
479<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#par' title="Parse ) (par)"><code>++par</code></a>
485<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#par' title="Parse ) (par)"><code>++par</code></a>
480−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#perdso' title="Parses dime/tiple without standard prefixes"><code>++perd:so</code></a>
486+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#perdso' title="Parsing coin literal without prefixes"><code>++perd:so</code></a>
481<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#perk' title="Parse cube fork"><code>++perk</code></a>
487<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#perk' title="Parse cube fork"><code>++perk</code></a>
482<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#pevab' title="Parse 1-5 @uv base-32 chars"><code>++pev:ab</code></a>
488<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#pevab' title="Parse 1-5 @uv base-32 chars"><code>++pev:ab</code></a>
483<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#pewab' title="Parse <= 5 in base 64"><code>++pew:ab</code></a>
489<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#pewab' title="Parse <= 5 in base 64"><code>++pew:ab</code></a>
@@ -527,6 +533,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
527<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#raufl' title="Various roundings (floating point)"><code>++rau:fl</code></a>
533<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#raufl' title="Various roundings (floating point)"><code>++rau:fl</code></a>
528<a class="tooltip" href='/docs/hoon/reference/stdlib/3d/#rawog' title="Random bits"><code>++raw:og</code></a>
534<a class="tooltip" href='/docs/hoon/reference/stdlib/3d/#rawog' title="Random bits"><code>++raw:og</code></a>
529<a class="tooltip" href='/docs/hoon/reference/stdlib/3d/#rawsog' title="Random bits continuation"><code>++raws:og</code></a>
535<a class="tooltip" href='/docs/hoon/reference/stdlib/3d/#rawsog' title="Random bits continuation"><code>++raws:og</code></a>
536+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#r-coco' title="Render floating point"><code>++r-co:co</code></a>
530<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#re' title="Prettyprinting engine (tank)"><code>++re</code></a>
537<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#re' title="Prettyprinting engine (tank)"><code>++re</code></a>
531<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#rear' title="Last item in list"><code>++rear</code></a>
538<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#rear' title="Last item in list"><code>++rear</code></a>
532<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rearco' title="Prepend and render atom as tape"><code>++rear:co</code></a>
539<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rearco' title="Prepend and render atom as tape"><code>++rear:co</code></a>
@@ -534,7 +541,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
534<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#reel' title="Right fold (list)"><code>++reel</code></a>
541<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#reel' title="Right fold (list)"><code>++reel</code></a>
535<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#remsi' title="Remainder (signed integer)"><code>++rem:si</code></a>
542<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#remsi' title="Remainder (signed integer)"><code>++rem:si</code></a>
536<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rendco' title="Render coin lot as tape"><code>++rend:co</code></a>
543<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rendco' title="Render coin lot as tape"><code>++rend:co</code></a>
537−<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rentco' title="Render coin lot as span"><code>++rent:co</code></a>
544+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rentco' title="Render coin as knot"><code>++rent:co</code></a>
538<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rep' title="Assemble single"><code>++rep</code></a>
545<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rep' title="Assemble single"><code>++rep</code></a>
539<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#repby' title="Reduce to product (map)"><code>++rep:by</code></a>
546<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#repby' title="Reduce to product (map)"><code>++rep:by</code></a>
540<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#repin' title="Accumulate elements (set)"><code>++rep:in</code></a>
547<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#repin' title="Accumulate elements (set)"><code>++rep:in</code></a>
@@ -543,6 +550,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
543<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#ribby' title="Transform + product (map)"><code>++rib:by</code></a>
550<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#ribby' title="Transform + product (map)"><code>++rib:by</code></a>
544<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rip' title="Disassemble"><code>++rip</code></a>
551<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rip' title="Disassemble"><code>++rip</code></a>
545<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rnat' title="Print null"><code>++rn:at</code></a>
552<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rnat' title="Print null"><code>++rn:at</code></a>
553+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ro-coco' title="Format dot-prefixed bloqs in numeric base"><code>++ro-co:co</code></a>
546<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rolfe' title="Roll left"><code>++rol:fe</code></a>
554<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rolfe' title="Roll left"><code>++rol:fe</code></a>
547<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#roll' title="Left fold (list)"><code>++roll</code></a>
555<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#roll' title="Left fold (list)"><code>++roll</code></a>
548<code>++rood</code>
556<code>++rood</code>
@@ -550,7 +558,12 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
550<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rose' title="Parse to each"><code>++rose</code></a>
558<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rose' title="Parse to each"><code>++rose</code></a>
551<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#roufl' title="Round to nearest float with 113bit significand"><code>++rou:fl</code></a>
559<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#roufl' title="Round to nearest float with 113bit significand"><code>++rou:fl</code></a>
552<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylso' title="Parse dime float"><code>++royl:so</code></a>
560<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylso' title="Parse dime float"><code>++royl:so</code></a>
553−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylcellso' title="(Undocumented)"><code>++roylcell:so</code></a>
561+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-cellso' title="Convert rn to dn"><code>++royl-cell:so</code></a>
562+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rhso' title="Parse half-precision float"><code>++royl-rh:so</code></a>
563+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rqso' title="Parse quad-precision float"><code>++royl-rq:so</code></a>
564+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rdso' title="Parse double-precision float"><code>++royl-rd:so</code></a>
565+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rsso' title="Parse single-precision float"><code>++royl-rs:so</code></a>
566+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rnso' title="Parse real number"><code>++royl-rn:so</code></a>
554<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rsh' title="Rightshift"><code>++rsh</code></a>
567<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rsh' title="Rightshift"><code>++rsh</code></a>
555<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rtat' title="Print cord, including escape characters"><code>++rt:at</code></a>
568<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rtat' title="Print cord, including escape characters"><code>++rt:at</code></a>
556<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rtaat' title="Print cord, including escape characters"><code>++rta:at</code></a>
569<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rtaat' title="Print cord, including escape characters"><code>++rta:at</code></a>
@@ -584,6 +597,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
584<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#sbff' title="Sign bit"><code>++sb:ff</code></a>
597<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#sbff' title="Sign bit"><code>++sb:ff</code></a>
585<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#scag' title="Prefix (produce front of list)"><code>++scag</code></a>
598<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#scag' title="Prefix (produce front of list)"><code>++scag</code></a>
586<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#scan' title="Parse tape or crash"><code>++scan</code></a>
599<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#scan' title="Parse tape or crash"><code>++scan</code></a>
600+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#s-coco' title="Render hex list"><code>++s-co:co</code></a>
587<a class="tooltip" href='/docs/hoon/reference/stdlib/4m/#scot' title="Render dime as cord"><code>++scot</code></a>
601<a class="tooltip" href='/docs/hoon/reference/stdlib/4m/#scot' title="Render dime as cord"><code>++scot</code></a>
588<a class="tooltip" href='/docs/hoon/reference/stdlib/4m/#scow' title="Render dime as tape"><code>++scow</code></a>
602<a class="tooltip" href='/docs/hoon/reference/stdlib/4m/#scow' title="Render dime as tape"><code>++scow</code></a>
589<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#seaff' title="Convert from IEEE float to fn"><code>++sea:ff</code></a>
603<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#seaff' title="Convert from IEEE float to fn"><code>++sea:ff</code></a>
@@ -783,6 +797,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
783<code>++vang</code>
797<code>++vang</code>
784<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#vase' title="Typed data"><code>++vase</code></a>
798<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#vase' title="Typed data"><code>++vase</code></a>
785<code>++vast</code>
799<code>++vast</code>
800+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#v-coco' title="Render base-32 with minimum length"><code>++v-co:co</code></a>
786<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#ven' title="Axis syntax parser"><code>++ven</code></a>
801<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#ven' title="Axis syntax parser"><code>++ven</code></a>
787<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#vise' title="Convert during reboot"><code>++vise</code></a>
802<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#vise' title="Convert during reboot"><code>++vise</code></a>
788<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#vit' title="Parse base 64 digit"><code>++vit</code></a>
803<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#vit' title="Parse base 64 digit"><code>++vit</code></a>
@@ -798,9 +813,11 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
798<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#wain' title="List of cords"><code>+$wain</code></a>
813<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#wain' title="List of cords"><code>+$wain</code></a>
799<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#wall' title="List of list of characters"><code>+$wall</code></a>
814<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#wall' title="List of list of characters"><code>+$wall</code></a>
800<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#wash' title="Render tank at width"><code>++wash</code></a>
815<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#wash' title="Render tank at width"><code>++wash</code></a>
816+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#w-coco' title="Render base-64 with minimum length"><code>++w-co:co</code></a>
801<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#weld' title="Concatenate two lists"><code>++weld</code></a>
817<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#weld' title="Concatenate two lists"><code>++weld</code></a>
802<a class="tooltip" href='/docs/hoon/reference/stdlib/2m/#weldnl' title="Concatenate nullterminated nouns"><code>++weld:nl</code></a>
818<a class="tooltip" href='/docs/hoon/reference/stdlib/2m/#weldnl' title="Concatenate nullterminated nouns"><code>++weld:nl</code></a>
803<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#welp' title="Perfect concatenate (lists)"><code>++welp</code></a>
819<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#welp' title="Perfect concatenate (lists)"><code>++welp</code></a>
820+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#whenso' title="Parse date"><code>++when:so</code></a>
804<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#wick' title="Knot unescape"><code>++wick</code></a>
821<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#wick' title="Knot unescape"><code>++wick</code></a>
805<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#winre' title="Render at indent"><code>++win:re</code></a>
822<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#winre' title="Render at indent"><code>++win:re</code></a>
806<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#wing' title="Address in subject"><code>++wing</code></a>
823<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#wing' title="Address in subject"><code>++wing</code></a>
@@ -816,6 +833,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
816
833
817### x
834### x
818
835
836+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#x-coco' title="Render hex with minimum length"><code>++x-co:co</code></a>
819<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#xne' title="Render hexadecimal digit as atom of ASCII byte value"><code>++x:ne</code></a>
837<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#xne' title="Render hexadecimal digit as atom of ASCII byte value"><code>++x:ne</code></a>
820<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#xeb' title="Binary logarithm"><code>++xeb</code></a>
838<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#xeb' title="Binary logarithm"><code>++xeb</code></a>
821<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#xpdfl' title="Expand signed and unsigned integer cell"><code>++xpd:fl</code></a>
839<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#xpdfl' title="Expand signed and unsigned integer cell"><code>++xpd:fl</code></a>
@@ -824,6 +842,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
824
842
825<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yall' title="Time since beginning of time"><code>++yall</code></a>
843<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yall' title="Time since beginning of time"><code>++yall</code></a>
826<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yawn' title="Days since beginning of time"><code>++yawn</code></a>
844<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yawn' title="Days since beginning of time"><code>++yawn</code></a>
845+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#y-coco' title="Render decimal with at least two digits"><code>++y-co:co</code></a>
827<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#year' title="Date to @d"><code>++year</code></a>
846<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#year' title="Date to @d"><code>++year</code></a>
828<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yell' title="Tarp from atomic date"><code>++yell</code></a>
847<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yell' title="Tarp from atomic date"><code>++yell</code></a>
829<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yelp' title="Determine if leapweek"><code>++yelp</code></a>
848<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#yelp' title="Determine if leapweek"><code>++yelp</code></a>
@@ -838,11 +857,12 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
838<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zagmu' title="Add bottom into top"><code>++zag:mu</code></a>
857<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zagmu' title="Add bottom into top"><code>++zag:mu</code></a>
839<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#zap' title="Parse ! (zap)"><code>++zap</code></a>
858<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#zap' title="Parse ! (zap)"><code>++zap</code></a>
840<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zartun' title="Reverse look up in 255 sub box"><code>++zart:un</code></a>
859<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zartun' title="Reverse look up in 255 sub box"><code>++zart:un</code></a>
860+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#z-coco' title="Render '0x'-prefixed hex"><code>++z-co:co</code></a>
841<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#zerfl' title="Produce zero as float"><code>++zer:fl</code></a>
861<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#zerfl' title="Produce zero as float"><code>++zer:fl</code></a>
842<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zigmu' title="Subtract bottom from top"><code>++zig:mu</code></a>
862<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zigmu' title="Subtract bottom from top"><code>++zig:mu</code></a>
843<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#zing' title="Turn lists into single list by promoting elements from sublists"><code>++zing</code></a>
863<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#zing' title="Turn lists into single list by promoting elements from sublists"><code>++zing</code></a>
844<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zugmu' title="Concatenate into atom"><code>++zug:mu</code></a>
864<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#zugmu' title="Concatenate into atom"><code>++zug:mu</code></a>
845−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#zustso' title="Parse prefixed dimes from IP, loobean, or floating point"><code>++zust:so</code></a>
865+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#zustso' title="Parse dimes from @i, @f, @r or @q"><code>++zust:so</code></a>
846<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zyftun' title="Lookup byte in 256 sub box"><code>++zyft:un</code></a>
866<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zyftun' title="Lookup byte in 256 sub box"><code>++zyft:un</code></a>
847<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zyrtun' title="Reverse lookup byte in 256 sub box"><code>++zyrt:un</code></a>
867<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#zyrtun' title="Reverse lookup byte in 256 sub box"><code>++zyrt:un</code></a>
848
868
@@ -1698,7 +1718,21 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
1698<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#co' title="Literal rendering engine"><code>++co</code></a>
1718<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#co' title="Literal rendering engine"><code>++co</code></a>
1699<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rearco' title="Prepend and render atom as tape"><code>++rear:co</code></a>
1719<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rearco' title="Prepend and render atom as tape"><code>++rear:co</code></a>
1700<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rendco' title="Render coin lot as tape"><code>++rend:co</code></a>
1720<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rendco' title="Render coin lot as tape"><code>++rend:co</code></a>
1701−<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rentco' title="Render coin lot as span"><code>++rent:co</code></a>
1721+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rentco' title="Render coin as knot"><code>++rent:co</code></a>
1722+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#a-coco' title="Render decimal"><code>++a-co:co</code></a>
1723+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#c-coco' title="Render base58check"><code>++c-co:co</code></a>
1724+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#d-coco' title="Render decimal with min length"><code>++d-co:co</code></a>
1725+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#r-coco' title="Render floating point"><code>++r-co:co</code></a>
1726+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#s-coco' title="Render hex list"><code>++s-co:co</code></a>
1727+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#v-coco' title="Render base-32 with minimum length"><code>++v-co:co</code></a>
1728+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#w-coco' title="Render base-64 with minimum length"><code>++w-co:co</code></a>
1729+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#x-coco' title="Render hex with minimum length"><code>++x-co:co</code></a>
1730+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#y-coco' title="Render decimal with at least two digits"><code>++y-co:co</code></a>
1731+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#z-coco' title="Render '0x'-prefixed hex"><code>++z-co:co</code></a>
1732+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#em-coco' title="Render in numeric base"><code>++em-co:co</code></a>
1733+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ed-coco' title="Format with decimal place"><code>++ed-co:co</code></a>
1734+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ox-coco' title="Format dot-separated digits in numeric base"><code>++ox-co:co</code></a>
1735+<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#ro-coco' title="Format dot-prefixed bloqs in numeric base"><code>++ro-co:co</code></a>
1702
1736
1703### 4l: parsing (atom parsing)
1737### 4l: parsing (atom parsing)
1704
1738
@@ -1707,12 +1741,18 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
1707<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#crubso' title="Parse @da, @dr, @p, @t"><code>++crub:so</code></a>
1741<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#crubso' title="Parse @da, @dr, @p, @t"><code>++crub:so</code></a>
1708<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#nuckso' title="Toplevel coin parser"><code>++nuck:so</code></a>
1742<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#nuckso' title="Toplevel coin parser"><code>++nuck:so</code></a>
1709<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#nuskso' title="Parse coin literal with escapes"><code>++nusk:so</code></a>
1743<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#nuskso' title="Parse coin literal with escapes"><code>++nusk:so</code></a>
1710−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#perdso' title="Parses dime/tiple without standard prefixes"><code>++perd:so</code></a>
1744+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#perdso' title="Parsing coin literal without prefixes"><code>++perd:so</code></a>
1711<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylso' title="Parse dime float"><code>++royl:so</code></a>
1745<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylso' title="Parse dime float"><code>++royl:so</code></a>
1712−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#roylcellso' title="(Undocumented)"><code>++roylcell:so</code></a>
1746+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-cellso' title="Convert rn to dn"><code>++royl-cell:so</code></a>
1747+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rhso' title="Parse half-precision float"><code>++royl-rh:so</code></a>
1748+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rqso' title="Parse quad-precision float"><code>++royl-rq:so</code></a>
1749+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rdso' title="Parse double-precision float"><code>++royl-rd:so</code></a>
1750+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rsso' title="Parse single-precision float"><code>++royl-rs:so</code></a>
1751+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#royl-rnso' title="Parse real number"><code>++royl-rn:so</code></a>
1713<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#tashso' title="Parse signed dime"><code>++tash:so</code></a>
1752<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#tashso' title="Parse signed dime"><code>++tash:so</code></a>
1714<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#twidso' title="Parse coins without ~ prefix"><code>++twid:so</code></a>
1753<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#twidso' title="Parse coins without ~ prefix"><code>++twid:so</code></a>
1715−<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#zustso' title="Parse prefixed dimes from IP, loobean, or floating point"><code>++zust:so</code></a>
1754+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#whenso' title="Parse date"><code>++when:so</code></a>
1755+<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#zustso' title="Parse dimes from @i, @f, @r or @q"><code>++zust:so</code></a>
1716
1756
1717### 4m: parsing (formatting functions)
1757### 4m: parsing (formatting functions)
1718
1758
lib/glossary.js+137−4
@@ -1416,6 +1416,13 @@ export const glossary = [
1416 slug: "https://urbit.org/docs/reference/library/4h/#ace",
1416 slug: "https://urbit.org/docs/reference/library/4h/#ace",
1417 desc: "Used in the Hoon standard library.",
1417 desc: "Used in the Hoon standard library.",
1418 },
1418 },
1419+ {
1420+ name: "Render decimal",
1421+ symbol: "a-co:co",
1422+ usage: "stdlib",
1423+ slug: "https://urbit.org/docs/reference/library/4k/#a-coco",
1424+ desc: "Used in the Hoon standard library.",
1425+ },
1419 {
1426 {
1420 name: "Add",
1427 name: "Add",
1421 symbol: "add",
1428 symbol: "add",
@@ -1878,6 +1885,13 @@ export const glossary = [
1878 slug: "https://urbit.org/docs/reference/library/2c/#cat",
1885 slug: "https://urbit.org/docs/reference/library/2c/#cat",
1879 desc: "Used in the Hoon standard library.",
1886 desc: "Used in the Hoon standard library.",
1880 },
1887 },
1888+ {
1889+ name: "Render base58check",
1890+ symbol: "c-co:co",
1891+ usage: "stdlib",
1892+ slug: "https://urbit.org/docs/reference/library/4k/#c-coco",
1893+ desc: "Used in the Hoon standard library.",
1894+ },
1881 {
1895 {
1882 name: "Parse % (cen)",
1896 name: "Parse % (cen)",
1883 symbol: "cen",
1897 symbol: "cen",
@@ -2095,6 +2109,13 @@ export const glossary = [
2095 slug: "https://urbit.org/docs/reference/library/3c/#dayyo",
2109 slug: "https://urbit.org/docs/reference/library/3c/#dayyo",
2096 desc: "Used in the Hoon standard library.",
2110 desc: "Used in the Hoon standard library.",
2097 },
2111 },
2112+ {
2113+ name: "Render decimal with min length",
2114+ symbol: "d-co:co",
2115+ usage: "stdlib",
2116+ slug: "https://urbit.org/docs/reference/library/4k/#d-coco",
2117+ desc: "Used in the Hoon standard library.",
2118+ },
2098 {
2119 {
2099 name: "Decrement",
2120 name: "Decrement",
2100 symbol: "dec",
2121 symbol: "dec",
@@ -2438,6 +2459,13 @@ export const glossary = [
2438 slug: "https://urbit.org/docs/reference/library/4f/#easy",
2459 slug: "https://urbit.org/docs/reference/library/4f/#easy",
2439 desc: "Used in the Hoon standard library.",
2460 desc: "Used in the Hoon standard library.",
2440 },
2461 },
2462+ {
2463+ name: "Format with decimal place",
2464+ symbol: "ed-co:co",
2465+ usage: "stdlib",
2466+ slug: "https://urbit.org/docs/reference/library/4k/#ed-coco",
2467+ desc: "Used in the Hoon standard library.",
2468+ },
2441 {
2469 {
2442 name: "Parsing location metadata",
2470 name: "Parsing location metadata",
2443 symbol: "edge",
2471 symbol: "edge",
@@ -2459,6 +2487,13 @@ export const glossary = [
2459 slug: "https://urbit.org/docs/reference/library/3a/#egcd",
2487 slug: "https://urbit.org/docs/reference/library/3a/#egcd",
2460 desc: "Used in the Hoon standard library.",
2488 desc: "Used in the Hoon standard library.",
2461 },
2489 },
2490+ {
2491+ name: "Render in numeric base",
2492+ symbol: "em-co:co",
2493+ usage: "stdlib",
2494+ slug: "https://urbit.org/docs/reference/library/4k/#em-coco",
2495+ desc: "Used in the Hoon standard library.",
2496+ },
2462 {
2497 {
2463 name: "Minimum exponent",
2498 name: "Minimum exponent",
2464 symbol: "emn:fl",
2499 symbol: "emn:fl",
@@ -4265,6 +4300,13 @@ export const glossary = [
4265 slug: "https://urbit.org/docs/reference/library/2c/#outfe",
4300 slug: "https://urbit.org/docs/reference/library/2c/#outfe",
4266 desc: "Used in the Hoon standard library.",
4301 desc: "Used in the Hoon standard library.",
4267 },
4302 },
4303+ {
4304+ name: "Format dot-separated digits in numeric base",
4305+ symbol: "ox-co:co",
4306+ usage: "stdlib",
4307+ slug: "https://urbit.org/docs/reference/library/4k/#ox-coco",
4308+ desc: "Used in the Hoon standard library.",
4309+ },
4268 {
4310 {
4269 name: "Initialize fl from ff core",
4311 name: "Initialize fl from ff core",
4270 symbol: "pa:ff",
4312 symbol: "pa:ff",
@@ -4322,7 +4364,7 @@ export const glossary = [
4322 desc: "Used in the Hoon standard library.",
4364 desc: "Used in the Hoon standard library.",
4323 },
4365 },
4324 {
4366 {
4325− name: "Parses dime/tiple without standard prefixes",
4367+ name: "Parse coin literal without prefixes",
4326 symbol: "perd:so",
4368 symbol: "perd:so",
4327 usage: "stdlib",
4369 usage: "stdlib",
4328 slug: "https://urbit.org/docs/reference/library/4l/#perdso",
4370 slug: "https://urbit.org/docs/reference/library/4l/#perdso",
@@ -4629,6 +4671,13 @@ export const glossary = [
4629 slug: "https://urbit.org/docs/reference/library/3d/#rawsog",
4671 slug: "https://urbit.org/docs/reference/library/3d/#rawsog",
4630 desc: "Used in the Hoon standard library.",
4672 desc: "Used in the Hoon standard library.",
4631 },
4673 },
4674+ {
4675+ name: "Render floating point",
4676+ symbol: "r-co:co",
4677+ usage: "stdlib",
4678+ slug: "https://urbit.org/docs/reference/library/4k/#r-coco",
4679+ desc: "Used in the Hoon standard library.",
4680+ },
4632 {
4681 {
4633 name: "Pretty-printing engine (tank)",
4682 name: "Pretty-printing engine (tank)",
4634 symbol: "re",
4683 symbol: "re",
@@ -4679,7 +4728,7 @@ export const glossary = [
4679 desc: "Used in the Hoon standard library.",
4728 desc: "Used in the Hoon standard library.",
4680 },
4729 },
4681 {
4730 {
4682− name: "Render coin lot as span",
4731+ name: "Render coin as knot",
4683 symbol: "rent:co",
4732 symbol: "rent:co",
4684 usage: "stdlib",
4733 usage: "stdlib",
4685 slug: "https://urbit.org/docs/reference/library/4k/#rentco",
4734 slug: "https://urbit.org/docs/reference/library/4k/#rentco",
@@ -4734,6 +4783,13 @@ export const glossary = [
4734 slug: "https://urbit.org/docs/reference/library/4b/#rnat",
4783 slug: "https://urbit.org/docs/reference/library/4b/#rnat",
4735 desc: "Used in the Hoon standard library.",
4784 desc: "Used in the Hoon standard library.",
4736 },
4785 },
4786+ {
4787+ name: "Format dot-prefixed bloqs in numeric base",
4788+ symbol: "ro-co:co",
4789+ usage: "stdlib",
4790+ slug: "https://urbit.org/docs/reference/library/4k/#ro-coco",
4791+ desc: "Used in the Hoon standard library.",
4792+ },
4737 {
4793 {
4738 name: "Roll left",
4794 name: "Roll left",
4739 symbol: "rol:fe",
4795 symbol: "rol:fe",
@@ -4777,12 +4833,47 @@ export const glossary = [
4777 desc: "Used in the Hoon standard library.",
4833 desc: "Used in the Hoon standard library.",
4778 },
4834 },
4779 {
4835 {
4780− name: "(Undocumented)",
4836+ name: "Convert rn to dn",
4781 symbol: "royl-cell:so",
4837 symbol: "royl-cell:so",
4782 usage: "stdlib",
4838 usage: "stdlib",
4783 slug: "https://urbit.org/docs/reference/library/4l/#royl-cellso",
4839 slug: "https://urbit.org/docs/reference/library/4l/#royl-cellso",
4784 desc: "Used in the Hoon standard library.",
4840 desc: "Used in the Hoon standard library.",
4785 },
4841 },
4842+ {
4843+ name: "Parse half-precision float",
4844+ symbol: "royl-rh:so",
4845+ usage: "stdlib",
4846+ slug: "https://urbit.org/docs/reference/library/4l/#royl-rhso",
4847+ desc: "Used in the Hoon standard library.",
4848+ },
4849+ {
4850+ name: "Parse quad-precision float",
4851+ symbol: "royl-rq:so",
4852+ usage: "stdlib",
4853+ slug: "https://urbit.org/docs/reference/library/4l/#royl-rqso",
4854+ desc: "Used in the Hoon standard library.",
4855+ },
4856+ {
4857+ name: "Parse double-precision float",
4858+ symbol: "royl-rd:so",
4859+ usage: "stdlib",
4860+ slug: "https://urbit.org/docs/reference/library/4l/#royl-rdso",
4861+ desc: "Used in the Hoon standard library.",
4862+ },
4863+ {
4864+ name: "Parse single-precision float",
4865+ symbol: "royl-rs:so",
4866+ usage: "stdlib",
4867+ slug: "https://urbit.org/docs/reference/library/4l/#royl-rsso",
4868+ desc: "Used in the Hoon standard library.",
4869+ },
4870+ {
4871+ name: "Parse real number",
4872+ symbol: "royl-rn:so",
4873+ usage: "stdlib",
4874+ slug: "https://urbit.org/docs/reference/library/4l/#royl-rnso",
4875+ desc: "Used in the Hoon standard library.",
4876+ },
4786 {
4877 {
4787 name: "Right-shift",
4878 name: "Right-shift",
4788 symbol: "rsh",
4879 symbol: "rsh",
@@ -4993,6 +5084,13 @@ export const glossary = [
4993 slug: "https://urbit.org/docs/reference/library/4g/#scan",
5084 slug: "https://urbit.org/docs/reference/library/4g/#scan",
4994 desc: "Used in the Hoon standard library.",
5085 desc: "Used in the Hoon standard library.",
4995 },
5086 },
5087+ {
5088+ name: "Render hex list",
5089+ symbol: "s-co:co",
5090+ usage: "stdlib",
5091+ slug: "https://urbit.org/docs/reference/library/4k/#s-coco",
5092+ desc: "Used in the Hoon standard library.",
5093+ },
4996 {
5094 {
4997 name: "Render dime as cord",
5095 name: "Render dime as cord",
4998 symbol: "scot",
5096 symbol: "scot",
@@ -6309,6 +6407,13 @@ export const glossary = [
6309 slug: "https://urbit.org/docs/reference/library/4o/#vase",
6407 slug: "https://urbit.org/docs/reference/library/4o/#vase",
6310 desc: "Used in the Hoon standard library.",
6408 desc: "Used in the Hoon standard library.",
6311 },
6409 },
6410+ {
6411+ name: "Render base-32 with minimum length",
6412+ symbol: "v-co:co",
6413+ usage: "stdlib",
6414+ slug: "https://urbit.org/docs/reference/library/4k/#v-coco",
6415+ desc: "Used in the Hoon standard library.",
6416+ },
6312 {
6417 {
6313 name: "Axis syntax parser",
6418 name: "Axis syntax parser",
6314 symbol: "ven",
6419 symbol: "ven",
@@ -6393,6 +6498,13 @@ export const glossary = [
6393 slug: "https://urbit.org/docs/reference/library/4c/#wash",
6498 slug: "https://urbit.org/docs/reference/library/4c/#wash",
6394 desc: "Used in the Hoon standard library.",
6499 desc: "Used in the Hoon standard library.",
6395 },
6500 },
6501+ {
6502+ name: "Render base-64 with minimum length",
6503+ symbol: "w-co:co",
6504+ usage: "stdlib",
6505+ slug: "https://urbit.org/docs/reference/library/4k/#w-coco",
6506+ desc: "Used in the Hoon standard library.",
6507+ },
6396 {
6508 {
6397 name: "Concatenate two lists",
6509 name: "Concatenate two lists",
6398 symbol: "weld",
6510 symbol: "weld",
@@ -6505,6 +6617,13 @@ export const glossary = [
6505 slug: "https://urbit.org/docs/reference/library/4j/#xne",
6617 slug: "https://urbit.org/docs/reference/library/4j/#xne",
6506 desc: "Used in the Hoon standard library.",
6618 desc: "Used in the Hoon standard library.",
6507 },
6619 },
6620+ {
6621+ name: "Render hex with minimum length",
6622+ symbol: "x-co:co",
6623+ usage: "stdlib",
6624+ slug: "https://urbit.org/docs/reference/library/4k/#x-coco",
6625+ desc: "Used in the Hoon standard library.",
6626+ },
6508 {
6627 {
6509 name: "Binary logarithm",
6628 name: "Binary logarithm",
6510 symbol: "xeb",
6629 symbol: "xeb",
@@ -6533,6 +6652,13 @@ export const glossary = [
6533 slug: "https://urbit.org/docs/reference/library/3c/#yawn",
6652 slug: "https://urbit.org/docs/reference/library/3c/#yawn",
6534 desc: "Used in the Hoon standard library.",
6653 desc: "Used in the Hoon standard library.",
6535 },
6654 },
6655+ {
6656+ name: "Render decimal with at least two digits",
6657+ symbol: "y-co:co",
6658+ usage: "stdlib",
6659+ slug: "https://urbit.org/docs/reference/library/4k/#y-coco",
6660+ desc: "Used in the Hoon standard library.",
6661+ },
6536 {
6662 {
6537 name: "Date to @d",
6663 name: "Date to @d",
6538 symbol: "year",
6664 symbol: "year",
@@ -6610,6 +6736,13 @@ export const glossary = [
6610 slug: "https://urbit.org/docs/reference/library/3f/#zartun",
6736 slug: "https://urbit.org/docs/reference/library/3f/#zartun",
6611 desc: "Used in the Hoon standard library.",
6737 desc: "Used in the Hoon standard library.",
6612 },
6738 },
6739+ {
6740+ name: "Render '0x'-prefixed hex",
6741+ symbol: "z-co:co",
6742+ usage: "stdlib",
6743+ slug: "https://urbit.org/docs/reference/library/4k/#z-coco",
6744+ desc: "Used in the Hoon standard library.",
6745+ },
6613 {
6746 {
6614 name: "Produce zero as float",
6747 name: "Produce zero as float",
6615 symbol: "zer:fl",
6748 symbol: "zer:fl",
@@ -6639,7 +6772,7 @@ export const glossary = [
6639 desc: "Used in the Hoon standard library.",
6772 desc: "Used in the Hoon standard library.",
6640 },
6773 },
6641 {
6774 {
6642− name: "Parse prefixed dimes from IP, loobean, or floating point",
6775+ name: "Parse dimes from @i, @f, @r or @q",
6643 symbol: "zust:so",
6776 symbol: "zust:so",
6644 usage: "stdlib",
6777 usage: "stdlib",
6645 slug: "https://urbit.org/docs/reference/library/4l/#zustso",
6778 slug: "https://urbit.org/docs/reference/library/4l/#zustso",