git.iko.soy/urbit.org
on master help sign in
Adding Francesca's runes.json
f75d65bMatilde Park
static/runes.jsonnew file+857
compare with master
unifiedsplit
@@ -0,0 +1,857 @@
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+ ]