@@ -1,857 +0,0 @@
1−[
2− {
3− "name": "dot",
4− "symbol": ".",
5− "usage": "Nock",
6− "link": "./docs/reference/hoon-expressions/rune/dot.md",
7− "desc": "Runes used for carrying out Nock operations in Hoon."
8− },
9− {
10− "name": "dotket",
11− "symbol": ".^",
12− "usage": "Nock",
13− "link": "../content/docs/reference/hoon-expressions/rune/dot.md#dotket",
14− "desc": "`[%dtkt p=spec q=hoon]`: load from the Arvo namespace with a fake Nock instruction: 'Nock `12`''."
15− },
16− {
17− "name": "dotlus",
18− "symbol": ".+",
19− "usage": "Nock",
20− "link": "../content/docs/reference/hoon-expressions/rune/dot.md#dotlus",
21− "desc": "`[%dtls p=hoon]`: increment an atom with Nock `4`."
22− },
23− {
24− "name": "dottar",
25− "symbol": ".*",
26− "usage": "Nock",
27− "link": "../content/docs/reference/hoon-expressions/rune/dot.md#dottar",
28− "desc": "`[%dttr p=hoon q=hoon]`: evaluate with Nock `2`."
29− },
30− {
31− "name": "dottis",
32− "symbol": ".=",
33− "usage": "Nock",
34− "link": "../content/docs/reference/hoon-expressions/rune/dot.md#dottis",
35− "desc": "`[%dtts p=hoon q=hoon]`: test for equality with Nock `5`."
36− },
37− {
38− "name": "dotwut",
39− "symbol": ".?",
40− "usage": "Nock",
41− "link": "../content/docs/reference/hoon-expressions/rune/dot.md#dotwut",
42− "desc": "`[%dtwt p=hoon]`: test for cell or atom with Nock `3`."
43− },
44− {
45− "name": "zap",
46− "symbol": "!",
47− "usage": "wild",
48− "link": "./docs/reference/hoon-expressions/rune/zap.md",
49− "desc": "Wildcard category. Expressions that don't fit anywhere else go here."
50− },
51− {
52− "name": "zapban",
53− "symbol": "!>",
54− "usage": "wild",
55− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zapban",
56− "desc": "`[%zpgr p=hoon]`: wrap a noun in its type."
57− },
58− {
59− "name": "zapcol",
60− "symbol": "!:",
61− "usage": "wild",
62− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zapcol",
63− "desc": "`[%dbug p=hoon]`: turn on stack trace"
64− },
65− {
66− "name": "zapdot",
67− "symbol": "!.",
68− "usage": "wild",
69− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zapdot",
70− "desc": "Turn off stack trace for a subexpression `p`"
71− },
72− {
73− "name": "zaptis",
74− "symbol": "!=",
75− "usage": "wild",
76− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zaptis",
77− "desc": "`[%zpts p=hoon]`: make the Nock formula for a Hoon expression."
78− },
79− {
80− "name": "zapwut",
81− "symbol": "!?",
82− "usage": "wild",
83− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zapwut",
84− "desc": "`[%zpwt p=@ q=hoon]`: restrict Hoon version."
85− },
86− {
87− "name": "zapzap",
88− "symbol": "!!",
89− "usage": "wild",
90− "link": "../content/docs/reference/hoon-expressions/rune/zap.md#zapzap",
91− "desc": "`[%zpzp ~]`: crash."
92− },
93− {
94− "name": "tis",
95− "symbol": "=",
96− "usage": "Subject Modification",
97− "link": "./docs/reference/hoon-expressions/rune/tis.md",
98− "desc": "Runes used to modify the subject."
99− },
100− {
101− "name": "tisban",
102− "symbol": "=>",
103− "usage": "Subject Modification",
104− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisban",
105− "desc": "`[%tsgr p=hoon q=hoon]`: compose two expressions."
106− },
107− {
108− "name": "tisbar",
109− "symbol": "=|",
110− "usage": "Subject Modification",
111− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisbar",
112− "desc": "`[%tsbr p=spec q=hoon]`: combine a default type value with the subject."
113− },
114− {
115− "name": "tiscol",
116− "symbol": "=:",
117− "usage": "Subject Modification",
118− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tiscol",
119− "desc": "`[%tscl p=(list (pair wing hoon)) q=hoon]`: change multiple legs in the subject."
120− },
121− {
122− "name": "tiscom",
123− "symbol": "=,",
124− "usage": "Subject Modification",
125− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tiscom",
126− "desc": "`[%tscm p=hoon q=hoon]`: expose namespace"
127− },
128− {
129− "name": "tisdot",
130− "symbol": "=.",
131− "usage": "Subject Modification",
132− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisdot",
133− "desc": "`[%tsdt p=wing q=hoon r=hoon]`: change one leg in the subject."
134− },
135− {
136− "name": "tishep",
137− "symbol": "=-",
138− "usage": "Subject Modification",
139− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tishep",
140− "desc": "`[%tshp p=hoon q=hoon]`: combine a new noun with the subject, inverted."
141− },
142− {
143− "name": "tisket",
144− "symbol": "=^",
145− "usage": "Subject Modification",
146− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisket",
147− "desc": "`[%tskt p=skin q=wing r=hoon s=hoon]`: pin the head of a pair; change"
148− },
149− {
150− "name": "tisled",
151− "symbol": "=<",
152− "usage": "Subject Modification",
153− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisled",
154− "desc": "`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted."
155− },
156− {
157− "name": "tislus",
158− "symbol": "=+",
159− "usage": "Subject Modification",
160− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tislus",
161− "desc": "`[%tsls p=hoon q=hoon]`: combine a new noun with the subject."
162− },
163− {
164− "name": "tismic",
165− "symbol": "=;",
166− "usage": "Subject Modification",
167− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tismic",
168− "desc": "`[%tssm p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order."
169− },
170− {
171− "name": "tisfas",
172− "symbol": "=/",
173− "usage": "Subject Modification",
174− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tisfas",
175− "desc": "`[%tsfs p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation."
176− },
177− {
178− "name": "tissig",
179− "symbol": "=~",
180− "usage": "Subject Modification",
181− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tissig",
182− "desc": "`[%tssg p=(list hoon)]`: compose many expressions."
183− },
184− {
185− "name": "tistar",
186− "symbol": "=*",
187− "usage": "Subject Modification",
188− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tistar",
189− "desc": "`[%tstr p=term q=hoon r=hoon]`: define an alias."
190− },
191− {
192− "name": "tiswut",
193− "symbol": "=?",
194− "usage": "Subject Modification",
195− "link": "../content/docs/reference/hoon-expressions/rune/tis.md#tiswut",
196− "desc": "`[$tswt p=wing q=hoon r=hoon s=hoon]`: conditionally change one leg in the subject."
197− },
198− {
199− "name": "wut",
200− "symbol": "?",
201− "usage": "Conditionals",
202− "link": "./docs/reference/hoon-expressions/rune/wut.md",
203− "desc": "Runes used for branching on conditionals."
204− },
205− {
206− "name": "wutban",
207− "symbol": "?>",
208− "usage": "Conditionals",
209− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutban",
210− "desc": "`[%wtbn p=hoon q=hoon]`: positive assertion."
211− },
212− {
213− "name": "wutbar",
214− "symbol": "?|",
215− "usage": "Conditionals",
216− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutbar",
217− "desc": "`[%wtbr p=(list hoon)]`: logical OR."
218− },
219− {
220− "name": "wutcol",
221− "symbol": "?:",
222− "usage": "Conditionals",
223− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutcol",
224− "desc": "`[%wtcl p=hoon q=hoon r=hoon]`: branch on a boolean test."
225− },
226− {
227− "name": "wutdot",
228− "symbol": "?.",
229− "usage": "Conditionals",
230− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutdot",
231− "desc": "`[%wtdt p=hoon q=hoon r=hoon]`: branch on a boolean test, inverted."
232− },
233− {
234− "name": "wuthep",
235− "symbol": "?-",
236− "usage": "Conditionals",
237− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wuthep",
238− "desc": "`[%wthp p=wing q=(list (pair spec value))]`: switch against a union, with no default."
239− },
240− {
241− "name": "wutket",
242− "symbol": "?^",
243− "usage": "Conditionals",
244− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutket",
245− "desc": "`[%wtkt p=wing q=hoon r=hoon]`: branch on whether a wing"
246− },
247− {
248− "name": "wutled",
249− "symbol": "?<",
250− "usage": "Conditionals",
251− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutled",
252− "desc": "`[%wtgl p=hoon q=hoon]`: negative assertion."
253− },
254− {
255− "name": "wutlus",
256− "symbol": "?+",
257− "usage": "Conditionals",
258− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutlus",
259− "desc": "`[%wtls p=wing q=hoon r=(list (pair spec hoon))]`: switch against"
260− },
261− {
262− "name": "wutpad",
263− "symbol": "?&",
264− "usage": "Conditionals",
265− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutpad",
266− "desc": "`[%wtpd p=(list hoon)]`: logical AND."
267− },
268− {
269− "name": "wutsig",
270− "symbol": "?~",
271− "usage": "Conditionals",
272− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutsig",
273− "desc": "`[%wtsg p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is null."
274− },
275− {
276− "name": "wuttis",
277− "symbol": "?=",
278− "usage": "Conditionals",
279− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wuttis",
280− "desc": "`[%wtts p=spec q=wing]`: test pattern match."
281− },
282− {
283− "name": "wutvat",
284− "symbol": "?@",
285− "usage": "Conditionals",
286− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutvat",
287− "desc": "`[%wtpt p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is an atom."
288− },
289− {
290− "name": "wutzaps",
291− "symbol": "?!",
292− "usage": "Conditionals",
293− "link": "../content/docs/reference/hoon-expressions/rune/wut.md#wutzaps",
294− "desc": "`[%wtzp p=hoon]`: logical NOT."
295− },
296− {
297− "name": "bar",
298− "symbol": "|",
299− "usage": "Cores",
300− "link": "./docs/reference/hoon-expressions/rune/bar.md",
301− "desc": "Runes used to produce cores."
302− },
303− {
304− "name": "barcab",
305− "symbol": "|_",
306− "usage": "Cores",
307− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barcab",
308− "desc": "Produce a **door** (a core with a sample)."
309− },
310− {
311− "name": "barcen",
312− "symbol": "|%",
313− "usage": "Cores",
314− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barcen",
315− "desc": "Produce a core, `[battery payload]`."
316− },
317− {
318− "name": "barcol",
319− "symbol": "|:",
320− "usage": "Cores",
321− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barcol",
322− "desc": "Produce a gate with a custom sample."
323− },
324− {
325− "name": "bardot",
326− "symbol": "|.",
327− "usage": "Cores",
328− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#bardot",
329− "desc": "Produce a trap (a core with one arm `$`)."
330− },
331− {
332− "name": "barhep",
333− "symbol": "|-",
334− "usage": "Cores",
335− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barhep",
336− "desc": "Produce a trap (a core with one arm `$`) and evaluate it."
337− },
338− {
339− "name": "barket",
340− "symbol": "|^",
341− "usage": "Cores",
342− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barket",
343− "desc": "Produce a core whose battery includes a `$` arm and compute the latter."
344− },
345− {
346− "name": "barsig",
347− "symbol": "|~",
348− "usage": "Cores",
349− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barsig",
350− "desc": "Produce an iron gate."
351− },
352− {
353− "name": "bartar",
354− "symbol": "|*",
355− "usage": "Cores",
356− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#bartar",
357− "desc": "Produce a wet gate (one-armed core with sample)."
358− },
359− {
360− "name": "bartis",
361− "symbol": "|=",
362− "usage": "Cores",
363− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#bartis",
364− "desc": "Produce a gate (a one-armed core with a sample)."
365− },
366− {
367− "name": "barvat",
368− "symbol": "|@",
369− "usage": "Cores",
370− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barvat",
371− "desc": "Produce a 'wet' core `[battery payload]`."
372− },
373− {
374− "name": "barwut",
375− "symbol": "|?",
376− "usage": "Cores",
377− "link": "../content/docs/reference/hoon-expressions/rune/bar.md#barwut",
378− "desc": "Produce a lead trap."
379− },
380− {
381− "name": "lus",
382− "symbol": "+",
383− "usage": "Arms",
384− "link": "./docs/reference/hoon-expressions/rune/lus.md",
385− "desc": "Runes used to define arms in a core."
386− },
387− {
388− "name": "lusbar",
389− "symbol": "+|",
390− "usage": "Arms",
391− "link": "../content/docs/reference/hoon-expressions/rune/lus.md#lusbar",
392− "desc": "Chapter label."
393− },
394− {
395− "name": "lusbuc",
396− "symbol": "+$",
397− "usage": "Arms",
398− "link": "../content/docs/reference/hoon-expressions/rune/lus.md#lusbuc",
399− "desc": "Produce a structure arm (type definition)."
400− },
401− {
402− "name": "luslus",
403− "symbol": "++",
404− "usage": "Arms",
405− "link": "../content/docs/reference/hoon-expressions/rune/lus.md#luslus",
406− "desc": "Produce a normal arm."
407− },
408− {
409− "name": "lustar",
410− "symbol": "+*",
411− "usage": "Arms",
412− "link": "../content/docs/reference/hoon-expressions/rune/lus.md#lustar",
413− "desc": "Produce a type constructor arm."
414− },
415− {
416− "name": "col",
417− "symbol": ":",
418− "usage": "Cells",
419− "link": "./docs/reference/hoon-expressions/rune/col.md",
420− "desc": "Runes used to produce cells, which are pairs of nouns."
421− },
422− {
423− "name": "colcab",
424− "symbol": ":_",
425− "usage": "Cells",
426− "link": "../content/docs/reference/hoon-expressions/rune/col.md#colcab",
427− "desc": "`[%clcb p=hoon q=hoon]`; construct a cell, inverted."
428− },
429− {
430− "name": "colcol",
431− "symbol": "::",
432− "usage": "Cells",
433− "link": "../content/docs/reference/hoon-expressions/rune/col.md#colcol",
434− "desc": "Code comment"
435− },
436− {
437− "name": "colhep",
438− "symbol": ":-",
439− "usage": "Cells",
440− "link": "../content/docs/reference/hoon-expressions/rune/col.md#colhep",
441− "desc": "`[%clhp p=hoon q=hoon]`: construct a cell (2-tuple)."
442− },
443− {
444− "name": "colket",
445− "symbol": ":^",
446− "usage": "Cells",
447− "link": "../content/docs/reference/hoon-expressions/rune/col.md#colket",
448− "desc": "`[%clkt p=hoon q=hoon r=hoon s=hoon]`: construct a quadruple (4-tuple)."
449− },
450− {
451− "name": "collus",
452− "symbol": ":+",
453− "usage": "Cells",
454− "link": "../content/docs/reference/hoon-expressions/rune/col.md#collus",
455− "desc": "`[%clls p=hoon q=hoon r=hoon]`: construct a triple (3-tuple)."
456− },
457− {
458− "name": "colsig",
459− "symbol": ":~",
460− "usage": "Cells",
461− "link": "../content/docs/reference/hoon-expressions/rune/col.md#colsig",
462− "desc": "`[%clsg p=(list hoon)]`: construct a null-terminated list."
463− },
464− {
465− "name": "coltar",
466− "symbol": ":*",
467− "usage": "Cells",
468− "link": "../content/docs/reference/hoon-expressions/rune/col.md#coltar",
469− "desc": "`[%cltr p=(list hoon)]`: construct an n-tuple."
470− },
471− {
472− "name": "cen",
473− "symbol": "%",
474− "usage": "Calls",
475− "link": "./docs/reference/hoon-expressions/rune/cen.md",
476− "desc": "Runes used for making function calls in Hoon."
477− },
478− {
479− "name": "cencab",
480− "symbol": "%_",
481− "usage": "Calls",
482− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cencab",
483− "desc": "Resolve a wing with changes, preserving type."
484− },
485− {
486− "name": "cencol",
487− "symbol": "%:",
488− "usage": "Calls",
489− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cencol",
490− "desc": "Call a gate with many arguments."
491− },
492− {
493− "name": "cendot",
494− "symbol": "%.",
495− "usage": "Calls",
496− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cendot",
497− "desc": "Call a gate (function), inverted."
498− },
499− {
500− "name": "cenhep",
501− "symbol": "%-",
502− "usage": "Calls",
503− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cenhep",
504− "desc": "Call a gate (function)."
505− },
506− {
507− "name": "cenket",
508− "symbol": "%^",
509− "usage": "Calls",
510− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cenket",
511− "desc": "Call gate with triple sample."
512− },
513− {
514− "name": "cenlus",
515− "symbol": "%+",
516− "usage": "Calls",
517− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#cenlus",
518− "desc": "Call gate with a cell sample."
519− },
520− {
521− "name": "censig",
522− "symbol": "%~",
523− "usage": "Calls",
524− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#censig",
525− "desc": "Evaluate an arm in a door."
526− },
527− {
528− "name": "centar",
529− "symbol": "%*",
530− "usage": "Calls",
531− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#centar",
532− "desc": "Evaluate an expression, then resolve a wing with changes."
533− },
534− {
535− "name": "centis",
536− "symbol": "%=",
537− "usage": "Calls",
538− "link": "../content/docs/reference/hoon-expressions/rune/cen.md#centis",
539− "desc": "Resolve a wing with changes."
540− },
541− {
542− "name": "ket",
543− "symbol": "^",
544− "usage": "Casts",
545− "link": "./docs/reference/hoon-expressions/rune/ket.md",
546− "desc": "Runes that let us adjust types without violating type constraints."
547− },
548− {
549− "name": "ketbar",
550− "symbol": "^|",
551− "usage": "Casts",
552− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketbar",
553− "desc": "`[%ktbr p=hoon]`: convert a gold core to an iron core (contravariant)."
554− },
555− {
556− "name": "ketcol",
557− "symbol": "^:",
558− "usage": "Casts",
559− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketcol",
560− "desc": "`[%ktcl p=spec]`: 'factory' gate for type `p`."
561− },
562− {
563− "name": "ketdot",
564− "symbol": "^.",
565− "usage": "Casts",
566− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketdot",
567− "desc": "`[%ktdt p=hoon q=hoon]`: typecast on value produced by passing `q` to `p`."
568− },
569− {
570− "name": "kethep",
571− "symbol": "^-",
572− "usage": "Casts",
573− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#kethep",
574− "desc": "`[%kthp p=spec q=hoon]`: typecast by explicit type label."
575− },
576− {
577− "name": "ketlus",
578− "symbol": "^+",
579− "usage": "Casts",
580− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketlus",
581− "desc": "`[%ktls p=hoon q=hoon]`: typecast by inferred type."
582− },
583− {
584− "name": "ketpad",
585− "symbol": "^&",
586− "usage": "Casts",
587− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketpad",
588− "desc": "`[%ktpd p=hoon]`: convert a core to a zinc core (covariant)."
589− },
590− {
591− "name": "ketsig",
592− "symbol": "^~",
593− "usage": "Casts",
594− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketsig",
595− "desc": "`[%ktsg p=hoon]`: fold constant at compile time."
596− },
597− {
598− "name": "kettar",
599− "symbol": "^*",
600− "usage": "Casts",
601− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#kettar",
602− "desc": "`[%kttr p=spec]`: Produce example type value."
603− },
604− {
605− "name": "kettis",
606− "symbol": "^=",
607− "usage": "Casts",
608− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#kettis",
609− "desc": "`[%ktts p=skin q=hoon]`: Bind name to a value."
610− },
611− {
612− "name": "ketwut",
613− "symbol": "^?",
614− "usage": "Casts",
615− "link": "../content/docs/reference/hoon-expressions/rune/ket.md#ketwut",
616− "desc": "`[%ktwt p=hoon]`: convert any core to a lead core (bivariant)."
617− },
618− {
619− "name": "buc",
620− "symbol": "$",
621− "usage": "Structures",
622− "link": "./docs/reference/hoon-expressions/rune/buc.md",
623− "desc": "Runes used for defining custom types."
624− },
625− {
626− "name": "buccab",
627− "symbol": "$_",
628− "usage": "Structures",
629− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#buccab",
630− "desc": "`[%bscb p=hoon]`: structure that normalizes to an example."
631− },
632− {
633− "name": "buccen",
634− "symbol": "$%",
635− "usage": "Structures",
636− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#buccen",
637− "desc": "`[%bscn p=(list spec)]`: structure which recognizes a union tagged by head atom."
638− },
639− {
640− "name": "buccol",
641− "symbol": "$:",
642− "usage": "Structures",
643− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#buccol",
644− "desc": "`[%bscl p=(list spec)]`: form a cell type."
645− },
646− {
647− "name": "buchep",
648− "symbol": "$-",
649− "usage": "Structures",
650− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#buchep",
651− "desc": "`[%bshp p=spec q=spec]`: structure that normalizes to an example gate."
652− },
653− {
654− "name": "bucket",
655− "symbol": "$^",
656− "usage": "Structures",
657− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#bucket",
658− "desc": "`[%bskt p=spec q=spec]`: structure which normalizes a union tagged by head depth (cell)."
659− },
660− {
661− "name": "bucsig",
662− "symbol": "$~",
663− "usage": "Structures",
664− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#bucsig",
665− "desc": "`[%bssg p=hoon q=spec]`: define a custom type default value"
666− },
667− {
668− "name": "bucvat",
669− "symbol": "$@",
670− "usage": "Structures",
671− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#bucvat",
672− "desc": "`[%bsvt p=spec q=spec]`: structure which normalizes a union tagged by head depth (atom)."
673− },
674− {
675− "name": "buctis",
676− "symbol": "$=",
677− "usage": "Structures",
678− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#buctis",
679− "desc": "`[%bsts p=skin q=spec]`: structure which wraps a face around another structure."
680− },
681− {
682− "name": "bucwut",
683− "symbol": "$?",
684− "usage": "Structures",
685− "link": "../content/docs/reference/hoon-expressions/rune/buc.md#bucwut",
686− "desc": "`[%bswt p=(list spec)]`: form a type from a union of other types."
687− },
688− {
689− "name": "mic",
690− "symbol": ";",
691− "usage": "Make",
692− "link": "./docs/reference/hoon-expressions/rune/mic.md",
693− "desc": "Miscellaneous useful macros."
694− },
695− {
696− "name": "miccol",
697− "symbol": ";:",
698− "usage": "Make",
699− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#miccol",
700− "desc": "`[%mccl p=hoon q=(list hoon)]`: call a binary function as an n-ary function."
701− },
702− {
703− "name": "miclus",
704− "symbol": ";+",
705− "usage": "Make",
706− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#miclus",
707− "desc": "make a single XML node (Sail)"
708− },
709− {
710− "name": "micmic",
711− "symbol": ";;",
712− "usage": "Make",
713− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#micmic",
714− "desc": "`[%mcmc p=spec q=hoon]`: normalize with a mold, asserting fixpoint."
715− },
716− {
717− "name": "micfas",
718− "symbol": ";/",
719− "usage": "Make",
720− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#micfas",
721− "desc": "`[%mcnt p=hoon]`: tape as XML element."
722− },
723− {
724− "name": "micsig",
725− "symbol": ";~",
726− "usage": "Make",
727− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#micsig",
728− "desc": "`[%mcsg p=hoon q=(list hoon)]`: glue a pipeline together with a"
729− },
730− {
731− "name": "mictar",
732− "symbol": ";*",
733− "usage": "Make",
734− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#mictar",
735− "desc": "make a list of XML nodes from complex Hoon expression (Sail)"
736− },
737− {
738− "name": "mictis",
739− "symbol": ";=",
740− "usage": "Make",
741− "link": "../content/docs/reference/hoon-expressions/rune/mic.md#mictis",
742− "desc": "make a list of XML nodes (Sail)"
743− },
744− {
745− "name": "sig",
746− "symbol": "~",
747− "usage": "Hints",
748− "link": "./docs/reference/hoon-expressions/rune/sig.md",
749− "desc": "Runes that use Nock `11` to pass non-semantic info to the interpreter."
750− },
751− {
752− "name": "sigban",
753− "symbol": "~>",
754− "usage": "Hints",
755− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigban",
756− "desc": "`[%sgbn p=$@(term [p=term q=hoon]) q=hoon]`: raw hint, applied"
757− },
758− {
759− "name": "sigbar",
760− "symbol": "~|",
761− "usage": "Hints",
762− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigbar",
763− "desc": "`[%sgbr p=hoon q=hoon]`: tracing printf."
764− },
765− {
766− "name": "sigbuc",
767− "symbol": "~$",
768− "usage": "Hints",
769− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigbuc",
770− "desc": "`[%sgbs p=term q=hoon]`: profiling hit counter."
771− },
772− {
773− "name": "sigcab",
774− "symbol": "~_",
775− "usage": "Hints",
776− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigcab",
777− "desc": "`[%sgcb p=hoon q=hoon]`: user-formatted tracing printf."
778− },
779− {
780− "name": "sigcen",
781− "symbol": "~%",
782− "usage": "Hints",
783− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigcen",
784− "desc": "`[%sgcn p=term q=wing r=(list [term hoon]) s=hoon]`: jet registration."
785− },
786− {
787− "name": "sigled",
788− "symbol": "~<",
789− "usage": "Hints",
790− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigled",
791− "desc": "`[%sgld p=$@(term [p=term q=hoon]) q=hoon]`: raw hint, applied to
792− product."
793− },
794− {
795− "name": "siglus",
796− "symbol": "~+",
797− "usage": "Hints",
798− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#siglus",
799− "desc": "`[%sgls p=hoon]`: cache a computation."
800− },
801− {
802− "name": "signet",
803− "symbol": "~/",
804− "usage": "Hints",
805− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#signet",
806− "desc": "`[%sgnt p=term q=hoon]`: jet registration for gate with"
807− },
808− {
809− "name": "sigpad",
810− "symbol": "~&",
811− "usage": "Hints",
812− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigpad",
813− "desc": "`[%sgpd p=hoon q=hoon]`: debugging printf."
814− },
815− {
816− "name": "sigtis",
817− "symbol": "~=",
818− "usage": "Hints",
819− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigtis",
820− "desc": "`[%sgts p=hoon q=hoon]`: detect duplicate."
821− },
822− {
823− "name": "sigwut",
824− "symbol": "~?",
825− "usage": "Hints",
826− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigwut",
827− "desc": "`[%sgwt p=hoon q=hoon r=hoon]`: conditional debug printf."
828− },
829− {
830− "name": "sigzap",
831− "symbol": "~!",
832− "usage": "Hints",
833− "link": "../content/docs/reference/hoon-expressions/rune/sig.md#sigzap",
834− "desc": "`[%sgzp p=hoon q=hoon]`: print type on compilation fail."
835− },
836− {
837− "name": "terminators",
838− "symbol": "--,",
839− "usage": "Terminators",
840− "link": "./docs/reference/hoon-expressions/rune/terminators.md",
841− "desc": "Runes used to terminate expressions."
842− },
843− {
844− "name": "hephep",
845− "symbol": "--",
846− "usage": "Terminators",
847− "link": "../content/docs/reference/hoon-expressions/rune/terminators.md#hephep",
848− "desc": "The `--` rune is used to indicate the end of a core expression."
849− },
850− {
851− "name": "tistis",
852− "symbol": "==",
853− "usage": "Terminators",
854− "link": "../content/docs/reference/hoon-expressions/rune/terminators.md#tistis",
855− "desc": "The `==` rune is used to indicate the end of a 'jogging' or 'running' series of Hoon expressions."
856− }
857− ]