on master help sign in
Merge pull request #1097 from urbit/remove-lushep

updates code for all stdlib lushep arms

commitbc45873dea3aa6176fb6f5f61ed7c07bab97bc49 authorpoprox <51337059+drbeefsupreme@users.noreply.github.com> dateWed 16 Jun 2021, 11:34 (5 years ago) parentd3d3aa6193cdf7
8 files changed+808−808
hoon/reference/stdlib/2b.md+30−28 hoon/reference/stdlib/2h.md+222−194 hoon/reference/stdlib/2i.md+235−257 hoon/reference/stdlib/2j.md+36−39 hoon/reference/stdlib/2k.md+68−67 hoon/reference/stdlib/2m.md+7−7 hoon/reference/stdlib/_index.md+106−108 hoon/reference/stdlib/table-of-contents.md+104−108
hoon/reference/stdlib/2b.md+30−28
@@ -212,12 +212,12 @@ a `list`.
212212#### Source
213213
214214```hoon
215− ++ homo
216− |* a=(list)
217− ^+ =< $
218− |% +- $ ?:(*? ~ [i=(snag 0 a) t=$])
219− --
220− a
215+++ homo :: homogenize
216+ |* a=(list)
217+ ^+ =< $
218+ |@ ++ $ ?:(*? ~ [i=(snag 0 a) t=$])
219+ --
220+ a
221221```
222222
223223#### Examples
@@ -416,12 +416,12 @@ A `++list`.
416416#### Source
417417
418418```hoon
419− ++ limo :: listify
420− |* a=*
421− ^+ =< $
422− |% +- $ ?~(a ~ ?:(_? i=-.a t=$ $(a +.a)))
423− --
424− a
419+++ limo :: listify
420+ |* a=*
421+ ^+ =< $
422+ |@ ++ $ ?~(a ~ ?:(*? [i=-.a t=$] $(a +.a)))
423+ --
424+ a
425425```
426426
427427#### Examples
@@ -1341,14 +1341,15 @@ A list.
13411341#### Source
13421342
13431343```hoon
1344− ++ welp
1345− =| [* *]
1346− |%
1347− +- $
1348− ?~ +<-
1349− +<-(. +<+)
1350− +<-(+ $(+<- +<->))
1351− --
1344+++ welp :: faceless weld
1345+ ~/ %welp
1346+ =| [* *]
1347+ |@
1348+ ++ $
1349+ ?~ +<-
1350+ +<-(. +<+)
1351+ +<-(+ $(+<- +<->))
1352+ --
13521353```
13531354
13541355#### Examples
@@ -1386,14 +1387,15 @@ A list.
13861387#### Source
13871388
13881389```hoon
1389− ++ zing
1390− =| *
1391− |%
1392− +- $
1393− ?~ +<
1394− +<
1395− (welp +<- $(+< +<+))
1396− --
1390+++ zing :: promote
1391+ ~/ %zing
1392+ =| *
1393+ |@
1394+ ++ $
1395+ ?~ +<
1396+ +<
1397+ (welp +<- $(+< +<+))
1398+ --
13971399```
13981400
13991401
hoon/reference/stdlib/2h.md+222−194
@@ -30,7 +30,7 @@ A `set`.
3030 <13.evb [nlr(^$1{@tD $1}) <414.fvk 101.jzo 1.ypj %164>]>
3131```
3232
33−### `+-all:in`
33+### `++all:in`
3434
3535Logical AND
3636
@@ -50,13 +50,13 @@ A flag.
5050#### Source
5151
5252```hoon
53− +- all
54− ~/ %all
55− |* b=$-(* ?)
56− |- ^- ?
57− ?~ a
58− &
59− ?&((b n.a) $(a l.a) $(a r.a))
53+ ++ all :: logical AND
54+ ~/ %all
55+ |* b=$-(* ?)
56+ |- ^- ?
57+ ?~ a
58+ &
59+ ?&((b n.a) $(a l.a) $(a r.a))
6060```
6161
6262#### Examples
@@ -72,7 +72,7 @@ A flag.
7272```
7373
7474---
75−### `+-any:in`
75+### `++any:in`
7676
7777Logical OR
7878
@@ -92,13 +92,13 @@ A flag.
9292#### Source
9393
9494```hoon
95− +- any
96− ~/ %any
97− |* b=$-(* ?)
98− |- ^- ?
99− ?~ a
100− |
101− ?|((b n.a) $(a l.a) $(a r.a))
95+ ++ any :: logical OR
96+ ~/ %any
97+ |* b=$-(* ?)
98+ |- ^- ?
99+ ?~ a
100+ |
101+ ?|((b n.a) $(a l.a) $(a r.a))
102102```
103103
104104#### Examples
@@ -114,7 +114,7 @@ A flag.
114114```
115115
116116---
117−### `+-apt:in`
117+### `++apt:in`
118118
119119Check correctness
120120
@@ -132,15 +132,17 @@ A flag.
132132#### Source
133133
134134```hoon
135− +- apt
136− =| [l=(unit) r=(unit)]
137− |- ^- ?
138− ?~ a &
139− ?& ?~(l & (hor n.a u.l))
140− ?~(r & (hor u.r n.a))
141− ?~(l.a & ?&((vor n.a n.l.a) $(a l.a, l `n.a)))
142− ?~(r.a & ?&((vor n.a n.r.a) $(a r.a, r `n.a)))
143− ==
135+ ++ apt :: check correctness
136+ =< $
137+ ~/ %apt
138+ =| [l=(unit) r=(unit)]
139+ |. ^- ?
140+ ?~ a &
141+ ?& ?~(l & (gor n.a u.l))
142+ ?~(r & (gor u.r n.a))
143+ ?~(l.a & ?&((mor n.a n.l.a) $(a l.a, l `n.a)))
144+ ?~(r.a & ?&((mor n.a n.r.a) $(a r.a, r `n.a)))
145+ ==
144146```
145147
146148#### Examples
@@ -167,7 +169,7 @@ A flag.
167169See section [`2f`](@/docs/hoon/reference/stdlib/2f.md) for more information on noun ordering.
168170
169171---
170−### `+-bif:in`
172+### `++bif:in`
171173
172174Bifurcate
173175
@@ -186,23 +188,23 @@ A cell of two sets.
186188#### Source
187189
188190```hoon
189− +- bif
190− ~/ %bif
191− |* b=*
192− ^+ [l=a r=a]
193− =< [+< +>]
194− |- ^+ a
195− ?~ a
196− [b ~ ~]
197− ?: =(b n.a)
198− a
199− ?: (hor b n.a)
200− =+ c=$(a l.a)
201− ?> ?=(^ c)
202− [n.c l.c [n.a r.c r.a]]
203− =+ c=$(a r.a)
204− ?> ?=(^ c)
205− [n.c [n.a l.a l.c] r.c]
191+ ++ bif :: splits a by b
192+ ~/ %bif
193+ |* b=*
194+ ^+ [l=a r=a]
195+ =< +
196+ |- ^+ a
197+ ?~ a
198+ [b ~ ~]
199+ ?: =(b n.a)
200+ a
201+ ?: (gor b n.a)
202+ =+ c=$(a l.a)
203+ ?> ?=(^ c)
204+ c(r a(l r.c))
205+ =+ c=$(a r.a)
206+ ?> ?=(^ c)
207+ c(l a(r l.c))
206208```
207209
208210#### Examples
@@ -220,7 +222,7 @@ A cell of two sets.
220222```
221223
222224---
223−### `+-del:in`
225+### `++del:in`
224226
225227Remove noun
226228
@@ -239,22 +241,22 @@ A set.
239241#### Source
240242
241243```hoon
242− +- del
243− ~/ %del
244− |* b=*
245− |- ^+ a
246− ?~ a
247− ~
248− ?. =(b n.a)
249− ?: (hor b n.a)
250− [n.a $(a l.a) r.a]
251− [n.a l.a $(a r.a)]
252− |- ^- {$?($~ _a)}
253− ?~ l.a r.a
254− ?~ r.a l.a
255− ?: (vor n.l.a n.r.a)
256− [n.l.a l.l.a $(l.a r.l.a)]
257− [n.r.a $(r.a l.r.a) r.r.a]
244+ ++ del :: b without any a
245+ ~/ %del
246+ |* b=*
247+ |- ^+ a
248+ ?~ a
249+ ~
250+ ?. =(b n.a)
251+ ?: (gor b n.a)
252+ a(l $(a l.a))
253+ a(r $(a r.a))
254+ |- ^- [$?(~ _a)]
255+ ?~ l.a r.a
256+ ?~ r.a l.a
257+ ?: (mor n.l.a n.r.a)
258+ l.a(r $(l.a r.l.a))
259+ r.a(l $(r.a l.r.a))
258260```
259261
260262
@@ -274,7 +276,7 @@ A set.
274276```
275277
276278---
277−### `+-dif:in`
279+### `++dif:in`
278280
279281Difference
280282
@@ -294,21 +296,25 @@ A set.
294296#### Source
295297
296298```hoon
297− +- dif
298− ~/ %dif
299− |* b=_a
300− |- ^+ a
301− ?~ b
302− a
303− =+ c=(bif n.b)
304− ?> ?=(^ c)
305− =+ d=$(a l.c, b l.b)
306− =+ e=$(a r.c, b r.b)
307− |- ^- {$?($~ _a)}
308− ?~ e d
309− ?: (vor n.d n.e)
310− [n.d l.d $(d r.d)]
311− [n.e $(e l.e) r.e]
299+ ++ dif :: difference
300+ ~/ %dif
301+ =+ b=a
302+ |@
303+ ++ $
304+ |- ^+ a
305+ ?~ b
306+ a
307+ =+ c=(bif n.b)
308+ ?> ?=(^ c)
309+ =+ d=$(a l.c, b l.b)
310+ =+ e=$(a r.c, b r.b)
311+ |- ^- [$?(~ _a)]
312+ ?~ d e
313+ ?~ e d
314+ ?: (mor n.d n.e)
315+ d(r $(d r.d))
316+ e(l $(e l.e))
317+ --
312318```
313319
314320#### Examples
@@ -330,7 +336,7 @@ A set.
330336```
331337
332338---
333−### `+-dig:in`
339+### `++dig:in`
334340
335341Address b in a
336342
@@ -349,15 +355,15 @@ The `unit` of an atom.
349355#### Source
350356
351357```hoon
352− +- dig
353− |= b=*
354− =+ c=1
355− |- ^- (unit @)
356− ?~ a ~
357− ?: =(b n.a) [~ u=(peg c 2)]
358− ?: (hor b n.a)
359− $(a l.a, c (peg c 6))
360− $(a r.a, c (peg c 7))
358+ ++ dig :: axis of a in b
359+ |= b=*
360+ =+ c=1
361+ |- ^- (unit @)
362+ ?~ a ~
363+ ?: =(b n.a) [~ u=(peg c 2)]
364+ ?: (gor b n.a)
365+ $(a l.a, c (peg c 6))
366+ $(a r.a, c (peg c 7))
361367```
362368
363369
@@ -386,7 +392,7 @@ The `unit` of an atom.
386392For more on the tree addressing system, see section [1b](@/docs/hoon/reference/stdlib/1b.md).
387393
388394---
389−### `+-gas:in`
395+### `++gas:in`
390396
391397Concatenate
392398
@@ -405,13 +411,13 @@ A `set`.
405411#### Source
406412
407413```hoon
408− +- gas
409− ~/ %gas
410− |= b=(list _?>(?=(^ a) n.a))
411− |- ^+ a
412− ?~ b
413− a
414− $(b t.b, a (put i.b))
414+ ++ gas :: concatenate
415+ ~/ %gas
416+ |= b=(list _?>(?=(^ a) n.a))
417+ |- ^+ a
418+ ?~ b
419+ a
420+ $(b t.b, a (put i.b))
415421```
416422
417423#### Examples
@@ -430,7 +436,7 @@ A `set`.
430436```
431437
432438---
433−### `+-has:in`
439+### `++has:in`
434440
435441b in a?
436442
@@ -449,17 +455,32 @@ A flag.
449455#### Source
450456
451457```hoon
452− +- has
453− ~/ %has
454− |* b=*
455− |- ^- ?
456− ?~ a
457− |
458− ?: =(b n.a)
459− &
460− ?: (hor b n.a)
461− $(a l.a)
462− $(a r.a)
458+ ++ has
459+ ~/ %has
460+ |* b=*
461+ ^- ?
462+ :: wrap extracted item type in a unit because bunting fails
463+ ::
464+ :: If we used the real item type of _?^(a n.a !!) as the sample type,
465+ :: then hoon would bunt it to create the default sample for the gate.
466+ ::
467+ :: However, bunting that expression fails if :a is ~. If we wrap it
468+ :: in a unit, the bunted unit doesn't include the bunted item type.
469+ ::
470+ :: This way we can ensure type safety of :b without needing to perform
471+ :: this failing bunt. It's a hack.
472+ ::
473+ %. [~ b]
474+ |= b=(unit _?>(?=(^ a) n.a))
475+ => .(b ?>(?=(^ b) u.b))
476+ |- ^- ?
477+ ?~ a
478+ |
479+ ?: =(b n.a)
480+ &
481+ ?: (gor b n.a)
482+ $(a l.a)
483+ $(a r.a)
463484```
464485
465486#### Examples
@@ -474,7 +495,7 @@ A flag.
474495```
475496
476497---
477−### `+-int:in`
498+### `++int:in`
478499
479500Intersection
480501
@@ -494,21 +515,24 @@ A `set`.
494515#### Source
495516
496517```hoon
497− +- int
498− ~/ %int
499− |* b=_a
500− |- ^+ a
501− ?~ b
502− ~
503− ?~ a
504− ~
505− ?. (vor n.a n.b)
506− $(a b, b a)
507− ?: =(n.b n.a)
508− [n.a $(a l.a, b l.b) $(a r.a, b r.b)]
509− ?: (hor n.b n.a)
510− %- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
511− %- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
518+ ++ int :: intersection
519+ ~/ %int
520+ =+ b=a
521+ |@
522+ ++ $
523+ |- ^+ a
524+ ?~ b
525+ ~
526+ ?~ a
527+ ~
528+ ?. (mor n.a n.b)
529+ $(a b, b a)
530+ ?: =(n.b n.a)
531+ a(l $(a l.a, b l.b), r $(a r.a, b r.b))
532+ ?: (gor n.b n.a)
533+ %- uni(a $(a l.a, r.b ~)) $(b r.b)
534+ %- uni(a $(a r.a, l.b ~)) $(b l.b)
535+ --
512536```
513537
514538
@@ -526,7 +550,7 @@ A `set`.
526550```
527551
528552---
529−### `+-put:in`
553+### `++put:in`
530554
531555Put b in a
532556
@@ -545,25 +569,25 @@ A `set`.
545569#### Source
546570
547571```hoon
548− +- put
549− ~/ %put
550− |* b=*
551− |- ^+ a
552− ?~ a
553− [b ~ ~]
554− ?: =(b n.a)
555− a
556− ?: (hor b n.a)
557− =+ c=$(a l.a)
558− ?> ?=(^ c)
559− ?: (vor n.a n.c)
560− [n.a c r.a]
561− [n.c l.c [n.a r.c r.a]]
562− =+ c=$(a r.a)
563− ?> ?=(^ c)
564− ?: (vor n.a n.c)
565− [n.a l.a c]
566− [n.c [n.a l.a l.c] r.c]
572+ ++ put :: puts b in a, sorted
573+ ~/ %put
574+ |* b=*
575+ |- ^+ a
576+ ?~ a
577+ [b ~ ~]
578+ ?: =(b n.a)
579+ a
580+ ?: (gor b n.a)
581+ =+ c=$(a l.a)
582+ ?> ?=(^ c)
583+ ?: (mor n.a n.c)
584+ a(l c)
585+ c(r a(l r.c))
586+ =+ c=$(a r.a)
587+ ?> ?=(^ c)
588+ ?: (mor n.a n.c)
589+ a(r c)
590+ c(l a(r l.c))
567591```
568592
569593#### Examples
@@ -579,7 +603,7 @@ A `set`.
579603```
580604
581605---
582−### `+-rep:in`
606+### `++rep:in`
583607
584608Accumulate
585609
@@ -598,11 +622,12 @@ A noun.
598622#### Source
599623
600624```hoon
601− +- rep :: replace by product
602− |* b=_|=([* *] +<+)
603− |-
604− ?~ a +<+.b
605− $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
625+ ++ rep :: reduce to product
626+ ~/ %rep
627+ |* b=_=>(~ |=([* *] +<+))
628+ |-
629+ ?~ a +<+.b
630+ $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
606631```
607632
608633#### Examples
@@ -617,7 +642,7 @@ A noun.
617642```
618643
619644---
620−### `+-run:in`
645+### `++run:in`
621646
622647Apply gate to set
623648
@@ -637,14 +662,14 @@ A set.
637662#### Source
638663
639664```hoon
640− +- run
641− ~/ %run
642− |* b=gate
643− =| c=(set _?>(?=(^ a) (b n.a)))
644− |- ?~ a c
645− =. c (~(put in c) (b n.a))
646− =. c $(a l.a, c c)
647− $(a r.a, c c)
665+ ++ run :: apply gate to values
666+ ~/ %run
667+ |* b=gate
668+ =+ c=`(set _?>(?=(^ a) (b n.a)))`~
669+ |- ?~ a c
670+ =. c (~(put in c) (b n.a))
671+ =. c $(a l.a, c c)
672+ $(a r.a, c c)
648673```
649674
650675#### Examples
@@ -659,7 +684,7 @@ A set.
659684```
660685
661686---
662−### `+-tap:in`
687+### `++tap:in`
663688
664689Set to list
665690
@@ -676,13 +701,14 @@ A list.
676701#### Source
677702
678703```hoon
679− +- tap
680− ~/ %tap
681− |= b=(list _?>(?=(^ a) n.a))
682− ^+ b
683− ?~ a
684− b
685− $(a r.a b [n.a $(a l.a)])
704+ ++ tap :: convert to list
705+ =< $
706+ ~/ %tap
707+ =+ b=`(list _?>(?=(^ a) n.a))`~
708+ |. ^+ b
709+ ?~ a
710+ b
711+ $(a r.a, b [n.a $(a l.a)])
686712```
687713
688714
@@ -698,7 +724,7 @@ A list.
698724```
699725
700726---
701−### `+-uni:in`
727+### `++uni:in`
702728
703729Union
704730
@@ -718,27 +744,27 @@ A set.
718744#### Source
719745
720746```hoon
721− +- uni
722− ~/ %uni
723− |* b=_a
724− ?: =(a b) a
725− |- ^+ a
726− ?~ b
727− a
728− ?~ a
729− b
730− ?: (vor n.a n.b)
731− ?: =(n.b n.a)
732− [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
733− ?: (hor n.b n.a)
734− $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
735− $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
736− ?: =(n.a n.b)
737− [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
738− ?: (hor n.a n.b)
739− $(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
740− $(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
741− ::
747+ ++ uni :: union
748+ ~/ %uni
749+ =+ b=a
750+ |@
751+ ++ $
752+ ?: =(a b) a
753+ |- ^+ a
754+ ?~ b
755+ a
756+ ?~ a
757+ b
758+ ?: =(n.b n.a)
759+ b(l $(a l.a, b l.b), r $(a r.a, b r.b))
760+ ?: (mor n.a n.b)
761+ ?: (gor n.b n.a)
762+ $(l.a $(a l.a, r.b ~), b r.b)
763+ $(r.a $(a r.a, l.b ~), b l.b)
764+ ?: (gor n.a n.b)
765+ $(l.b $(b l.b, r.a ~), a r.a)
766+ $(r.b $(b r.b, l.a ~), a l.a)
767+ --
742768```
743769
744770
@@ -759,7 +785,7 @@ A set.
759785```
760786
761787---
762−### `+-wyt:in`
788+### `++wyt:in`
763789
764790Set size
765791
@@ -776,10 +802,12 @@ An atom.
776802#### Source
777803
778804```hoon
779− +- wyt :: size of set
780− |- ^- @
781− ?~(a 0 +((add $(a l.a) $(a r.a))))
782− --
805+ ++ wyt :: size of set
806+ =< $
807+ ~% %wyt + ~
808+ |. ^- @
809+ ?~(a 0 +((add $(a l.a) $(a r.a))))
810+ --
783811```
784812
785813
@@ -795,4 +823,4 @@ An atom.
795823 4
796824```
797825
798−---
826+---
hoon/reference/stdlib/2i.md+235−257
@@ -42,7 +42,7 @@ contained arms inherit its sample map, `a`.
4242```
4343
4444---
45−### `+-all:by`
45+### `++all:by`
4646
4747Logical AND
4848
@@ -62,13 +62,13 @@ A flag.
6262#### Source
6363
6464```hoon
65− +- all
66− ~/ %all
67− |* b=$-(* ?)
68− |- ^- ?
69− ?~ a
70− &
71− ?&((b q.n.a) $(a l.a) $(a r.a))
65+ ++ all :: logical AND
66+ ~/ %all
67+ |* b=$-(* ?)
68+ |- ^- ?
69+ ?~ a
70+ &
71+ ?&((b n.a) $(a l.a) $(a r.a))
7272```
7373
7474#### Examples
@@ -87,7 +87,7 @@ A flag.
8787```
8888
8989---
90−### `+-any:by`
90+### `++any:by`
9191
9292Logical OR
9393
@@ -107,13 +107,13 @@ A flag.
107107#### Source
108108
109109```hoon
110− +- any
111− ~/ %any
112− |* b=$-(* ?)
113− |- ^- ?
114− ?~ a
115− |
116− ?|((b q.n.a) $(a l.a) $(a r.a))
110+ ++ any :: logical OR
111+ ~/ %any
112+ |* b=$-(* ?)
113+ |- ^- ?
114+ ?~ a
115+ |
116+ ?|((b q.n.a) $(a l.a) $(a r.a))
117117```
118118
119119#### Examples
@@ -129,7 +129,7 @@ A flag.
129129```
130130
131131---
132−### `+-apt:by`
132+### `++apt:by`
133133
134134Check correctness
135135
@@ -147,15 +147,19 @@ A flag.
147147#### Source
148148
149149```hoon
150− +- apt
151− =| [l=(unit) r=(unit)]
152− |- ^- ?
153− ?~ a &
154− ?& ?~(l & (gor p.n.a u.l))
155− ?~(r & (gor u.r p.n.a))
156− ?~(l.a & ?&((vor p.n.a p.n.l.a) $(a l.a, l `p.n.a)))
157− ?~(r.a & ?&((vor p.n.a p.n.r.a) $(a r.a, r `p.n.a)))
158− ==
150+ ++ apt :: check correctness
151+ =< $
152+ ~/ %apt
153+ =| [l=(unit) r=(unit)]
154+ |. ^- ?
155+ ?~ a &
156+ ?& ?~(l & &((gor p.n.a u.l) !=(p.n.a u.l)))
157+ ?~(r & &((gor u.r p.n.a) !=(u.r p.n.a)))
158+ ?~ l.a &
159+ &((mor p.n.a p.n.l.a) !=(p.n.a p.n.l.a) $(a l.a, l `p.n.a))
160+ ?~ r.a &
161+ &((mor p.n.a p.n.r.a) !=(p.n.a p.n.r.a) $(a r.a, r `p.n.a))
162+ ==
159163```
160164
161165#### Examples
@@ -178,7 +182,7 @@ A flag.
178182
179183See section [`2f`](@/docs/hoon/reference/stdlib/2f.md) for more information on noun ordering.
180184
181−### `+-bif:by`
185+### `++bif:by`
182186
183187Bifurcate
184188
@@ -199,25 +203,25 @@ A cell of two maps.
199203#### Source
200204
201205```hoon
202− +- bif
203− ~/ %bif
204− |* [b=* c=*]
205− ^+ [l=a r=a]
206− =< +
207− |- ^+ a
208− ?~ a
209− [[b c] ~ ~]
210− ?: =(b p.n.a)
211− ?: =(c q.n.a)
212− a
213− [[b c] l.a r.a]
214− ?: (gor b p.n.a)
215− =+ d=$(a l.a)
216− ?> ?=(^ d)
217− [n.d l.d [n.a r.d r.a]]
218− =+ d=$(a r.a)
219− ?> ?=(^ d)
220− [n.d [n.a l.a l.d] r.d]
206+ ++ bif :: splits a by b
207+ ~/ %bif
208+ |* [b=* c=*]
209+ ^+ [l=a r=a]
210+ =< +
211+ |- ^+ a
212+ ?~ a
213+ [[b c] ~ ~]
214+ ?: =(b p.n.a)
215+ ?: =(c q.n.a)
216+ a
217+ a(n [b c])
218+ ?: (gor b p.n.a)
219+ =+ d=$(a l.a)
220+ ?> ?=(^ d)
221+ d(r a(l r.d))
222+ =+ d=$(a r.a)
223+ ?> ?=(^ d)
224+ d(l a(r l.d))
221225```
222226
223227#### Examples
@@ -229,44 +233,9 @@ A cell of two maps.
229233 [l=[n=[p='c' q=3] l=[n=[p='a' q=1] l={} r={}] r=~] r=~]
230234```
231235
232−### `+-dep:by`
233−
234−Difference as patch
235−
236−
237−#### Accepts
238−
239−`a` is a map.
240−
241−`b` is a map.
242−
243−#### Produces
244−
245−A cell of maps.
246−
247−#### Source
248−
249−```hoon
250− +- dep
251− |* b=_a
252− ^+ [p=a q=a]
253− =+ c=~(tap by (def b))
254− =+ [d e]=[`_a`~ `_a`~]
255− |- ^+ [d e]
256− ?~ c [d e]
257− %= $
258− c t.c
259− d ?~(q.q.i.c d (~(put by d) p.i.c u.q.q.i.c))
260− e ?~(p.q.i.c e (~(put by e) p.i.c u.p.q.i.c))
261− ==
262−```
263−
264−#### Examples
265−
266−
267236
268237---
269−### `+-del:by`
238+### `++del:by`
270239
271240Delete
272241
@@ -285,22 +254,22 @@ A map.
285254#### Source
286255
287256```hoon
288− +- del
289− ~/ %del
290− |* b=*
291− |- ^+ a
292− ?~ a
293− ~
294− ?. =(b p.n.a)
295− ?: (gor b p.n.a)
296− [n.a $(a l.a) r.a]
297− [n.a l.a $(a r.a)]
298− |- ^- [(~ _a)]
299− ?~ l.a r.a
300− ?~ r.a l.a
301− ?: (vor p.n.l.a p.n.r.a)
302− [n.l.a l.l.a $(l.a r.l.a)]
303− [n.r.a $(r.a l.r.a) r.r.a]
257+ ++ del :: delete at key b
258+ ~/ %del
259+ |* b=*
260+ |- ^+ a
261+ ?~ a
262+ ~
263+ ?. =(b p.n.a)
264+ ?: (gor b p.n.a)
265+ a(l $(a l.a))
266+ a(r $(a r.a))
267+ |- ^- [$?(~ _a)]
268+ ?~ l.a r.a
269+ ?~ r.a l.a
270+ ?: (mor p.n.l.a p.n.r.a)
271+ l.a(r $(l.a r.l.a))
272+ r.a(l $(r.a l.r.a))
304273```
305274
306275#### Examples
@@ -312,7 +281,7 @@ A map.
312281```
313282
314283---
315−### `+-dig:by`
284+### `++dig:by`
316285
317286Address of key
318287
@@ -331,15 +300,15 @@ A unit.
331300#### Source
332301
333302```hoon
334− +- dig
335− |= b=*
336− =+ c=1
337− |- ^- (unit @)
338− ?~ a ~
339− ?: =(b p.n.a) [~ u=(peg c 2)]
340− ?: (gor b p.n.a)
341− $(a l.a, c (peg c 6))
342− $(a r.a, c (peg c 7))
303+ ++ dig :: axis of b key
304+ |= b=*
305+ =+ c=1
306+ |- ^- (unit @)
307+ ?~ a ~
308+ ?: =(b p.n.a) [~ u=(peg c 2)]
309+ ?: (gor b p.n.a)
310+ $(a l.a, c (peg c 6))
311+ $(a r.a, c (peg c 7))
343312```
344313
345314#### Examples
@@ -351,7 +320,7 @@ A unit.
351320```
352321
353322---
354−### `+-gas:by`
323+### `++gas:by`
355324
356325Concatenate
357326
@@ -370,14 +339,14 @@ A map.
370339#### Source
371340
372341```hoon
373− +- gas
374− ~/ %gas
375− |* b=(list [p=* q=*])
376− => .(b `(list _?>(?=(^ a) n.a))`b)
377− |- ^+ a
378− ?~ b
379− a
380− $(b t.b, a (put p.i.b q.i.b))
342+ ++ gas :: concatenate
343+ ~/ %gas
344+ |* b=(list [p=* q=*])
345+ => .(b `(list _?>(?=(^ a) n.a))`b)
346+ |- ^+ a
347+ ?~ b
348+ a
349+ $(b t.b, a (put p.i.b q.i.b))
381350```
382351
383352#### Examples
@@ -391,7 +360,7 @@ A map.
391360```
392361
393362---
394−### `+-get:by`
363+### `++get:by`
395364
396365Grab unit value
397366
@@ -410,18 +379,18 @@ A unit.
410379#### Source
411380
412381```hoon
413− +- get
414− ~/ %get
415− |= b=*
416− ^- [$@(~ [~ u=_?>(?=(^ a) q.n.a)])]
417− =+ 42
418− ?~ a
419− ~
420− ?: =(b p.n.a)
421− [~ u=q.n.a]
422− ?: (gor b p.n.a)
423− $(a l.a)
424− $(a r.a)
382+ ++ get :: grab value by key
383+ ~/ %get
384+ |* b=*
385+ => .(b `_?>(?=(^ a) p.n.a)`b)
386+ |- ^- (unit _?>(?=(^ a) q.n.a))
387+ ?~ a
388+ ~
389+ ?: =(b p.n.a)
390+ (some q.n.a)
391+ ?: (gor b p.n.a)
392+ $(a l.a)
393+ $(a r.a)
425394```
426395
427396#### Examples
@@ -438,7 +407,7 @@ A unit.
438407```
439408
440409---
441−### `+-got:by`
410+### `++got:by`
442411
443412Assert
444413
@@ -458,9 +427,9 @@ A noun.
458427#### Source
459428
460429```hoon
461− +- got
462− |* b=*
463− (need (get b))
430+ ++ got :: need value by key
431+ |* b=*
432+ (need (get b))
464433```
465434
466435#### Examples
@@ -478,7 +447,7 @@ A noun.
478447```
479448
480449---
481−### `+-gut:by`
450+### `++gut:by`
482451
483452Grab value with default
484453
@@ -521,7 +490,7 @@ A noun.
521490```
522491
523492---
524−### `+-has:by`
493+### `++has:by`
525494
526495Key existence check
527496
@@ -540,10 +509,10 @@ A flag.
540509#### Source
541510
542511```hoon
543− +- has
544− ~/ %has
545− |* b=*
546− !=(~ (get b))
512+ ++ has :: key existence check
513+ ~/ %has
514+ |* b=*
515+ !=(~ (get b))
547516```
548517
549518#### Examples
@@ -558,7 +527,7 @@ A flag.
558527```
559528
560529---
561−### `+-int:by`
530+### `++int:by`
562531
563532Intersection
564533
@@ -579,25 +548,28 @@ A map.
579548#### Source
580549
581550```hoon
582− +- int
583− ~/ %int
584− |* b=_a
585− |- ^+ a
586− ?~ b
587− ~
588− ?~ a
589− ~
590− ?: (vor p.n.a p.n.b)
591− ?: =(p.n.b p.n.a)
592− [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
593− ?: (gor p.n.b p.n.a)
594− %- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
595− %- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
596− ?: =(p.n.a p.n.b)
597− [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
598− ?: (gor p.n.a p.n.b)
599− %- uni(a $(b l.b, a [n.a l.a ~])) $(a r.a)
600− %- uni(a $(b r.b, a [n.a ~ r.a])) $(a l.a)
551+ ++ int :: intersection
552+ ~/ %int
553+ =+ b=a
554+ |@
555+ ++ $
556+ |- ^+ a
557+ ?~ b
558+ ~
559+ ?~ a
560+ ~
561+ ?: (mor p.n.a p.n.b)
562+ ?: =(p.n.b p.n.a)
563+ b(l $(a l.a, b l.b), r $(a r.a, b r.b))
564+ ?: (gor p.n.b p.n.a)
565+ %- uni(a $(a l.a, r.b ~)) $(b r.b)
566+ %- uni(a $(a r.a, l.b ~)) $(b l.b)
567+ ?: =(p.n.a p.n.b)
568+ b(l $(b l.b, a l.a), r $(b r.b, a r.a))
569+ ?: (gor p.n.a p.n.b)
570+ %- uni(a $(b l.b, r.a ~)) $(a r.a)
571+ %- uni(a $(b r.b, l.a ~)) $(a l.a)
572+ --
601573```
602574
603575#### Examples
@@ -628,7 +600,7 @@ A map.
628600
629601---
630602
631−### `++ key:by`
603+### `++key:by`
632604
633605Set of keys
634606
@@ -667,7 +639,7 @@ A set.
667639
668640---
669641
670−### `+-mar:by`
642+### `++mar:by`
671643
672644Assert and add
673645
@@ -691,11 +663,11 @@ A map.
691663#### Assert and Add
692664
693665```hoon
694− +- mar
695− |* [b=_?>(?=(^ a) p.n.a) c=(unit ,_?>(?=(^ a) q.n.a))]
696− ?~ c
697− (del b)
698− (put b u.c)
666+ ++ mar :: add with validation
667+ |* [b=* c=(unit *)]
668+ ?~ c
669+ (del b)
670+ (put b u.c)
699671```
700672
701673#### Examples
@@ -713,7 +685,7 @@ A map.
713685```
714686
715687---
716−### `+-put:by`
688+### `++put:by`
717689
718690Add key-value pair
719691
@@ -734,27 +706,27 @@ A map.
734706#### Source
735707
736708```hoon
737− +- put
738− ~/ %put
739− |* [b=* c=*]
740− |- ^+ a
741− ?~ a
742− [[b c] ~ ~]
743− ?: =(b p.n.a)
744− ?: =(c q.n.a)
745− a
746− [[b c] l.a r.a]
747− ?: (gor b p.n.a)
748− =+ d=$(a l.a)
749− ?> ?=(^ d)
750− ?: (vor p.n.a p.n.d)
751− [n.a d r.a]
752− [n.d l.d [n.a r.d r.a]]
753− =+ d=$(a r.a)
754− ?> ?=(^ d)
755− ?: (vor p.n.a p.n.d)
756− [n.a l.a d]
757− [n.d [n.a l.a l.d] r.d]
709+ ++ put :: adds key-value pair
710+ ~/ %put
711+ |* [b=* c=*]
712+ |- ^+ a
713+ ?~ a
714+ [[b c] ~ ~]
715+ ?: =(b p.n.a)
716+ ?: =(c q.n.a)
717+ a
718+ a(n [b c])
719+ ?: (gor b p.n.a)
720+ =+ d=$(a l.a)
721+ ?> ?=(^ d)
722+ ?: (mor p.n.a p.n.d)
723+ a(l d)
724+ d(r a(l r.d))
725+ =+ d=$(a r.a)
726+ ?> ?=(^ d)
727+ ?: (mor p.n.a p.n.d)
728+ a(r d)
729+ d(l a(r l.d))
758730```
759731
760732#### Examples
@@ -776,7 +748,7 @@ A map.
776748```
777749
778750---
779−### `+-rep:by`
751+### `++rep:by`
780752
781753Replace by product
782754
@@ -795,11 +767,12 @@ A noun.
795767#### Source
796768
797769```hoon
798− +- rep
799− |* b=_|=([* *] +<+)
800− |-
801− ?~ a +<+.b
802− $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
770+ ++ rep :: reduce to product
771+ ~/ %rep
772+ |* b=_=>(~ |=([* *] +<+))
773+ |-
774+ ?~ a +<+.b
775+ $(a r.a, +<+.b $(a l.a, +<+.b (b n.a +<+.b)))
803776```
804777
805778#### Examples
@@ -811,7 +784,7 @@ A noun.
811784```
812785
813786---
814−### `+-rib:by`
787+### `++rib:by`
815788
816789Replace values with accumulator
817790
@@ -830,15 +803,15 @@ A cell of nouns.
830803#### Source
831804
832805```hoon
833− +- rib
834− |* [b=* c=gate]
835− |- ^+ [b a]
836− ?~ a [b ~]
837− =+ d=(c n.a b)
838− =. n.a +.d
839− =+ e=$(a l.a, b -.d)
840− =+ f=$(a r.a, b -.e)
841− [-.f [n.a +.e +.f]]
806+ ++ rib :: transform + product
807+ |* [b=* c=gate]
808+ |- ^+ [b a]
809+ ?~ a [b ~]
810+ =+ d=(c n.a b)
811+ =. n.a +.d
812+ =+ e=$(a l.a, b -.d)
813+ =+ f=$(a r.a, b -.e)
814+ [-.f a(l +.e, r +.f)]
842815```
843816
844817#### Examples
@@ -851,7 +824,7 @@ A cell of nouns.
851824```
852825
853826---
854−### `+-run:by`
827+### `++run:by`
855828
856829Transform values
857830
@@ -870,11 +843,12 @@ A map.
870843#### Source
871844
872845```hoon
873− +- run
874− |* b=gate
875− |-
876− ?~ a a
877− [n=[p=p.n.a q=(b q.n.a)] l=$(a l.a) r=$(a r.a)]
846+ ++ run :: apply gate to values
847+ ~/ %run
848+ |* b=gate
849+ |-
850+ ?~ a a
851+ [n=[p=p.n.a q=(b q.n.a)] l=$(a l.a) r=$(a r.a)]
878852```
879853
880854#### Examples
@@ -890,7 +864,7 @@ A map.
890864```
891865
892866---
893−### `+-rut:by`
867+### `++rut:by`
894868
895869Transform nodes
896870
@@ -909,11 +883,11 @@ A map.
909883#### Source
910884
911885```hoon
912− +- rut
913− |* b=gate
914− |-
915− ?~ a a
916− [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)]
886+ ++ rut :: apply gate to nodes
887+ |* b=gate
888+ |-
889+ ?~ a a
890+ [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)]
917891```
918892
919893#### Examples
@@ -923,7 +897,7 @@ A map.
923897```
924898
925899---
926−### `+-tap:by`
900+### `++tap:by`
927901
928902Listify pairs
929903
@@ -943,14 +917,14 @@ A list.
943917#### Source
944918
945919```hoon
946− +- tap
947− =< $
948− ~/ %tap
949− =| b=(list _?>(?=(^ a) n.a))
950− |. ^+ b
951− ?~ a
952− b
953− $(a r.a, b [n.a $(a l.a)])
920+ ++ tap :: listify pairs
921+ =< $
922+ ~/ %tap
923+ =+ b=`(list _?>(?=(^ a) n.a))`~
924+ |. ^+ b
925+ ?~ a
926+ b
927+ $(a r.a, b [n.a $(a l.a)])
954928```
955929
956930#### Examples
@@ -968,7 +942,7 @@ A list.
968942```
969943
970944---
971−### `+-uni:by`
945+### `++uni:by`
972946
973947Union
974948
@@ -988,25 +962,26 @@ A map.
988962#### Source
989963
990964```hoon
991− +- uni
992− ~/ %uni
993− |* b=_a
994− |- ^+ a
995− ?~ b
996− a
997− ?~ a
998− b
999− ?: (vor p.n.a p.n.b)
1000− ?: =(p.n.b p.n.a)
1001− [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
1002− ?: (gor p.n.b p.n.a)
1003− $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
1004− $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
1005− ?: =(p.n.a p.n.b)
1006− [n.b $(b l.b, a l.a) $(b r.b, a r.a)]
1007− ?: (gor p.n.a p.n.b)
1008− $(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
1009− $(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
965+ ++ uni :: union, merge
966+ ~/ %uni
967+ =+ b=a
968+ |@
969+ ++ $
970+ |- ^+ a
971+ ?~ b
972+ a
973+ ?~ a
974+ b
975+ ?: =(p.n.b p.n.a)
976+ b(l $(a l.a, b l.b), r $(a r.a, b r.b))
977+ ?: (mor p.n.a p.n.b)
978+ ?: (gor p.n.b p.n.a)
979+ $(l.a $(a l.a, r.b ~), b r.b)
980+ $(r.a $(a r.a, l.b ~), b l.b)
981+ ?: (gor p.n.a p.n.b)
982+ $(l.b $(b l.b, r.a ~), a r.a)
983+ $(r.b $(b r.b, l.a ~), a l.a)
984+ --
1010985```
1011986
1012987#### Examples
@@ -1029,7 +1004,7 @@ A map.
10291004```
10301005
10311006---
1032−### `+-urn:by`
1007+### `++urn:by`
10331008
10341009Turn (with key)
10351010
@@ -1049,11 +1024,12 @@ A noun.
10491024#### Source
10501025
10511026```hoon
1052− +- urn
1053− |* b=$-({* *} *)
1054− |-
1055− ?~ a ~
1056− [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)
1027+ ++ urn :: apply gate to nodes
1028+ ~/ %urn
1029+ |* b=$-([* *] *)
1030+ |-
1031+ ?~ a ~
1032+ a(n n.a(q (b p.n.a q.n.a)), l $(a l.a), r $(a r.a))
10571033```
10581034
10591035#### Examples
@@ -1074,7 +1050,7 @@ A noun.
10741050
10751051---
10761052
1077−### `+-wyt:by`
1053+### `++wyt:by`
10781054
10791055Depth
10801056
@@ -1091,9 +1067,11 @@ An atom.
10911067#### Source
10921068
10931069```hoon
1094− +- wyt
1095− |- ^- @
1096− ?~(a 0 +((add $(a l.a) $(a r.a))))
1070+ ++ wyt :: depth of map
1071+ =< $
1072+ ~% %wyt + ~
1073+ |. ^- @
1074+ ?~(a 0 +((add $(a l.a) $(a r.a))))
10971075```
10981076
10991077#### Examples
@@ -1115,7 +1093,7 @@ An atom.
11151093
11161094---
11171095
1118−### `++ val:by`
1096+### `++val:by`
11191097
11201098List of values
11211099
hoon/reference/stdlib/2j.md+36−39
@@ -23,15 +23,15 @@ A container arm for `++jar` operation arms. A `++jar` is a `++map` of
2323```
2424
2525---
26−### `+-get:ja`
26+### `++get:ja`
2727
2828Grab value by key
2929
3030```hoon
31− +- get :: gets list by key
32− |* b=*
33− =+ c=(~(get by a) b)
34− ?~(c ~ u.c)
31+ ++ get :: gets list by key
32+ |* b=*
33+ =+ c=(~(get by a) b)
34+ ?~(c ~ u.c)
3535```
3636
3737#### Accepts
@@ -62,17 +62,17 @@ Examples
6262```
6363
6464---
65−### `+-add:ja`
65+### `++add:ja`
6666
6767Prepend to list
6868
6969#### Source
7070
7171```hoon
72− +- add :: adds key-list pair
73− |* [b=* c=*]
74− =+ d=(get b)
75− (~(put by a) b [c d])
72+ ++ add :: adds key-list pair
73+ |* [b=* c=*]
74+ =+ d=(get b)
75+ (~(put by a) b [c d])
7676```
7777
7878#### Accepts
@@ -124,7 +124,7 @@ Container arm for jug operation arms. A `++jug` is a `++map` of
124124 <2.dgz [nlr([p={%a %b} q={nlr(^$1{@tD $1}) nlr(^$3{@tD $3})}]) <414.fvk 101.jzo 1.ypj %164>]>
125125```
126126
127−### `+-del:ju`
127+### `++del:ju`
128128
129129Remove
130130
@@ -132,15 +132,14 @@ Remove
132132#### Source
133133
134134```hoon
135− +- del :: del key-set pair
136− |* [b=* c=*]
137− ^+ a
138− =+ d=(get b)
139− =+ e=(~(del in d) c)
140− ?~ e
141− (~(del by a) b)
142− (~(put by a) b e)
143− ::
135+ ++ del :: del key-set pair
136+ |* [b=* c=*]
137+ ^+ a
138+ =+ d=(get b)
139+ =+ e=(~(del in d) c)
140+ ?~ e
141+ (~(del by a) b)
142+ (~(put by a) b e)
144143```
145144
146145Produces jug `a` with value `c` removed from set located at key `b`.
@@ -165,16 +164,15 @@ removed.
165164
166165---
167166
168−### `+-get:ju`
167+### `++get:ju`
169168
170169Retrieve set
171170
172171```hoon
173− +- get :: gets set by key
174− |* b=*
175− =+ c=(~(get by a) b)
176− ?~(c ~ u.c)
177− ::
172+ ++ get :: gets set by key
173+ |* b=*
174+ =+ c=(~(get by a) b)
175+ ?~(c ~ u.c)
178176```
179177
180178Produces a set retrieved from jar `a` using key `b`.
@@ -195,16 +193,15 @@ Produces a set retrieved from jar `a` using key `b`.
195193```
196194
197195---
198−### `+-has:ju`
196+### `++has:ju`
199197
200198Check contents
201199
202200```hoon
203− +- has :: existence check
204− |* [b=* c=*]
205− ^- ?
206− (~(has in (get b)) c)
207− ::
201+ ++ has :: existence check
202+ |* [b=* c=*]
203+ ^- ?
204+ (~(has in (get b)) c)
208205```
209206
210207Computes whether a value `c` exists within the set located at key `b`
@@ -234,16 +231,16 @@ with jar `a`. Produces a loobean.
234231```
235232---
236233
237−### `+-put:ju`
234+### `++put:ju`
238235
239236Add key-set pair
240237
241238```hoon
242− +- put
243− |* {b=* c=*}
244− ^+ a
245− =+ d=(get b)
246− (~(put by a) b (~(put in d) c))
239+ ++ put :: add key-set pair
240+ |* [b=* c=*]
241+ ^+ a
242+ =+ d=(get b)
243+ (~(put by a) b (~(put in d) c))
247244```
248245
249246Produces jar `a` with `c` added to the set value located at key `b`.
@@ -269,4 +266,4 @@ Produces jar `a` with `c` added to the set value located at key `b`.
269266```
270267
271268
272−---
269+---
hoon/reference/stdlib/2k.md+68−67
@@ -31,7 +31,7 @@ interfaces. `to` is the interface core for `qeu`; it's not generic across all
3131the different containers that use `tree`.
3232
3333---
34−### `+-bal:to`
34+### `++bal:to`
3535
3636Balance
3737
@@ -48,14 +48,14 @@ A queue.
4848#### Source
4949
5050```hoon
51− +- bal
52− |- ^+ a
53− ?~ a ~
54− ?. |(?=($~ l.a) (vor n.a n.l.a))
55− $(a [n.l.a l.l.a $(a [n.a r.l.a r.a])])
56− ?. |(?=($~ r.a) (vor n.a n.r.a))
57− $(a [n.r.a $(a [n.a l.a l.r.a]) r.r.a])
58− a
51+ ++ bal
52+ |- ^+ a
53+ ?~ a ~
54+ ?. |(?=(~ l.a) (mor n.a n.l.a))
55+ $(a l.a(r $(a a(l r.l.a))))
56+ ?. |(?=(~ r.a) (mor n.a n.r.a))
57+ $(a r.a(l $(a a(r l.r.a))))
58+ a
5959```
6060
6161#### Examples
@@ -75,7 +75,7 @@ A queue.
7575```
7676
7777---
78−### `+-dep:to`
78+### `++dep:to`
7979
8080Maximum Depth
8181
@@ -92,10 +92,10 @@ An atom.
9292#### Source
9393
9494```hoon
95− +- dep
96− |- ^- @
97− ?~ a 0
98− +((max $(a l.a) $(a r.a)))
95+ ++ dep :: max depth of queue
96+ |- ^- @
97+ ?~ a 0
98+ +((max $(a l.a) $(a r.a)))
9999```
100100
101101#### Examples
@@ -121,7 +121,7 @@ An atom.
121121```
122122
123123---
124−### `+-gas:to`
124+### `++gas:to`
125125
126126Push list
127127
@@ -140,10 +140,10 @@ A queue.
140140#### Source
141141
142142```hoon
143− +- gas
144− |= b=(list _?>(?=(^ a) n.a))
145− |- ^+ a
146− ?~(b a $(b t.b, a (put i.b)))
143+ ++ gas :: insert list to que
144+ |= b=(list _?>(?=(^ a) n.a))
145+ |- ^+ a
146+ ?~(b a $(b t.b, a (put i.b)))
147147```
148148
149149
@@ -159,7 +159,7 @@ A queue.
159159 {6 5 4 3 2 1}
160160```
161161---
162−### `+-get:to`
162+### `++get:to`
163163
164164Head-tail pair
165165
@@ -176,17 +176,17 @@ A cell of the last element in `a` along with the rest of queue `a`.
176176#### Source
177177
178178```hoon
179− +- get
180− |- ^+ ?>(?=(^ a) [p=n.a q=*(tree _n.a)])
181− ?~ a
182− !!
183− ?~ r.a
184− [n.a l.a]
185− =+ b=$(a r.a)
186− :- p.b
187− ?: |(?=($~ q.b) (vor n.a n.q.b))
188− [n.a l.a q.b]
189− [n.q.b [n.a l.a l.q.b] r.q.b]
179+ ++ get :: head-rest pair
180+ |- ^+ ?>(?=(^ a) [p=n.a q=*(tree _n.a)])
181+ ?~ a
182+ !!
183+ ?~ r.a
184+ [n.a l.a]
185+ =+ b=$(a r.a)
186+ :- p.b
187+ ?: |(?=(~ q.b) (mor n.a n.q.b))
188+ a(r q.b)
189+ a(n n.q.b, l a(r l.q.b), r r.q.b)
190190```
191191
192192#### Examples
@@ -201,7 +201,7 @@ A cell of the last element in `a` along with the rest of queue `a`.
201201```
202202
203203---
204−### `+-nap:to`
204+### `++nap:to`
205205
206206Remove head
207207
@@ -218,11 +218,11 @@ A queue.
218218#### Source
219219
220220```hoon
221− +- nap
222− ?> ?=(^ a)
223− ?~ l.a r.a
224− =+ b=get(a l.a)
225− bal(a ^+(a [p.b q.b r.a]))
221+ ++ nap :: removes root
222+ ?> ?=(^ a)
223+ ?: =(~ l.a) r.a
224+ =+ b=get(a l.a)
225+ bal(n.a p.b, l.a q.b)
226226```
227227
228228#### Examples
@@ -250,7 +250,7 @@ A queue.
250250```
251251
252252---
253−### `+-nip:to`
253+### `++nip:to`
254254
255255Removes the root of queue `a`, producing the resulting queue.
256256
@@ -265,14 +265,14 @@ A queue.
265265#### Source
266266
267267```hoon
268− +- nip
269− |- ^+ a
270− ?~ a ~
271− ?~ l.a r.a
272− ?~ r.a l.a
273− ?: (vor n.l.a n.r.a)
274− [n.l.a l.l.a $(l.a r.l.a)]
275− [n.r.a $(r.a l.r.a) r.r.a]
268+ ++ nip :: removes root
269+ |- ^+ a
270+ ?~ a ~
271+ ?~ l.a r.a
272+ ?~ r.a l.a
273+ ?: (mor n.l.a n.r.a)
274+ l.a(r $(l.a r.l.a))
275+ r.a(l $(r.a l.r.a))
276276```
277277
278278#### Examples
@@ -287,7 +287,7 @@ A queue.
287287```
288288
289289---
290−### `+-put:to`
290+### `++put:to`
291291
292292Insert
293293
@@ -307,12 +307,12 @@ A queue.
307307#### Source
308308
309309```hoon
310− +- put
311− |* b=*
312− |- ^+ a
313− ?~ a
314− [b ~ ~]
315− bal(a a(l $(a l.a)))
310+ ++ put :: insert new tail
311+ |* b=*
312+ |- ^+ a
313+ ?~ a
314+ [b ~ ~]
315+ bal(l.a $(a l.a))
316316```
317317
318318#### Examples
@@ -324,7 +324,7 @@ A queue.
324324```
325325
326326---
327−### `+-tap:to`
327+### `++tap:to`
328328
329329Queue to list
330330
@@ -341,13 +341,13 @@ A list.
341341#### Source
342342
343343```hoon
344− +- tap
345− =| b=(list _?>(?=(^ a) n.a))
346− |- ^+ b
347− =+ 0 :: hack for jet match
348− ?~ a
349− b
350− $(a r.a, b [n.a $(a l.a)])
344+ ++ tap :: adds list to end
345+ =+ b=`(list _?>(?=(^ a) n.a))`~
346+ |- ^+ b
347+ =+ 0 :: hack for jet match
348+ ?~ a
349+ b
350+ $(a r.a, b [n.a $(a l.a)])
351351```
352352
353353#### Examples
@@ -361,7 +361,7 @@ A list.
361361```
362362
363363---
364−### `+-top:to`
364+### `++top:to`
365365
366366Produce head
367367
@@ -378,10 +378,11 @@ A unit.
378378#### Source
379379
380380```hoon
381− +- top
382− |- ^- (unit _?>(?=(^ a) n.a))
383− ?~ a ~
384− ?~(r.a [~ n.a] $(a r.a))
381+ ++ top :: produces head
382+ |- ^- (unit _?>(?=(^ a) n.a))
383+ ?~ a ~
384+ ?~(r.a [~ n.a] $(a r.a))
385+ --
385386```
386387
387388#### Examples
@@ -396,4 +397,4 @@ A unit.
396397
397398An empty queue has no head.
398399
399−---
400+---
hoon/reference/stdlib/2m.md+7−7
@@ -144,12 +144,12 @@ A list.
144144#### Source
145145
146146```hoon
147− ++ le
148− |* a=(list)
149− ^+ =< $
150− |% +- $ ?:(*? ~ [i=(snag 0 a) t=$])
151− --
152− a
147+ ++ le :: construct list
148+ |* a=(list)
149+ ^+ =< $
150+ |@ ++ $ ?:(*? ~ [i=(snag 0 a) t=$])
151+ --
152+ a
153153```
154154
155155#### Examples
@@ -305,4 +305,4 @@ A list.
305305 [i=[2 3] t=[i=[1 4] t=~[8 9]]]
306306```
307307
308−---
308+---
hoon/reference/stdlib/_index.md+106−108
@@ -22,30 +22,30 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
2222<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#add' title="Add"><code>++add</code></a>
2323<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-ff' title="Add (floating point)"><code>++add:ff</code></a>
2424<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-fl' title="Add (with exact/rounded flag)"><code>++add:fl</code></a>
25−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>+-add:ja</code></a>
25+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>++add:ja</code></a>
2626<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rd' title="Add (double-precision float)"><code>++add:rd</code></a>
2727<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rh' title="Add (half-precision float)"><code>++add:rh</code></a>
2828<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rs' title="Add (single-precision float)"><code>++add:rs</code></a>
2929<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rq' title="Add (quad-precision float)"><code>++add:rq</code></a>
3030<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ag' title="Top-level atom parser engine"><code>++ag</code></a>
3131<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#alf' title="Parse alphabetic characters"><code>++alf</code></a>
32−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>+-all:by</code></a>
33−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>+-all:in</code></a>
32+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>++all:by</code></a>
33+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>++all:in</code></a>
3434<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#aln' title="Parse alphanumeric characters"><code>++aln</code></a>
3535<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#alp' title="Parse alphanumeric characters and -"><code>++alp</code></a>
36−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>+-any:by</code></a>
37−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>+-any:in</code></a>
36+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>++any:by</code></a>
37+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>++any:in</code></a>
3838<a class="tooltip" href='/docs/hoon/reference/stdlib/2f/#aor' title="Alphabetical order"><code>++aor</code></a>
3939<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ape-ag' title="Parse 0 or rule"><code>++ape:ag</code></a>
40−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>+-apt:by</code></a>
41−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>+-apt:in</code></a>
40+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>++apt:by</code></a>
41+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>++apt:in</code></a>
4242<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#at' title="(Undocumented)"><code>++at</code></a>
4343<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#aura' title="'Type' of atom"><code>++aura</code></a>
4444<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#axis' title="Nock axis"><code>++axis</code></a>
4545
4646### b
4747
48−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>+-bal:to</code></a>
48+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>++bal:to</code></a>
4949<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#bar' title="Parse | (bar)"><code>++bar</code></a>
5050<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#bas' title="Parse \ (bas)"><code>++bas</code></a>
5151<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#base' title="Base type"><code>++base</code></a>
@@ -58,8 +58,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
5858<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#bet' title="Parse hep and lus axis syntax"><code>++bet</code></a>
5959<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#bex' title="Binary exponent"><code>++bex</code></a>
6060<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#bif-ff' title="Converts from fn to @r"><code>++bif:ff</code></a>
61−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>+-bif:by</code></a>
62−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>+-bif:in</code></a>
61+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>++bif:by</code></a>
62+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>++bif:in</code></a>
6363<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#biff' title="Unit as argument"><code>++biff</code></a>
6464<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#bin' title="Binary to atom"><code>++bin</code></a>
6565<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#bind' title="Non-unit function to unit, producing unit"><code>++bind</code></a>
@@ -118,20 +118,19 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
118118<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#date' title="Point in time"><code>++date</code></a>
119119<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#day-yo' title="Seconds in day"><code>++day:yo</code></a>
120120<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#dec' title="Decrement"><code>++dec</code></a>
121−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>+-del:by</code></a>
122−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>+-del:in</code></a>
123−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>+-del:ju</code></a>
121+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>++del:by</code></a>
122+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>++del:in</code></a>
123+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>++del:ju</code></a>
124124<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#dem' title="Decimal to atom"><code>++dem</code></a>
125125<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dem-ag' title="Parse decmal with dots"><code>++dem:ag</code></a>
126126<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#den-fl' title="Denormalizes (floating point)"><code>++den:fl</code></a>
127−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dep-by' title="Difference as patch (map)"><code>+-dep:by</code></a>
128−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>+-dep:to</code></a>
127+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>++dep:to</code></a>
129128<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#dif-fe' title="Difference between atoms (modular basis)"><code>++dif:fe</code></a>
130129<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#dif-fo' title='Subtraction (modular base)'><code>++dif:fo</code></a>
131−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>+-dif:in</code></a>
130+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>++dif:in</code></a>
132131<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#dif-si' title="Subtraction (signed integer)"><code>++dif:si</code></a>
133−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>+-dig:by</code></a>
134−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>+-dig:in</code></a>
132+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>++dig:by</code></a>
133+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>++dig:in</code></a>
135134<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dim-ag' title="Parse decimal number"><code>++dim:ag</code></a>
136135<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#dime' title="Aura-atom pair"><code>++dime</code></a>
137136<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#din-re' title="(Undocumented)"><code>++din:re</code></a>
@@ -225,20 +224,20 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
225224<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gap' title="Plural whitespace"><code>++gap</code></a>
226225<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gaq' title="End of line"><code>++gaq</code></a>
227226<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#gar' title="Parse > (gar)"><code>++gar</code></a>
228−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>+-gas:by</code></a>
229−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>+-gas:in</code></a>
230−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>+-gas:to</code></a>
227+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>++gas:by</code></a>
228+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>++gas:in</code></a>
229+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>++gas:to</code></a>
231230<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#gate' title="Function"><code>++gate</code></a>
232231<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gaw' title="Classic whitespace"><code>++gaw</code></a>
233232<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gay' title="Optional gap"><code>++gay</code></a>
234−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>+-get:by</code></a>
235−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>+-get:ja</code></a>
236−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>+-get:ju</code></a>
237−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>+-get:to</code></a>
233+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>++get:by</code></a>
234+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>++get:ja</code></a>
235+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>++get:ju</code></a>
236+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>++get:to</code></a>
238237<a class="tooltip" href='/docs/hoon/reference/stdlib/4e/#glue' title="Skip delimiter"><code>++glue</code></a>
239238<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gon' title="Parse long numbers"><code>++gon</code></a>
240239<a class="tooltip" href='/docs/hoon/reference/stdlib/2f/#gor' title="Hash order"><code>++gor</code></a>
241−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>+-got:by</code></a>
240+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>++got:by</code></a>
242241<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-ff' title="Decimal float to @r"><code>++grd:ff</code></a>
243242<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-fl' title="Decimal to float"><code>++grd:fl</code></a>
244243<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-rd' title="Decimal float to @rd"><code>++grd:rd</code></a>
@@ -261,15 +260,15 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
261260<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#gth-rq' title="Greater than (quad-precision float)"><code>++gth:rq</code></a>
262261<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gul' title="Axis syntax < or >"><code>++gul</code></a>
263262<a class="tooltip" href='/docs/hoon/reference/stdlib/2b/#gulf' title="List from range"><code>++gulf</code></a>
264−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gut-by' title="Grab value with defualt"><code>+-gut:by</code></a>
263+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gut-by' title="Grab value with defualt"><code>++gut:by</code></a>
265264
266265### h
267266
268267<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#hair' title="Parsing line and column"><code>++hair</code></a>
269268<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#hard' title="Force remold"><code>++hard</code></a>
270−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>+-has:by</code></a>
271−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>+-has:in</code></a>
272−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>+-has:ju</code></a>
269+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>++has:by</code></a>
270+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>++has:in</code></a>
271+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>++has:ju</code></a>
273272<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#hax' title="Parse # (hax)"><code>++hax</code></a>
274273<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#head' title="Get head of cell"><code>++head</code></a>
275274<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#here' title="Place-based apply"><code>++here</code></a>
@@ -291,8 +290,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
291290<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#ifix' title="Infix"><code>++ifix</code></a>
292291<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#ind-po' title="Parse suffix"><code>++ind:po</code></a>
293292<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#ins-po' title="Parse prefix"><code>++ins:po</code></a>
294−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>+-int:by</code></a>
295−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>+-int:in</code></a>
293+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>++int:by</code></a>
294+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>++int:in</code></a>
296295<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#inv-fe' title="Inverse order of modular field"><code>++inv:fe</code></a>
297296<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#inv-fl' title="Inverse"><code>++inv:fl</code></a>
298297<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#inv-fo' title="Inverse (signed modulus)"><code>++inv:fo</code></a>
@@ -367,7 +366,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
367366<a class="tooltip" href='/docs/hoon/reference/stdlib/4n/#mack' title="Nock subject to unit"><code>++mack</code></a>
368367<a class="tooltip" href='/docs/hoon/reference/stdlib/2l/#malt' title="Map from list"><code>++malt</code></a>
369368<a class="tooltip" href='/docs/hoon/reference/stdlib/2o/#map' title="Mold generator (map)"><code>++map</code></a>
370−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>+-mar:by</code></a>
369+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>++mar:by</code></a>
371370<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#mas' title="Address within head/tail"><code>++mas</code></a>
372371<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#mask' title="Match character"><code>++mask</code></a>
373372<a class="tooltip" href='/docs/hoon/reference/stdlib/2p/#mat' title="Length-encode"><code>++mat</code></a>
@@ -412,14 +411,14 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
412411### n
413412
414413<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#nail' title="Location, remainder of parsed text"><code>++nail</code></a>
415−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>+-nap:to</code></a>
414+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>++nap:to</code></a>
416415<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ne' title="Digit rendering engine"><code>++ne</code></a>
417416<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#ned-fl' title="Require float"><code>++ned:fl</code></a>
418417<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#need' title="Unwrap unit"><code>++need</code></a>
419418<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#net-fe' title="Flip endianness"><code>++net:fe</code></a>
420419<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#new-si' title="Atom to @s"><code>++new:si</code></a>
421420<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#next' title="Consume character"><code>++next</code></a>
422−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>+-nip:to</code></a>
421+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>++nip:to</code></a>
423422<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#nix' title="Parse letters and -"><code>++nix</code></a>
424423<a class="tooltip" href='/docs/hoon/reference/stdlib/2m/#nl' title="Noun to container operations"><code>++nl</code></a>
425424<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#nock' title="Virtual machine (see Nock)"><code>++nock</code></a>
@@ -466,10 +465,10 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
466465<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#prn' title="Parse any printable character"><code>++prn</code></a>
467466<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#pro-fo' title="Multiplies b and c modulo a"><code>++pro:fo</code></a>
468467<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#pro-si' title="Multiply to signed integer"><code>++pro:si</code></a>
469−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>+-put:by</code></a>
470−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>+-put:in</code></a>
471−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>+-put:ju</code></a>
472−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>+-put:to</code></a>
468+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>++put:by</code></a>
469+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>++put:in</code></a>
470+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>++put:ju</code></a>
471+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>++put:to</code></a>
473472
474473### q
475474
@@ -503,10 +502,10 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
503502<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rend-co' title="Render coin lot as tape"><code>++rend:co</code></a>
504503<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rent-co' title="Render coin lot as span"><code>++rent:co</code></a>
505504<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rep' title="Assemble single"><code>++rep</code></a>
506−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>+-rep:by</code></a>
507−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>+-rep:in</code></a>
505+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>++rep:by</code></a>
506+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>++rep:in</code></a>
508507<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rf-at' title="(Undocumented)"><code>++rf:at</code></a>
509−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>+-rib:by</code></a>
508+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>++rib:by</code></a>
510509<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#rig-re' title="Wrap tape in / (tank)"><code>++rig:re</code></a>
511510<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rip' title="Disassemble"><code>++rip</code></a>
512511<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rn-at' title="(Undocumented)"><code>++rn:at</code></a>
@@ -526,14 +525,14 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
526525<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rud-at' title="(Undocumented)"><code>++rud:at</code></a>
527526<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#rule' title="Parsing rule (match this with _)"><code>++rule</code></a>
528527<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rum-at' title="(Undocumented)"><code>++rum:at</code></a>
529−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>+-run:by</code></a>
530−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>+-run:in</code></a>
528+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>++run:by</code></a>
529+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>++run:in</code></a>
531530<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#rund-ob' title="Reverse single Feistel-like"><code>++rund:ob</code></a>
532531<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#runt' title="Prepend n times"><code>++runt</code></a>
533532<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rup-at' title="(Undocumented)"><code>++rup:at</code></a>
534533<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rush' title="Parse or null"><code>++rush</code></a>
535534<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rust' title="Parse tape or null"><code>++rust</code></a>
536−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>+-rut:by</code></a>
535+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>++rut:by</code></a>
537536<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#ruv-at' title="(Undocumented)"><code>++ruv:at</code></a>
538537<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rux-at' title="(Undocumented)"><code>++rux:at</code></a>
539538<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#rynd-ob' title="Reverse Feistel-like cipher"><code>++rynd:ob</code></a>
@@ -676,12 +675,12 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
676675### t
677676
678677<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#tail' title="Get tail of cell"><code>++tail</code></a>
679−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>+-tap:to</code></a>
678+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>++tap:to</code></a>
680679<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#tar' title="Parse * (tar)"><code>++tar</code></a>
681680<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tang' title="Generic print structure"><code>++tang</code></a>
682681<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tank' title="Pretty-printing structure"><code>++tank</code></a>
683−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>+-tap:by</code></a>
684−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>+-tap:in</code></a>
682+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>++tap:by</code></a>
683+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>++tap:in</code></a>
685684<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tape' title="List of characters"><code>++tape</code></a>
686685<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tarp' title="Parsed time"><code>++tarp</code></a>
687686<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#tash-so' title="Parse signed dime"><code>++tash:so</code></a>
@@ -709,7 +708,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
709708<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#toj-fl' title="Round unsigned and signed integer to float"><code>++toj:fl</code></a>
710709<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#tone' title="Nock result (error report)"><code>++tone</code></a>
711710<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#toon' title="Nock result (stack trace)"><code>++toon</code></a>
712−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>+-top:to</code></a>
711+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>++top:to</code></a>
713712<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#tos-po' title="Fetch prefix"><code>++tos:po</code></a>
714713<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#tos-rh' title="Convert half-precision float to single-precision float"><code>++tos:rh</code></a>
715714<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#trap' title="Core with one arm $"><code>++trap</code></a>
@@ -732,11 +731,11 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
732731### u
733732
734733<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#un' title="Reversible scrambling"><code>++un</code></a>
735−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>+-uni:by</code></a>
734+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>++uni:by</code></a>
736735<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#uni-fl' title="Change representation to odd"><code>++uni:fl</code></a>
737−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>+-uni:in</code></a>
736+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>++uni:in</code></a>
738737<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#unit' title="Mold generator (maybe)"><code>++unit</code></a>
739−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>+-urn:by</code></a>
738+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>++urn:by</code></a>
740739<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#urs-ab' title="Parse span characters"><code>++urs:ab</code></a>
741740<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#urt-ab' title="Parse non-_ span"><code>++urt:ab</code></a>
742741
@@ -775,8 +774,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
775774<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#wred-un' title="Restore structure"><code>++wred:un</code></a>
776775<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#wren-un' title="Conceal structure"><code>++wren:un</code></a>
777776<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#wut' title="Parse ? (wut)"><code>++wut</code></a>
778−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>+-wyt:by</code></a>
779−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>+-wyt:in</code></a>
777+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>++wyt:by</code></a>
778+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>++wyt:in</code></a>
780779
781780### x
782781
@@ -955,74 +954,73 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
955954### 2h: set logic
956955
957956<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#in'><code>++in</code></a>
958−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>+-all:in</code></a>
959−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>+-any:in</code></a>
960−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>+-apt:in</code></a>
961−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>+-bif:in</code></a>
962−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>+-del:in</code></a>
963−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>+-dif:in</code></a>
964−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>+-dig:in</code></a>
965−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>+-gas:in</code></a>
966−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>+-has:in</code></a>
967−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>+-int:in</code></a>
968−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>+-put:in</code></a>
969−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>+-rep:in</code></a>
970−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>+-run:in</code></a>
971−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>+-tap:in</code></a>
972−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>+-uni:in</code></a>
973−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>+-wyt:in</code></a>
957+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>++all:in</code></a>
958+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>++any:in</code></a>
959+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>++apt:in</code></a>
960+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>++bif:in</code></a>
961+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>++del:in</code></a>
962+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>++dif:in</code></a>
963+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>++dig:in</code></a>
964+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>++gas:in</code></a>
965+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>++has:in</code></a>
966+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>++int:in</code></a>
967+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>++put:in</code></a>
968+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>++rep:in</code></a>
969+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>++run:in</code></a>
970+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>++tap:in</code></a>
971+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>++uni:in</code></a>
972+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>++wyt:in</code></a>
974973
975974### 2i: map logic
976975
977976<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#by' title="Map operations"><code>++by</code></a>
978−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>+-all:by</code></a>
979−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>+-any:by</code></a>
980−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>+-apt:by</code></a>
981−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>+-bif:by</code></a>
982−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>+-del:by</code></a>
983−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dep-by' title="Difference as patch (map)"><code>+-dep:by</code></a>
984−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>+-dig:by</code></a>
985−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>+-gas:by</code></a>
986−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>+-get:by</code></a>
987−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>+-got:by</code></a>
988−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gut-by' title="Grab value with default"><code>+-gut:by</code></a>
989−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>+-has:by</code></a>
990−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>+-int:by</code></a>
991−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>+-mar:by</code></a>
992−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>+-put:by</code></a>
993−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>+-rep:by</code></a>
994−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>+-rib:by</code></a>
995−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>+-run:by</code></a>
996−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>+-rut:by</code></a>
997−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>+-tap:by</code></a>
998−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>+-uni:by</code></a>
999−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>+-urn:by</code></a>
1000−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>+-wyt:by</code></a>
977+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>++all:by</code></a>
978+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>++any:by</code></a>
979+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>++apt:by</code></a>
980+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>++bif:by</code></a>
981+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>++del:by</code></a>
982+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>++dig:by</code></a>
983+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>++gas:by</code></a>
984+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>++get:by</code></a>
985+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>++got:by</code></a>
986+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gut-by' title="Grab value with default"><code>++gut:by</code></a>
987+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>++has:by</code></a>
988+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>++int:by</code></a>
989+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>++mar:by</code></a>
990+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>++put:by</code></a>
991+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>++rep:by</code></a>
992+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>++rib:by</code></a>
993+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>++run:by</code></a>
994+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>++rut:by</code></a>
995+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>++tap:by</code></a>
996+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>++uni:by</code></a>
997+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>++urn:by</code></a>
998+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>++wyt:by</code></a>
1001999
10021000### 2j: jar and jug logic
10031001
10041002<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#ja' title="Jar engine"><code>++ja</code></a>
1005−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>+-add:ja</code></a>
1006−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>+-get:ja</code></a>
1003+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>++add:ja</code></a>
1004+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>++get:ja</code></a>
10071005
10081006<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#ju' title="Jug operations"><code>++ju</code></a>
1009−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>+-del:ju</code></a>
1010−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>+-get:ju</code></a>
1011−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>+-has:ju</code></a>
1012−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>+-put:ju</code></a>
1007+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>++del:ju</code></a>
1008+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>++get:ju</code></a>
1009+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>++has:ju</code></a>
1010+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>++put:ju</code></a>
10131011
10141012### 2k: queue logic
10151013
10161014<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#to' title="Queue operations"><code>++to</code></a>
1017−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>+-bal:to</code></a>
1018−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>+-dep:to</code></a>
1019−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>+-gas:to</code></a>
1020−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>+-get:to</code></a>
1021−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>+-nap:to</code></a>
1022−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>+-nip:to</code></a>
1023−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>+-put:to</code></a>
1024−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>+-tap:to</code></a>
1025−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>+-top:to</code></a>
1015+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>++bal:to</code></a>
1016+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>++dep:to</code></a>
1017+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>++gas:to</code></a>
1018+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>++get:to</code></a>
1019+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>++nap:to</code></a>
1020+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>++nip:to</code></a>
1021+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>++put:to</code></a>
1022+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>++tap:to</code></a>
1023+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>++top:to</code></a>
10261024
10271025### 2l: container from container
10281026
hoon/reference/stdlib/table-of-contents.md+104−108
@@ -21,30 +21,30 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
2121<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#add' title="Add"><code>++add</code></a>
2222<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-ff' title="Add (floating point)"><code>++add:ff</code></a>
2323<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-fl' title="Add (with exact/rounded flag)"><code>++add:fl</code></a>
24−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>+-add:ja</code></a>
24+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>++add:ja</code></a>
2525<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rd' title="Add (double-precision float)"><code>++add:rd</code></a>
2626<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rh' title="Add (half-precision float)"><code>++add:rh</code></a>
2727<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rs' title="Add (single-precision float)"><code>++add:rs</code></a>
2828<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#add-rq' title="Add (quad-precision float)"><code>++add:rq</code></a>
2929<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ag' title="Top-level atom parser engine"><code>++ag</code></a>
3030<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#alf' title="Parse alphabetic characters"><code>++alf</code></a>
31−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>+-all:by</code></a>
32−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>+-all:in</code></a>
31+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>++all:by</code></a>
32+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>++all:in</code></a>
3333<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#aln' title="Parse alphanumeric characters"><code>++aln</code></a>
3434<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#alp' title="Parse alphanumeric characters and -"><code>++alp</code></a>
35−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>+-any:by</code></a>
36−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>+-any:in</code></a>
35+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>++any:by</code></a>
36+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>++any:in</code></a>
3737<a class="tooltip" href='/docs/hoon/reference/stdlib/2f/#aor' title="Alphabetical order"><code>++aor</code></a>
3838<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ape-ag' title="Parse 0 or rule"><code>++ape:ag</code></a>
39−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>+-apt:by</code></a>
40−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>+-apt:in</code></a>
39+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>++apt:by</code></a>
40+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>++apt:in</code></a>
4141<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#at' title="(Undocumented)"><code>++at</code></a>
4242<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#aura' title="'Type' of atom"><code>++aura</code></a>
4343<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#axis' title="Nock axis"><code>++axis</code></a>
4444
4545### b
4646
47−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>+-bal:to</code></a>
47+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>++bal:to</code></a>
4848<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#bar' title="Parse | (bar)"><code>++bar</code></a>
4949<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#bas' title="Parse \ (bas)"><code>++bas</code></a>
5050<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#base' title="Base type"><code>++base</code></a>
@@ -57,8 +57,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
5757<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#bet' title="Parse hep and lus axis syntax"><code>++bet</code></a>
5858<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#bex' title="Binary exponent"><code>++bex</code></a>
5959<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#bif-ff' title="Converts from fn to @r"><code>++bif:ff</code></a>
60−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>+-bif:by</code></a>
61−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>+-bif:in</code></a>
60+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>++bif:by</code></a>
61+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>++bif:in</code></a>
6262<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#biff' title="Unit as argument"><code>++biff</code></a>
6363<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#bin' title="Binary to atom"><code>++bin</code></a>
6464<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#bind' title="Non-unit function to unit, producing unit"><code>++bind</code></a>
@@ -118,21 +118,19 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
118118<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#date' title="Point in time"><code>++date</code></a>
119119<a class="tooltip" href='/docs/hoon/reference/stdlib/3c/#day-yo' title="Seconds in day"><code>++day:yo</code></a>
120120<a class="tooltip" href='/docs/hoon/reference/stdlib/1a/#dec' title="Decrement"><code>++dec</code></a>
121−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#def-by' title="Difference (map)"><code>+-def:by</code></a>
122−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>+-del:by</code></a>
123−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>+-del:in</code></a>
124−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>+-del:ju</code></a>
121+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>++del:by</code></a>
122+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>++del:in</code></a>
123+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>++del:ju</code></a>
125124<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#dem' title="Decimal to atom"><code>++dem</code></a>
126125<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dem-ag' title="Parse decmal with dots"><code>++dem:ag</code></a>
127126<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#den-fl' title="Denormalizes (floating point)"><code>++den:fl</code></a>
128−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dep-by' title="Difference as patch (map)"><code>+-dep:by</code></a>
129−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>+-dep:to</code></a>
127+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>++dep:to</code></a>
130128<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#dif-fe' title="Difference between atoms (modular basis)"><code>++dif:fe</code></a>
131129<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#dif-fo' title='Subtraction (modular base)'><code>++dif:fo</code></a>
132−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>+-dif:in</code></a>
130+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>++dif:in</code></a>
133131<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#dif-si' title="Subtraction (signed integer)"><code>++dif:si</code></a>
134−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>+-dig:by</code></a>
135−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>+-dig:in</code></a>
132+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>++dig:by</code></a>
133+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>++dig:in</code></a>
136134<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#dim-ag' title="Parse decimal number"><code>++dim:ag</code></a>
137135<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#dime' title="Aura-atom pair"><code>++dime</code></a>
138136<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#din-re' title="(Undocumented)"><code>++din:re</code></a>
@@ -226,20 +224,20 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
226224<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gap' title="Plural whitespace"><code>++gap</code></a>
227225<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gaq' title="End of line"><code>++gaq</code></a>
228226<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#gar' title="Parse > (gar)"><code>++gar</code></a>
229−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>+-gas:by</code></a>
230−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>+-gas:in</code></a>
231−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>+-gas:to</code></a>
227+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>++gas:by</code></a>
228+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>++gas:in</code></a>
229+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>++gas:to</code></a>
232230<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#gate' title="Function"><code>++gate</code></a>
233231<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gaw' title="Classic whitespace"><code>++gaw</code></a>
234232<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gay' title="Optional gap"><code>++gay</code></a>
235−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>+-get:by</code></a>
236−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>+-get:ja</code></a>
237−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>+-get:ju</code></a>
238−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>+-get:to</code></a>
233+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>++get:by</code></a>
234+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>++get:ja</code></a>
235+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>++get:ju</code></a>
236+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>++get:to</code></a>
239237<a class="tooltip" href='/docs/hoon/reference/stdlib/4e/#glue' title="Skip delimiter"><code>++glue</code></a>
240238<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#gon' title="Parse long numbers"><code>++gon</code></a>
241239<a class="tooltip" href='/docs/hoon/reference/stdlib/2f/#gor' title="Hash order"><code>++gor</code></a>
242−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>+-got:by</code></a>
240+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>++got:by</code></a>
243241<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-ff' title="Decimal float to @r"><code>++grd:ff</code></a>
244242<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-fl' title="Decimal to float"><code>++grd:fl</code></a>
245243<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#grd-rd' title="Decimal float to @rd"><code>++grd:rd</code></a>
@@ -267,9 +265,9 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
267265
268266<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#hair' title="Parsing line and column"><code>++hair</code></a>
269267<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#hard' title="Force remold"><code>++hard</code></a>
270−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>+-has:by</code></a>
271−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>+-has:in</code></a>
272−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>+-has:ju</code></a>
268+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>++has:by</code></a>
269+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>++has:in</code></a>
270+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>++has:ju</code></a>
273271<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#hax' title="Parse # (hax)"><code>++hax</code></a>
274272<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#head' title="Get head of cell"><code>++head</code></a>
275273<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#here' title="Place-based apply"><code>++here</code></a>
@@ -291,8 +289,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
291289<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#ifix' title="Infix"><code>++ifix</code></a>
292290<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#ind-po' title="Parse suffix"><code>++ind:po</code></a>
293291<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#ins-po' title="Parse prefix"><code>++ins:po</code></a>
294−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>+-int:by</code></a>
295−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>+-int:in</code></a>
292+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>++int:by</code></a>
293+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>++int:in</code></a>
296294<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#inv-fe' title="Inverse order of modular field"><code>++inv:fe</code></a>
297295<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#inv-fl' title="Inverse"><code>++inv:fl</code></a>
298296<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#inv-fo' title="Inverse (signed modulus)"><code>++inv:fo</code></a>
@@ -368,7 +366,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
368366<a class="tooltip" href='/docs/hoon/reference/stdlib/4n/#mack' title="Nock subject to unit"><code>++mack</code></a>
369367<a class="tooltip" href='/docs/hoon/reference/stdlib/2l/#malt' title="Map from list"><code>++malt</code></a>
370368<a class="tooltip" href='/docs/hoon/reference/stdlib/2o/#map' title="Mold generator (map)"><code>++map</code></a>
371−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>+-mar:by</code></a>
369+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>++mar:by</code></a>
372370<a class="tooltip" href='/docs/hoon/reference/stdlib/1b/#mas' title="Address within head/tail"><code>++mas</code></a>
373371<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#mask' title="Match character"><code>++mask</code></a>
374372<a class="tooltip" href='/docs/hoon/reference/stdlib/2p/#mat' title="Length-encode"><code>++mat</code></a>
@@ -413,14 +411,14 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
413411### n
414412
415413<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#nail' title="Location, remainder of parsed text"><code>++nail</code></a>
416−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>+-nap:to</code></a>
414+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>++nap:to</code></a>
417415<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#ne' title="Digit rendering engine"><code>++ne</code></a>
418416<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#ned-fl' title="Require float"><code>++ned:fl</code></a>
419417<a class="tooltip" href='/docs/hoon/reference/stdlib/2a/#need' title="Unwrap unit"><code>++need</code></a>
420418<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#net-fe' title="Flip endianness"><code>++net:fe</code></a>
421419<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#new-si' title="Atom to @s"><code>++new:si</code></a>
422420<a class="tooltip" href='/docs/hoon/reference/stdlib/4f/#next' title="Consume character"><code>++next</code></a>
423−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>+-nip:to</code></a>
421+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>++nip:to</code></a>
424422<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#nix' title="Parse letters and -"><code>++nix</code></a>
425423<a class="tooltip" href='/docs/hoon/reference/stdlib/2m/#nl' title="Noun to container operations"><code>++nl</code></a>
426424<a class="tooltip" href='/docs/hoon/reference/stdlib/4o/#nock' title="Virtual machine (see Nock)"><code>++nock</code></a>
@@ -467,10 +465,10 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
467465<a class="tooltip" href='/docs/hoon/reference/stdlib/4i/#prn' title="Parse any printable character"><code>++prn</code></a>
468466<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#pro-fo' title="Multiplies b and c modulo a"><code>++pro:fo</code></a>
469467<a class="tooltip" href='/docs/hoon/reference/stdlib/3a/#pro-si' title="Multiply to signed integer"><code>++pro:si</code></a>
470−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>+-put:by</code></a>
471−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>+-put:in</code></a>
472−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>+-put:ju</code></a>
473−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>+-put:to</code></a>
468+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>++put:by</code></a>
469+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>++put:in</code></a>
470+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>++put:ju</code></a>
471+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>++put:to</code></a>
474472
475473### q
476474
@@ -504,10 +502,10 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
504502<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rend-co' title="Render coin lot as tape"><code>++rend:co</code></a>
505503<a class="tooltip" href='/docs/hoon/reference/stdlib/4k/#rent-co' title="Render coin lot as span"><code>++rent:co</code></a>
506504<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rep' title="Assemble single"><code>++rep</code></a>
507−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>+-rep:by</code></a>
508−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>+-rep:in</code></a>
505+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>++rep:by</code></a>
506+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>++rep:in</code></a>
509507<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rf-at' title="(Undocumented)"><code>++rf:at</code></a>
510−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>+-rib:by</code></a>
508+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>++rib:by</code></a>
511509<a class="tooltip" href='/docs/hoon/reference/stdlib/4c/#rig-re' title="Wrap tape in / (tank)"><code>++rig:re</code></a>
512510<a class="tooltip" href='/docs/hoon/reference/stdlib/2c/#rip' title="Disassemble"><code>++rip</code></a>
513511<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rn-at' title="(Undocumented)"><code>++rn:at</code></a>
@@ -527,14 +525,14 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
527525<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rud-at' title="(Undocumented)"><code>++rud:at</code></a>
528526<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#rule' title="Parsing rule (match this with _)"><code>++rule</code></a>
529527<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rum-at' title="(Undocumented)"><code>++rum:at</code></a>
530−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>+-run:by</code></a>
531−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>+-run:in</code></a>
528+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>++run:by</code></a>
529+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>++run:in</code></a>
532530<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#rund-ob' title="Reverse single Feistel-like"><code>++rund:ob</code></a>
533531<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#runt' title="Prepend n times"><code>++runt</code></a>
534532<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rup-at' title="(Undocumented)"><code>++rup:at</code></a>
535533<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rush' title="Parse or null"><code>++rush</code></a>
536534<a class="tooltip" href='/docs/hoon/reference/stdlib/4g/#rust' title="Parse tape or null"><code>++rust</code></a>
537−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>+-rut:by</code></a>
535+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>++rut:by</code></a>
538536<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#ruv-at' title="(Undocumented)"><code>++ruv:at</code></a>
539537<a class="tooltip" href='/docs/hoon/reference/stdlib/4b/#rux-at' title="(Undocumented)"><code>++rux:at</code></a>
540538<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#rynd-ob' title="Reverse Feistel-like cipher"><code>++rynd:ob</code></a>
@@ -676,12 +674,12 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
676674### t
677675
678676<a class="tooltip" href='/docs/hoon/reference/stdlib/2n/#tail' title="Get tail of cell"><code>++tail</code></a>
679−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>+-tap:to</code></a>
677+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>++tap:to</code></a>
680678<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#tar' title="Parse * (tar)"><code>++tar</code></a>
681679<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tang' title="Generic print structure"><code>++tang</code></a>
682680<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tank' title="Pretty-printing structure"><code>++tank</code></a>
683−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>+-tap:by</code></a>
684−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>+-tap:in</code></a>
681+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>++tap:by</code></a>
682+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>++tap:in</code></a>
685683<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tape' title="List of characters"><code>++tape</code></a>
686684<a class="tooltip" href='/docs/hoon/reference/stdlib/2q/#tarp' title="Parsed time"><code>++tarp</code></a>
687685<a class="tooltip" href='/docs/hoon/reference/stdlib/4l/#tash-so' title="Parse signed dime"><code>++tash:so</code></a>
@@ -709,7 +707,7 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
709707<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#toj-fl' title="Round unsigned and signed integer to float"><code>++toj:fl</code></a>
710708<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#tone' title="Nock result (error report)"><code>++tone</code></a>
711709<a class="tooltip" href='/docs/hoon/reference/stdlib/3g/#toon' title="Nock result (stack trace)"><code>++toon</code></a>
712−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>+-top:to</code></a>
710+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>++top:to</code></a>
713711<a class="tooltip" href='/docs/hoon/reference/stdlib/4a/#tos-po' title="Fetch prefix"><code>++tos:po</code></a>
714712<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#tos-rh' title="Convert half-precision float to single-precision float"><code>++tos:rh</code></a>
715713<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#trap' title="Core with one arm $"><code>++trap</code></a>
@@ -732,11 +730,11 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
732730### u
733731
734732<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#un' title="Reversible scrambling"><code>++un</code></a>
735−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>+-uni:by</code></a>
733+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>++uni:by</code></a>
736734<a class="tooltip" href='/docs/hoon/reference/stdlib/3b/#uni-fl' title="Change representation to odd"><code>++uni:fl</code></a>
737−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>+-uni:in</code></a>
735+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>++uni:in</code></a>
738736<a class="tooltip" href='/docs/hoon/reference/stdlib/1c/#unit' title="Mold generator (maybe)"><code>++unit</code></a>
739−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>+-urn:by</code></a>
737+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>++urn:by</code></a>
740738<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#urs-ab' title="Parse span characters"><code>++urs:ab</code></a>
741739<a class="tooltip" href='/docs/hoon/reference/stdlib/4j/#urt-ab' title="Parse non-_ span"><code>++urt:ab</code></a>
742740
@@ -775,8 +773,8 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
775773<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#wred-un' title="Restore structure"><code>++wred:un</code></a>
776774<a class="tooltip" href='/docs/hoon/reference/stdlib/3f/#wren-un' title="Conceal structure"><code>++wren:un</code></a>
777775<a class="tooltip" href='/docs/hoon/reference/stdlib/4h/#wut' title="Parse ? (wut)"><code>++wut</code></a>
778−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>+-wyt:by</code></a>
779−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>+-wyt:in</code></a>
776+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>++wyt:by</code></a>
777+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>++wyt:in</code></a>
780778
781779### x
782780
@@ -955,74 +953,72 @@ Can be navigated [alphabetically](#alphabetical) or [by section](#by-section).
955953### 2h: set logic
956954
957955<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#in'><code>++in</code></a>
958−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>+-all:in</code></a>
959−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>+-any:in</code></a>
960−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>+-apt:in</code></a>
961−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>+-bif:in</code></a>
962−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>+-del:in</code></a>
963−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>+-dif:in</code></a>
964−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>+-dig:in</code></a>
965−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>+-gas:in</code></a>
966−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>+-has:in</code></a>
967−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>+-int:in</code></a>
968−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>+-put:in</code></a>
969−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>+-rep:in</code></a>
970−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>+-run:in</code></a>
971−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>+-tap:in</code></a>
972−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>+-uni:in</code></a>
973−<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>+-wyt:in</code></a>
956+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#all-in' title="Logical AND (set and wet gate)"><code>++all:in</code></a>
957+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#any-in' title="Logical OR (set and gate)"><code>++any:in</code></a>
958+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#apt-in' title="Check correctness (set)"><code>++apt:in</code></a>
959+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#bif-in' title="Bifurcate set"><code>++bif:in</code></a>
960+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#del-in' title="Delete (set)"><code>++del:in</code></a>
961+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dif-in' title='Difference (set)'><code>++dif:in</code></a>
962+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#dig-in' title="Address of a in set"><code>++dig:in</code></a>
963+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#gas-in' title="Concatenate (set)"><code>++gas:in</code></a>
964+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#has-in' title="Key existence check (set)"><code>++has:in</code></a>
965+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#int-in' title="Intersection (set)"><code>++int:in</code></a>
966+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#put-in' title="Put b in a (set)"><code>++put:in</code></a>
967+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#rep-in' title="Accumulate elements (set)"><code>++rep:in</code></a>
968+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#run-in' title="Apply gate to set"><code>++run:in</code></a>
969+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#tap-in' title="Flatten set into list"><code>++tap:in</code></a>
970+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#uni-in' title="Union (sets)"><code>++uni:in</code></a>
971+<a class="tooltip" href='/docs/hoon/reference/stdlib/2h/#wyt-in' title="Produce number of elements in set"><code>++wyt:in</code></a>
974972
975973### 2i: map logic
976974
977975<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#by' title="Map operations"><code>++by</code></a>
978−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>+-all:by</code></a>
979−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>+-any:by</code></a>
980−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>+-apt:by</code></a>
981−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>+-bif:by</code></a>
982−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#def-by' title="Difference (map)"><code>+-def:by</code></a>
983−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>+-del:by</code></a>
984−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dep-by' title="Difference as patch (map)"><code>+-dep:by</code></a>
985−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>+-dig:by</code></a>
986−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>+-gas:by</code></a>
987−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>+-get:by</code></a>
988−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>+-got:by</code></a>
989−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>+-has:by</code></a>
990−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>+-int:by</code></a>
991−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>+-mar:by</code></a>
992−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>+-put:by</code></a>
993−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>+-rep:by</code></a>
994−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>+-rib:by</code></a>
995−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>+-run:by</code></a>
996−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>+-rut:by</code></a>
997−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>+-tap:by</code></a>
998−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>+-uni:by</code></a>
999−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>+-urn:by</code></a>
1000−<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>+-wyt:by</code></a>
976+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#all-by' title="Logical AND (map and wet gate)"><code>++all:by</code></a>
977+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#any-by' title="Logical OR (map and wet gate)"><code>++any:by</code></a>
978+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#apt-by' title="Check correctness (map)"><code>++apt:by</code></a>
979+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#bif-by' title="Bifurcate map"><code>++bif:by</code></a>
980+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#del-by' title="Delete (map)"><code>++del:by</code></a>
981+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#dig-by' title="Address of key (map)"><code>++dig:by</code></a>
982+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#gas-by' title="Concatenate (map)"><code>++gas:by</code></a>
983+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#get-by' title="Grab unit value"><code>++get:by</code></a>
984+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#got-by' title="Assert for value (map)"><code>++got:by</code></a>
985+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#has-by' title="Key existence check (map)"><code>++has:by</code></a>
986+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#int-by' title="Intersection (map)"><code>++int:by</code></a>
987+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#mar-by' title="Assert and add (map)"><code>++mar:by</code></a>
988+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#put-by' title="Add key-value pair (map)"><code>++put:by</code></a>
989+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rep-by' title="Replace by product (map)"><code>++rep:by</code></a>
990+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rib-by' title="Replace values with accumulator (map)"><code>++rib:by</code></a>
991+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#run-by' title="Transform values (map)"><code>++run:by</code></a>
992+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#rut-by' title="Transform nodes (map)"><code>++rut:by</code></a>
993+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#tap-by' title="Listify pairs"><code>++tap:by</code></a>
994+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#uni-by' title="Union (map between keys of two lists)"><code>++uni:by</code></a>
995+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#urn-by' title="Turn (with key) (map)"><code>++urn:by</code></a>
996+<a class="tooltip" href='/docs/hoon/reference/stdlib/2i/#wyt-by' title="Produce depth of tree map"><code>++wyt:by</code></a>
1001997
1002998### 2j: jar and jug logic
1003999
10041000<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#ja' title="Jar engine"><code>++ja</code></a>
1005−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>+-add:ja</code></a>
1006−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>+-get:ja</code></a>
1001+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#add-ja' title="Prepend to list"><code>++add:ja</code></a>
1002+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ja' title="Grab value by key"><code>++get:ja</code></a>
10071003
10081004<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#ju' title="Jug operations"><code>++ju</code></a>
1009−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>+-del:ju</code></a>
1010−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>+-get:ju</code></a>
1011−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>+-has:ju</code></a>
1012−<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>+-put:ju</code></a>
1005+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#del-ju' title="Delete (jug)"><code>++del:ju</code></a>
1006+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#get-ju' title="Retrieve set"><code>++get:ju</code></a>
1007+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#has-ju' title="Check contents (jug)"><code>++has:ju</code></a>
1008+<a class="tooltip" href='/docs/hoon/reference/stdlib/2j/#put-ju' title="Add key-set pair (jar)"><code>++put:ju</code></a>
10131009
10141010### 2k: queue logic
10151011
10161012<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#to' title="Queue operations"><code>++to</code></a>
1017−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>+-bal:to</code></a>
1018−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>+-dep:to</code></a>
1019−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>+-gas:to</code></a>
1020−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>+-get:to</code></a>
1021−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>+-nap:to</code></a>
1022−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>+-nip:to</code></a>
1023−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>+-put:to</code></a>
1024−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>+-tap:to</code></a>
1025−<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>+-top:to</code></a>
1013+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#bal-to' title="Balance queue"><code>++bal:to</code></a>
1014+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#dep-to' title="Maximum depth (queue)"><code>++dep:to</code></a>
1015+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#gas-to' title="Push list into queue"><code>++gas:to</code></a>
1016+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#get-to' title="Head-tail pair"><code>++get:to</code></a>
1017+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nap-to' title="Remove head of queue"><code>++nap:to</code></a>
1018+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#nip-to' title="Remove root of queue"><code>++nip:to</code></a>
1019+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#put-to' title="Insert into queue"><code>++put:to</code></a>
1020+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#tap-to' title="Queue to list"><code>++tap:to</code></a>
1021+<a class="tooltip" href='/docs/hoon/reference/stdlib/2k/#top-to' title="Produce head of queue"><code>++top:to</code></a>
10261022
10271023### 2l: container from container
10281024