git.iko.soy/urbit.org
on master help sign in
Merge pull request #567 from jfranklin9000/rune-links
8516c8drmariani
reference/hoon-expressions/irregular.md+18−18
compare with master
unifiedsplit
@@ -17,7 +17,7 @@ Anything Nock can do, Hoon can do also.
17
17
18### .+ dotlus
18### .+ dotlus
19
19
20−[docs](@/docs/reference/hoon-expressions/rune/dot.md) \\+
20+[docs](@/docs/reference/hoon-expressions/rune/dot.md#dotlus) \\+
21`[%dtls p=atom]`: increment an atom with Nock 4.
21`[%dtls p=atom]`: increment an atom with Nock 4.
22
22
23R: `.+(p)`
23R: `.+(p)`
@@ -25,8 +25,8 @@ I: `+(p)`
25
25
26### .= dottis
26### .= dottis
27
27
28−[docs](@/docs/reference/hoon-expressions/rune/dot.md) \\=
28+[docs](@/docs/reference/hoon-expressions/rune/dot.md#dottis) \\=
29−`[%dtls p=hoon q=hoon]`: test for equality with Nock 5.
29+`[%dtts p=hoon q=hoon]`: test for equality with Nock 5.
30
30
31R: `.=(p q)`
31R: `.=(p q)`
32I: `=(p q)`
32I: `=(p q)`
@@ -37,8 +37,8 @@ Miscellaneous useful macros.
37
37
38### ;: miccol
38### ;: miccol
39
39
40−[docs](@/docs/reference/hoon-expressions/rune/mic.md) \\:
40+[docs](@/docs/reference/hoon-expressions/rune/mic.md#miccol) \\:
41−`[%smcl p=hoon q=(list hoon)]`: call a binary function as an n-ary function.
41+`[%mccl p=hoon q=(list hoon)]`: call a binary function as an n-ary function.
42
42
43R: `;:(p q)`
43R: `;:(p q)`
44I: `:(p q)`
44I: `:(p q)`
@@ -49,7 +49,7 @@ The cell runes.
49
49
50### :- colhep
50### :- colhep
51
51
52−[docs](@/docs/reference/hoon-expressions/rune/col.md) \\[\\]\\^\\+\\\`\\~
52+[docs](@/docs/reference/hoon-expressions/rune/col.md#colhep) \\[\\]\\^\\+\\\`\\~
53`[%clhp p=hoon q=hoon]`: construct a cell (2-tuple).
53`[%clhp p=hoon q=hoon]`: construct a cell (2-tuple).
54
54
55R: `:-(p q)`
55R: `:-(p q)`
@@ -69,9 +69,9 @@ I:
69
69
70Flow hoons change the subject. All non-flow hoons (except cores) pass the subject down unchanged.
70Flow hoons change the subject. All non-flow hoons (except cores) pass the subject down unchanged.
71
71
72−### =< tisgar
72+### =< tisgal
73
73
74−[docs](@/docs/reference/hoon-expressions/rune/tis.md) \\:
74+[docs](@/docs/reference/hoon-expressions/rune/tis.md#tisgal) \\:
75`[%tsgl p=hoon q=hoon]`: compose two hoons, inverted.
75`[%tsgl p=hoon q=hoon]`: compose two hoons, inverted.
76
76
77R: `=<(p q)`
77R: `=<(p q)`
@@ -97,7 +97,7 @@ The invocation family of runes.
97
97
98### %= centis
98### %= centis
99
99
100−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\(\\)
100+[docs](@/docs/reference/hoon-expressions/rune/cen.md#centis) \\(\\)
101`[%cnts p=wing q=(list (pair wing hoon))]`: take a wing with changes.
101`[%cnts p=wing q=(list (pair wing hoon))]`: take a wing with changes.
102
102
103R: `%=(p a 1)`
103R: `%=(p a 1)`
@@ -105,7 +105,7 @@ I: `p(a 1)`
105
105
106### %~ censig
106### %~ censig
107
107
108−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\~
108+[docs](@/docs/reference/hoon-expressions/rune/cen.md#censig) \\~
109`[%cnsg p=wing q=hoon r=hoon]`: call with multi-armed door.
109`[%cnsg p=wing q=hoon r=hoon]`: call with multi-armed door.
110
110
111R: `%~(p q r)`
111R: `%~(p q r)`
@@ -113,7 +113,7 @@ I: `~(p q r)`
113
113
114### %- cenhep
114### %- cenhep
115
115
116−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\(\\)
116+[docs](@/docs/reference/hoon-expressions/rune/cen.md#cenhep) \\(\\)
117`[%cnhp p=hoon q=hoon]`: call a gate (function).
117`[%cnhp p=hoon q=hoon]`: call a gate (function).
118
118
119R: `%-(p q)`
119R: `%-(p q)`
@@ -127,7 +127,7 @@ A mold is a gate (function) that helps us build simple and rigorous data structu
127
127
128### $? bucwut
128### $? bucwut
129
129
130−[docs](@/docs/reference/hoon-expressions/rune/buc.md) \\?
130+[docs](@/docs/reference/hoon-expressions/rune/buc.md#bucwut) \\?
131`[%bcwt p=(list model)]`: mold which normalizes a general union.
131`[%bcwt p=(list model)]`: mold which normalizes a general union.
132
132
133R: `$?(p)`
133R: `$?(p)`
@@ -135,7 +135,7 @@ I: `?(p)`
135
135
136### $_ buccab
136### $_ buccab
137
137
138−[docs](@/docs/reference/hoon-expressions/rune/buc.md) \\_
138+[docs](@/docs/reference/hoon-expressions/rune/buc.md#buccab) \\_
139`[%bccb p=value]`: mold which normalizes to an example.
139`[%bccb p=value]`: mold which normalizes to an example.
140
140
141R: `$_(p)`
141R: `$_(p)`
@@ -147,7 +147,7 @@ Hoon has the usual branches and logical tests.
147
147
148### ?! wutzap
148### ?! wutzap
149
149
150−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\!
150+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutzap) \\!
151`[%wtzp p=hoon]`: logical not.
151`[%wtzp p=hoon]`: logical not.
152
152
153R: `?!(p)`
153R: `?!(p)`
@@ -155,7 +155,7 @@ I: `!(p)`
155
155
156### ?& wutpam
156### ?& wutpam
157
157
158−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\&
158+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutpam) \\&
159`[%wtpm p=(list hoon)]`: logical and.
159`[%wtpm p=(list hoon)]`: logical and.
160
160
161R: `?&(p)`
161R: `?&(p)`
@@ -163,7 +163,7 @@ I: `&(p)`
163
163
164### ?| wutbar
164### ?| wutbar
165
165
166−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\|
166+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutbar) \\|
167`[%wtbr p=(list hoon)]`: logical or.
167`[%wtbr p=(list hoon)]`: logical or.
168
168
169R: `?|(p)`
169R: `?|(p)`
@@ -175,7 +175,7 @@ Lets us adjust types without violating type constraints.
175
175
176### ^- kethep
176### ^- kethep
177
177
178−[docs](@/docs/reference/hoon-expressions/rune/ket.md) \\\`
178+[docs](@/docs/reference/hoon-expressions/rune/ket.md#kethep) \\\`
179`[%kthp p=model q=value]`: typecast by mold.
179`[%kthp p=model q=value]`: typecast by mold.
180
180
181R: `^-(p q)`
181R: `^-(p q)`
@@ -183,7 +183,7 @@ I: `` `p`q ``
183
183
184### ^= kettis
184### ^= kettis
185
185
186−[docs](@/docs/reference/hoon-expressions/rune/ket.md) \\=
186+[docs](@/docs/reference/hoon-expressions/rune/ket.md#kettis) \\=
187`[%ktts p=toga q=value]`: name a value.
187`[%ktts p=toga q=value]`: name a value.
188
188
189R: `^=(p q)`
189R: `^=(p q)`
reference/hoon-expressions/rune/tis.md+3−3
@@ -23,7 +23,7 @@ different situations. Hence the whole family of `=` runes.
23
23
24## Runes
24## Runes
25
25
26−### => "tisban"
26+### => "tisgar"
27
27
28`[%tsgr p=hoon q=hoon]`: compose two expressions.
28`[%tsgr p=hoon q=hoon]`: compose two expressions.
29
29
@@ -246,7 +246,7 @@ random number, so we use `=^`:
246[99 46]
246[99 46]
247```
247```
248
248
249−### =< "tisled"
249+### =< "tisgal"
250
250
251`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted.
251`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted.
252
252
@@ -308,7 +308,7 @@ Loosely speaking, `=+` is the simplest way of "declaring a variable."
308
308
309### =; "tismic"
309### =; "tismic"
310
310
311−`[%tssm p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order.
311+`[%tsmc p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order.
312
312
313##### Expands to
313##### Expands to
314
314
reference/hoon-expressions/rune/wut.md+4−4
@@ -117,7 +117,7 @@ If `p` is not a boolean, compiler yells at you.
117
117
118##### Type inference
118##### Type inference
119
119
120−The subject types of `q` and `r` are constrained to match any pattern-matching algebra in `p`. The analysis, which is conservative, understands any combination of [`?=`](#wuttis), [`?&`](#wutpad), [`?|`](#wutbar), and [`?!`](#wutzap), and infers the type of the subject appropriately when compiling.
120+The subject types of `q` and `r` are constrained to match any pattern-matching algebra in `p`. The analysis, which is conservative, understands any combination of [`?=`](#wuttis), [`?&`](#wutpam), [`?|`](#wutbar), and [`?!`](#wutzap), and infers the type of the subject appropriately when compiling.
121
121
122If test analysis reveals that either branch is never taken, or if `p` is not a boolean, compilation fails. An untaken branch is indicated with `mint-lost`.
122If test analysis reveals that either branch is never taken, or if `p` is not a boolean, compilation fails. An untaken branch is indicated with `mint-lost`.
123
123
@@ -384,9 +384,9 @@ If there is a case that is never taken you'll get a `mint-vain` error.
384240
384240
385```
385```
386
386
387−### ?& "wutpad"
387+### ?& "wutpam"
388
388
389−`[%wtpd p=(list hoon)]`: logical AND.
389+`[%wtpm p=(list hoon)]`: logical AND.
390
390
391##### Expands to
391##### Expands to
392
392
@@ -518,7 +518,7 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or
5184
5184
519```
519```
520
520
521−### ?! "wutzaps"
521+### ?! "wutzap"
522
522
523`[%wtzp p=hoon]`: logical NOT.
523`[%wtzp p=hoon]`: logical NOT.
524
524