git.iko.soy/urbit.org
on master help sign in
Add runes to search index
c7f8cf9Matilde Park
sass/_main.scss+6
compare with master
unifiedsplit
@@ -314,6 +314,12 @@ input[type="search"] {
314 }
314 }
315 }
315 }
316 }
316 }
317+ .glossary-results__item {
318+ padding: 0 1rem 0 1rem;
319+ &:hover {
320+ background-color: #F9F9F9;
321+ }
322+ }
317
323
318 #search-reset {
324 #search-reset {
319 cursor: pointer;
325 cursor: pointer;
static/runes.jsnew file+856
@@ -0,0 +1,856 @@
1+var runes = [
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": "/docs/reference/hoon-expressions/rune/dot.md#dotket",
14+ "desc": "<code>[%dtkt p=spec q=hoon]</code>: load from the Arvo namespace with a fake Nock instruction: 'Nock <code>12</code>''."
15+ },
16+ {
17+ "name": "dotlus",
18+ "symbol": ".+",
19+ "usage": "Nock",
20+ "link": "/docs/reference/hoon-expressions/rune/dot.md#dotlus",
21+ "desc": "<code>[%dtls p=hoon]</code>: increment an atom with Nock <code>4</code>."
22+ },
23+ {
24+ "name": "dottar",
25+ "symbol": ".*",
26+ "usage": "Nock",
27+ "link": "/docs/reference/hoon-expressions/rune/dot.md#dottar",
28+ "desc": "<code>[%dttr p=hoon q=hoon]</code>: evaluate with Nock <code>2</code>."
29+ },
30+ {
31+ "name": "dottis",
32+ "symbol": ".=",
33+ "usage": "Nock",
34+ "link": "/docs/reference/hoon-expressions/rune/dot.md#dottis",
35+ "desc": "<code>[%dtts p=hoon q=hoon]</code>: test for equality with Nock <code>5</code>."
36+ },
37+ {
38+ "name": "dotwut",
39+ "symbol": ".?",
40+ "usage": "Nock",
41+ "link": "/docs/reference/hoon-expressions/rune/dot.md#dotwut",
42+ "desc": "<code>[%dtwt p=hoon]</code>: test for cell or atom with Nock <code>3</code>."
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": "/docs/reference/hoon-expressions/rune/zap.md#zapban",
56+ "desc": "<code>[%zpgr p=hoon]</code>: wrap a noun in its type."
57+ },
58+ {
59+ "name": "zapcol",
60+ "symbol": "!:",
61+ "usage": "wild",
62+ "link": "/docs/reference/hoon-expressions/rune/zap.md#zapcol",
63+ "desc": "<code>[%dbug p=hoon]</code>: turn on stack trace"
64+ },
65+ {
66+ "name": "zapdot",
67+ "symbol": "!.",
68+ "usage": "wild",
69+ "link": "/docs/reference/hoon-expressions/rune/zap.md#zapdot",
70+ "desc": "Turn off stack trace for a subexpression <code>p</code>"
71+ },
72+ {
73+ "name": "zaptis",
74+ "symbol": "!=",
75+ "usage": "wild",
76+ "link": "/docs/reference/hoon-expressions/rune/zap.md#zaptis",
77+ "desc": "<code>[%zpts p=hoon]</code>: make the Nock formula for a Hoon expression."
78+ },
79+ {
80+ "name": "zapwut",
81+ "symbol": "!?",
82+ "usage": "wild",
83+ "link": "/docs/reference/hoon-expressions/rune/zap.md#zapwut",
84+ "desc": "<code>[%zpwt p=@ q=hoon]</code>: restrict Hoon version."
85+ },
86+ {
87+ "name": "zapzap",
88+ "symbol": "!!",
89+ "usage": "wild",
90+ "link": "/docs/reference/hoon-expressions/rune/zap.md#zapzap",
91+ "desc": "<code>[%zpzp ~]</code>: 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": "/docs/reference/hoon-expressions/rune/tis.md#tisban",
105+ "desc": "<code>[%tsgr p=hoon q=hoon]</code>: compose two expressions."
106+ },
107+ {
108+ "name": "tisbar",
109+ "symbol": "=|",
110+ "usage": "Subject Modification",
111+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tisbar",
112+ "desc": "<code>[%tsbr p=spec q=hoon]</code>: combine a default type value with the subject."
113+ },
114+ {
115+ "name": "tiscol",
116+ "symbol": "=:",
117+ "usage": "Subject Modification",
118+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tiscol",
119+ "desc": "<code>[%tscl p=(list (pair wing hoon)) q=hoon]</code>: change multiple legs in the subject."
120+ },
121+ {
122+ "name": "tiscom",
123+ "symbol": "=,",
124+ "usage": "Subject Modification",
125+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tiscom",
126+ "desc": "<code>[%tscm p=hoon q=hoon]</code>: expose namespace"
127+ },
128+ {
129+ "name": "tisdot",
130+ "symbol": "=.",
131+ "usage": "Subject Modification",
132+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tisdot",
133+ "desc": "<code>[%tsdt p=wing q=hoon r=hoon]</code>: change one leg in the subject."
134+ },
135+ {
136+ "name": "tishep",
137+ "symbol": "=-",
138+ "usage": "Subject Modification",
139+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tishep",
140+ "desc": "<code>[%tshp p=hoon q=hoon]</code>: combine a new noun with the subject, inverted."
141+ },
142+ {
143+ "name": "tisket",
144+ "symbol": "=^",
145+ "usage": "Subject Modification",
146+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tisket",
147+ "desc": "<code>[%tskt p=skin q=wing r=hoon s=hoon]</code>: pin the head of a pair; change"
148+ },
149+ {
150+ "name": "tisled",
151+ "symbol": "=<",
152+ "usage": "Subject Modification",
153+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tisled",
154+ "desc": "<code>[%tsgl p=hoon q=hoon]</code>: compose two expressions, inverted."
155+ },
156+ {
157+ "name": "tislus",
158+ "symbol": "=+",
159+ "usage": "Subject Modification",
160+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tislus",
161+ "desc": "<code>[%tsls p=hoon q=hoon]</code>: combine a new noun with the subject."
162+ },
163+ {
164+ "name": "tismic",
165+ "symbol": "=;",
166+ "usage": "Subject Modification",
167+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tismic",
168+ "desc": "<code>[%tssm p=skin q=hoon r=hoon]</code>: 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": "/docs/reference/hoon-expressions/rune/tis.md#tisfas",
175+ "desc": "<code>[%tsfs p=skin q=hoon r=hoon]</code>: combine a named noun with the subject, possibly with type annotation."
176+ },
177+ {
178+ "name": "tissig",
179+ "symbol": "=~",
180+ "usage": "Subject Modification",
181+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tissig",
182+ "desc": "<code>[%tssg p=(list hoon)]</code>: compose many expressions."
183+ },
184+ {
185+ "name": "tistar",
186+ "symbol": "=*",
187+ "usage": "Subject Modification",
188+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tistar",
189+ "desc": "<code>[%tstr p=term q=hoon r=hoon]</code>: define an alias."
190+ },
191+ {
192+ "name": "tiswut",
193+ "symbol": "=?",
194+ "usage": "Subject Modification",
195+ "link": "/docs/reference/hoon-expressions/rune/tis.md#tiswut",
196+ "desc": "<code>[$tswt p=wing q=hoon r=hoon s=hoon]</code>: 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": "/docs/reference/hoon-expressions/rune/wut.md#wutban",
210+ "desc": "<code>[%wtbn p=hoon q=hoon]</code>: positive assertion."
211+ },
212+ {
213+ "name": "wutbar",
214+ "symbol": "?|",
215+ "usage": "Conditionals",
216+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutbar",
217+ "desc": "<code>[%wtbr p=(list hoon)]</code>: logical OR."
218+ },
219+ {
220+ "name": "wutcol",
221+ "symbol": "?:",
222+ "usage": "Conditionals",
223+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutcol",
224+ "desc": "<code>[%wtcl p=hoon q=hoon r=hoon]</code>: branch on a boolean test."
225+ },
226+ {
227+ "name": "wutdot",
228+ "symbol": "?.",
229+ "usage": "Conditionals",
230+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutdot",
231+ "desc": "<code>[%wtdt p=hoon q=hoon r=hoon]</code>: branch on a boolean test, inverted."
232+ },
233+ {
234+ "name": "wuthep",
235+ "symbol": "?-",
236+ "usage": "Conditionals",
237+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wuthep",
238+ "desc": "<code>[%wthp p=wing q=(list (pair spec value))]</code>: switch against a union, with no default."
239+ },
240+ {
241+ "name": "wutket",
242+ "symbol": "?^",
243+ "usage": "Conditionals",
244+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutket",
245+ "desc": "<code>[%wtkt p=wing q=hoon r=hoon]</code>: branch on whether a wing"
246+ },
247+ {
248+ "name": "wutled",
249+ "symbol": "?<",
250+ "usage": "Conditionals",
251+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutled",
252+ "desc": "<code>[%wtgl p=hoon q=hoon]</code>: negative assertion."
253+ },
254+ {
255+ "name": "wutlus",
256+ "symbol": "?+",
257+ "usage": "Conditionals",
258+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutlus",
259+ "desc": "<code>[%wtls p=wing q=hoon r=(list (pair spec hoon))]</code>: switch against"
260+ },
261+ {
262+ "name": "wutpad",
263+ "symbol": "?&",
264+ "usage": "Conditionals",
265+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutpad",
266+ "desc": "<code>[%wtpd p=(list hoon)]</code>: logical AND."
267+ },
268+ {
269+ "name": "wutsig",
270+ "symbol": "?~",
271+ "usage": "Conditionals",
272+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutsig",
273+ "desc": "<code>[%wtsg p=wing q=hoon r=hoon]</code>: branch on whether a wing of the subject is null."
274+ },
275+ {
276+ "name": "wuttis",
277+ "symbol": "?=",
278+ "usage": "Conditionals",
279+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wuttis",
280+ "desc": "<code>[%wtts p=spec q=wing]</code>: test pattern match."
281+ },
282+ {
283+ "name": "wutvat",
284+ "symbol": "?@",
285+ "usage": "Conditionals",
286+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutvat",
287+ "desc": "<code>[%wtpt p=wing q=hoon r=hoon]</code>: branch on whether a wing of the subject is an atom."
288+ },
289+ {
290+ "name": "wutzaps",
291+ "symbol": "?!",
292+ "usage": "Conditionals",
293+ "link": "/docs/reference/hoon-expressions/rune/wut.md#wutzaps",
294+ "desc": "<code>[%wtzp p=hoon]</code>: 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": "/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": "/docs/reference/hoon-expressions/rune/bar.md#barcen",
315+ "desc": "Produce a core, <code>[battery payload]</code>."
316+ },
317+ {
318+ "name": "barcol",
319+ "symbol": "|:",
320+ "usage": "Cores",
321+ "link": "/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": "/docs/reference/hoon-expressions/rune/bar.md#bardot",
329+ "desc": "Produce a trap (a core with one arm <code>$</code>)."
330+ },
331+ {
332+ "name": "barhep",
333+ "symbol": "|-",
334+ "usage": "Cores",
335+ "link": "/docs/reference/hoon-expressions/rune/bar.md#barhep",
336+ "desc": "Produce a trap (a core with one arm <code>$</code>) and evaluate it."
337+ },
338+ {
339+ "name": "barket",
340+ "symbol": "|^",
341+ "usage": "Cores",
342+ "link": "/docs/reference/hoon-expressions/rune/bar.md#barket",
343+ "desc": "Produce a core whose battery includes a <code>$</code> arm and compute the latter."
344+ },
345+ {
346+ "name": "barsig",
347+ "symbol": "|~",
348+ "usage": "Cores",
349+ "link": "/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": "/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": "/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": "/docs/reference/hoon-expressions/rune/bar.md#barvat",
371+ "desc": "Produce a 'wet' core <code>[battery payload]</code>."
372+ },
373+ {
374+ "name": "barwut",
375+ "symbol": "|?",
376+ "usage": "Cores",
377+ "link": "/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": "/docs/reference/hoon-expressions/rune/lus.md#lusbar",
392+ "desc": "Chapter label."
393+ },
394+ {
395+ "name": "lusbuc",
396+ "symbol": "+$",
397+ "usage": "Arms",
398+ "link": "/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": "/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": "/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": "/docs/reference/hoon-expressions/rune/col.md#colcab",
427+ "desc": "<code>[%clcb p=hoon q=hoon]</code>; construct a cell, inverted."
428+ },
429+ {
430+ "name": "colcol",
431+ "symbol": "::",
432+ "usage": "Cells",
433+ "link": "/docs/reference/hoon-expressions/rune/col.md#colcol",
434+ "desc": "Code comment."
435+ },
436+ {
437+ "name": "colhep",
438+ "symbol": ":-",
439+ "usage": "Cells",
440+ "link": "/docs/reference/hoon-expressions/rune/col.md#colhep",
441+ "desc": "<code>[%clhp p=hoon q=hoon]</code>: construct a cell (2-tuple)."
442+ },
443+ {
444+ "name": "colket",
445+ "symbol": ":^",
446+ "usage": "Cells",
447+ "link": "/docs/reference/hoon-expressions/rune/col.md#colket",
448+ "desc": "<code>[%clkt p=hoon q=hoon r=hoon s=hoon]</code>: construct a quadruple (4-tuple)."
449+ },
450+ {
451+ "name": "collus",
452+ "symbol": ":+",
453+ "usage": "Cells",
454+ "link": "/docs/reference/hoon-expressions/rune/col.md#collus",
455+ "desc": "<code>[%clls p=hoon q=hoon r=hoon]</code>: construct a triple (3-tuple)."
456+ },
457+ {
458+ "name": "colsig",
459+ "symbol": ":~",
460+ "usage": "Cells",
461+ "link": "/docs/reference/hoon-expressions/rune/col.md#colsig",
462+ "desc": "<code>[%clsg p=(list hoon)]</code>: construct a null-terminated list."
463+ },
464+ {
465+ "name": "coltar",
466+ "symbol": ":*",
467+ "usage": "Cells",
468+ "link": "/docs/reference/hoon-expressions/rune/col.md#coltar",
469+ "desc": "<code>[%cltr p=(list hoon)]</code>: 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": "/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": "/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": "/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": "/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": "/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": "/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": "/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": "/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": "/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": "/docs/reference/hoon-expressions/rune/ket.md#ketbar",
553+ "desc": "<code>[%ktbr p=hoon]</code>: convert a gold core to an iron core (contravariant)."
554+ },
555+ {
556+ "name": "ketcol",
557+ "symbol": "^:",
558+ "usage": "Casts",
559+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketcol",
560+ "desc": "<code>[%ktcl p=spec]</code>: 'factory' gate for type <code>p</code>."
561+ },
562+ {
563+ "name": "ketdot",
564+ "symbol": "^.",
565+ "usage": "Casts",
566+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketdot",
567+ "desc": "<code>[%ktdt p=hoon q=hoon]</code>: typecast on value produced by passing <code>q</code> to <code>p</code>."
568+ },
569+ {
570+ "name": "kethep",
571+ "symbol": "^-",
572+ "usage": "Casts",
573+ "link": "/docs/reference/hoon-expressions/rune/ket.md#kethep",
574+ "desc": "<code>[%kthp p=spec q=hoon]</code>: typecast by explicit type label."
575+ },
576+ {
577+ "name": "ketlus",
578+ "symbol": "^+",
579+ "usage": "Casts",
580+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketlus",
581+ "desc": "<code>[%ktls p=hoon q=hoon]</code>: typecast by inferred type."
582+ },
583+ {
584+ "name": "ketpad",
585+ "symbol": "^&",
586+ "usage": "Casts",
587+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketpad",
588+ "desc": "<code>[%ktpd p=hoon]</code>: convert a core to a zinc core (covariant)."
589+ },
590+ {
591+ "name": "ketsig",
592+ "symbol": "^~",
593+ "usage": "Casts",
594+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketsig",
595+ "desc": "<code>[%ktsg p=hoon]</code>: fold constant at compile time."
596+ },
597+ {
598+ "name": "kettar",
599+ "symbol": "^*",
600+ "usage": "Casts",
601+ "link": "/docs/reference/hoon-expressions/rune/ket.md#kettar",
602+ "desc": "<code>[%kttr p=spec]</code>: Produce example type value."
603+ },
604+ {
605+ "name": "kettis",
606+ "symbol": "^=",
607+ "usage": "Casts",
608+ "link": "/docs/reference/hoon-expressions/rune/ket.md#kettis",
609+ "desc": "<code>[%ktts p=skin q=hoon]</code>: Bind name to a value."
610+ },
611+ {
612+ "name": "ketwut",
613+ "symbol": "^?",
614+ "usage": "Casts",
615+ "link": "/docs/reference/hoon-expressions/rune/ket.md#ketwut",
616+ "desc": "<code>[%ktwt p=hoon]</code>: 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": "/docs/reference/hoon-expressions/rune/buc.md#buccab",
630+ "desc": "<code>[%bscb p=hoon]</code>: structure that normalizes to an example."
631+ },
632+ {
633+ "name": "buccen",
634+ "symbol": "$%",
635+ "usage": "Structures",
636+ "link": "/docs/reference/hoon-expressions/rune/buc.md#buccen",
637+ "desc": "<code>[%bscn p=(list spec)]</code>: structure which recognizes a union tagged by head atom."
638+ },
639+ {
640+ "name": "buccol",
641+ "symbol": "$:",
642+ "usage": "Structures",
643+ "link": "/docs/reference/hoon-expressions/rune/buc.md#buccol",
644+ "desc": "<code>[%bscl p=(list spec)]</code>: form a cell type."
645+ },
646+ {
647+ "name": "buchep",
648+ "symbol": "$-",
649+ "usage": "Structures",
650+ "link": "/docs/reference/hoon-expressions/rune/buc.md#buchep",
651+ "desc": "<code>[%bshp p=spec q=spec]</code>: structure that normalizes to an example gate."
652+ },
653+ {
654+ "name": "bucket",
655+ "symbol": "$^",
656+ "usage": "Structures",
657+ "link": "/docs/reference/hoon-expressions/rune/buc.md#bucket",
658+ "desc": "<code>[%bskt p=spec q=spec]</code>: structure which normalizes a union tagged by head depth (cell)."
659+ },
660+ {
661+ "name": "bucsig",
662+ "symbol": "$~",
663+ "usage": "Structures",
664+ "link": "/docs/reference/hoon-expressions/rune/buc.md#bucsig",
665+ "desc": "<code>[%bssg p=hoon q=spec]</code>: define a custom type default value"
666+ },
667+ {
668+ "name": "bucvat",
669+ "symbol": "$@",
670+ "usage": "Structures",
671+ "link": "/docs/reference/hoon-expressions/rune/buc.md#bucvat",
672+ "desc": "<code>[%bsvt p=spec q=spec]</code>: structure which normalizes a union tagged by head depth (atom)."
673+ },
674+ {
675+ "name": "buctis",
676+ "symbol": "$=",
677+ "usage": "Structures",
678+ "link": "/docs/reference/hoon-expressions/rune/buc.md#buctis",
679+ "desc": "<code>[%bsts p=skin q=spec]</code>: structure which wraps a face around another structure."
680+ },
681+ {
682+ "name": "bucwut",
683+ "symbol": "$?",
684+ "usage": "Structures",
685+ "link": "/docs/reference/hoon-expressions/rune/buc.md#bucwut",
686+ "desc": "<code>[%bswt p=(list spec)]</code>: 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": "/docs/reference/hoon-expressions/rune/mic.md#miccol",
700+ "desc": "<code>[%mccl p=hoon q=(list hoon)]</code>: call a binary function as an n-ary function."
701+ },
702+ {
703+ "name": "miclus",
704+ "symbol": ";+",
705+ "usage": "Make",
706+ "link": "/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": "/docs/reference/hoon-expressions/rune/mic.md#micmic",
714+ "desc": "<code>[%mcmc p=spec q=hoon]</code>: normalize with a mold, asserting fixpoint."
715+ },
716+ {
717+ "name": "micfas",
718+ "symbol": ";/",
719+ "usage": "Make",
720+ "link": "/docs/reference/hoon-expressions/rune/mic.md#micfas",
721+ "desc": "<code>[%mcnt p=hoon]</code>: tape as XML element."
722+ },
723+ {
724+ "name": "micsig",
725+ "symbol": ";~",
726+ "usage": "Make",
727+ "link": "/docs/reference/hoon-expressions/rune/mic.md#micsig",
728+ "desc": "<code>[%mcsg p=hoon q=(list hoon)]</code>: glue a pipeline together with a"
729+ },
730+ {
731+ "name": "mictar",
732+ "symbol": ";*",
733+ "usage": "Make",
734+ "link": "/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": "/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 <code>11</code> to pass non-semantic info to the interpreter."
750+ },
751+ {
752+ "name": "sigban",
753+ "symbol": "~>",
754+ "usage": "Hints",
755+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigban",
756+ "desc": "<code>[%sgbn p=$@(term [p=term q=hoon]) q=hoon]</code>: raw hint, applied"
757+ },
758+ {
759+ "name": "sigbar",
760+ "symbol": "~|",
761+ "usage": "Hints",
762+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigbar",
763+ "desc": "<code>[%sgbr p=hoon q=hoon]</code>: tracing printf."
764+ },
765+ {
766+ "name": "sigbuc",
767+ "symbol": "~$",
768+ "usage": "Hints",
769+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigbuc",
770+ "desc": "<code>[%sgbs p=term q=hoon]</code>: profiling hit counter."
771+ },
772+ {
773+ "name": "sigcab",
774+ "symbol": "~_",
775+ "usage": "Hints",
776+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigcab",
777+ "desc": "<code>[%sgcb p=hoon q=hoon]</code>: user-formatted tracing printf."
778+ },
779+ {
780+ "name": "sigcen",
781+ "symbol": "~%",
782+ "usage": "Hints",
783+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigcen",
784+ "desc": "<code>[%sgcn p=term q=wing r=(list [term hoon]) s=hoon]</code>: jet registration."
785+ },
786+ {
787+ "name": "sigled",
788+ "symbol": "~<",
789+ "usage": "Hints",
790+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigled",
791+ "desc": "<code>[%sgld p=$@(term [p=term q=hoon]) q=hoon]</code>: raw hint, applied to product."
792+ },
793+ {
794+ "name": "siglus",
795+ "symbol": "~+",
796+ "usage": "Hints",
797+ "link": "/docs/reference/hoon-expressions/rune/sig.md#siglus",
798+ "desc": "<code>[%sgls p=hoon]</code>: cache a computation."
799+ },
800+ {
801+ "name": "signet",
802+ "symbol": "~/",
803+ "usage": "Hints",
804+ "link": "/docs/reference/hoon-expressions/rune/sig.md#signet",
805+ "desc": "<code>[%sgnt p=term q=hoon]</code>: jet registration for gate with"
806+ },
807+ {
808+ "name": "sigpad",
809+ "symbol": "~&",
810+ "usage": "Hints",
811+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigpad",
812+ "desc": "<code>[%sgpd p=hoon q=hoon]</code>: debugging printf."
813+ },
814+ {
815+ "name": "sigtis",
816+ "symbol": "~=",
817+ "usage": "Hints",
818+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigtis",
819+ "desc": "<code>[%sgts p=hoon q=hoon]</code>: detect duplicate."
820+ },
821+ {
822+ "name": "sigwut",
823+ "symbol": "~?",
824+ "usage": "Hints",
825+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigwut",
826+ "desc": "<code>[%sgwt p=hoon q=hoon r=hoon]</code>: conditional debug printf."
827+ },
828+ {
829+ "name": "sigzap",
830+ "symbol": "~!",
831+ "usage": "Hints",
832+ "link": "/docs/reference/hoon-expressions/rune/sig.md#sigzap",
833+ "desc": "<code>[%sgzp p=hoon q=hoon]</code>: print type on compilation fail."
834+ },
835+ {
836+ "name": "terminators",
837+ "symbol": "--,",
838+ "usage": "Terminators",
839+ "link": "/docs/reference/hoon-expressions/rune/terminators.md",
840+ "desc": "Runes used to terminate expressions."
841+ },
842+ {
843+ "name": "hephep",
844+ "symbol": "--",
845+ "usage": "Terminators",
846+ "link": "/docs/reference/hoon-expressions/rune/terminators.md#hephep",
847+ "desc": "The <code>--</code> rune is used to indicate the end of a core expression."
848+ },
849+ {
850+ "name": "tistis",
851+ "symbol": "==",
852+ "usage": "Terminators",
853+ "link": "/docs/reference/hoon-expressions/rune/terminators.md#tistis",
854+ "desc": "The <code>==</code> rune is used to indicate the end of a 'jogging' or 'running' series of Hoon expressions."
855+ }
856+ ]
static/runes.jsondeleted−857
@@ -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− ]
static/scripts.js+15−2
@@ -199,7 +199,9 @@ function initSearch() {
199 if (!searchInput) {
199 if (!searchInput) {
200 return;
200 return;
201 }
201 }
202−
202+ var glossaryResults = document.querySelector(".glossary-results");
203+ var glossaryResultsHeader = document.querySelector(".glossary-results__header");
204+ var glossaryResultsItem = document.querySelector(".glossary-results__item");
203 var searchResults = document.querySelector(".search-results");
205 var searchResults = document.querySelector(".search-results");
204 var searchResultsHeader = document.querySelector(".search-results__header");
206 var searchResultsHeader = document.querySelector(".search-results__header");
205 var searchResultsItems = document.querySelector(".search-results__items");
207 var searchResultsItems = document.querySelector(".search-results__items");
@@ -254,7 +256,7 @@ function initSearch() {
254
256
255 searchInput.addEventListener("keyup", debounce(function() {
257 searchInput.addEventListener("keyup", debounce(function() {
256 inputReset.style.display="block";
258 inputReset.style.display="block";
257−
259+ glossaryResults.style.display="none";
258 searchResultsHeader.value = "";
260 searchResultsHeader.value = "";
259 var term = searchInput.value.trim();
261 var term = searchInput.value.trim();
260 /*
262 /*
@@ -272,6 +274,17 @@ function initSearch() {
272 return;
274 return;
273 }
275 }
274
276
277+ for (let rune of runes) {
278+ if (rune.symbol === term) {
279+ glossaryResults.style.display="block";
280+ glossaryResultsItem.innerHTML = `
281+ <h3 class="black"><code class="red3 mr1">${rune.symbol}</code> ${rune.name}</h3>
282+ <p class="black">${rune.desc}</p>
283+ <a href="${rune.link}" class="db tr black fw5">Read more in Documentation -></a>
284+ `
285+ }
286+ }
287+
275 var results = index.search(term, options).filter(function (r) {
288 var results = index.search(term, options).filter(function (r) {
276 return r.doc.body !== "";
289 return r.doc.body !== "";
277 });
290 });
templates/base.html+1
@@ -43,6 +43,7 @@
43 {% endblock content %}
43 {% endblock content %}
44 <!-- scripts -->
44 <!-- scripts -->
45 {% if config.build_search_index %}
45 {% if config.build_search_index %}
46+ <script type="text/javascript" src="{{ get_url(path="runes.js") | safe }}"></script>
46 <script type="text/javascript" src="{{ get_url(path="elasticlunr.min.js") | safe }}"></script>
47 <script type="text/javascript" src="{{ get_url(path="elasticlunr.min.js") | safe }}"></script>
47 <script type="text/javascript" src="{{ get_url(path="search_index.en.js") | safe }}"></script>
48 <script type="text/javascript" src="{{ get_url(path="search_index.en.js") | safe }}"></script>
48 <script src="https://unpkg.com/popper.js@1"></script>
49 <script src="https://unpkg.com/popper.js@1"></script>
templates/partials/search-overlay.html+8−2
@@ -7,8 +7,14 @@
7 <form id="search-form" class="w-100"><input id="search" autocomplete="off" type="search" class="search-bar__input bw0 black" placeholder="Go to..."></form>
7 <form id="search-form" class="w-100"><input id="search" autocomplete="off" type="search" class="search-bar__input bw0 black" placeholder="Go to..."></form>
8 <a id="search-reset" class="f6 pr3 gray3 no-underline pointer:hover">&#57503;</a>
8 <a id="search-reset" class="f6 pr3 gray3 no-underline pointer:hover">&#57503;</a>
9 </div>
9 </div>
10− <div id="search-results" class="search-results bt-1 b-gray3 w-100">
10+ <div id="glossary-results" class="glossary-results bt b--gray3 w-100">
11− <div class="search-results__header ml3 mv1 gray3 f6"></div>
11+ <div class="glossary-results__header mv1 gray3 f6">
12+ <div class="glossary-results__item">
13+ </div>
14+ </div>
15+ </div>
16+ <div id="search-results" class="search-results bt b--gray3 w-100">
17+ <div class="search-results__header ml3 mv2 gray3 f6"></div>
12 <ul class="list search-results__items"></ul>
18 <ul class="list search-results__items"></ul>
13 </div>
19 </div>
14 </div>
20 </div>