git.iko.soy/urbit.org
on master help sign in
Rune naming fixes and direct rune links in reference/hoon-expressions/irregular.md
commit4a784297c8b446b4c1bafa94b191995e0261ebdb authorJohn Franklin <jfranklin9000@gmail.com> dateThu 18 Jul 2019, 00:46 (7 years ago) parentb744f08
3 files changed+25−25
compare with master
unifiedsplit
reference/hoon-expressions/irregular.md+18−18 reference/hoon-expressions/rune/tis.md+3−3 reference/hoon-expressions/rune/wut.md+4−4
reference/hoon-expressions/irregular.md+18−18
@@ -17,7 +17,7 @@ Anything Nock can do, Hoon can do also.
1717
1818### .+ dotlus
1919
20−[docs](@/docs/reference/hoon-expressions/rune/dot.md) \\+
20+[docs](@/docs/reference/hoon-expressions/rune/dot.md#dotlus) \\+
2121`[%dtls p=atom]`: increment an atom with Nock 4.
2222
2323R: `.+(p)`
@@ -25,8 +25,8 @@ I: `+(p)`
2525
2626### .= dottis
2727
28−[docs](@/docs/reference/hoon-expressions/rune/dot.md) \\=
29−`[%dtls p=hoon q=hoon]`: test for equality with Nock 5.
28+[docs](@/docs/reference/hoon-expressions/rune/dot.md#dottis) \\=
29+`[%dtts p=hoon q=hoon]`: test for equality with Nock 5.
3030
3131R: `.=(p q)`
3232I: `=(p q)`
@@ -37,8 +37,8 @@ Miscellaneous useful macros.
3737
3838### ;: miccol
3939
40−[docs](@/docs/reference/hoon-expressions/rune/mic.md) \\:
41−`[%smcl p=hoon q=(list hoon)]`: call a binary function as an n-ary function.
40+[docs](@/docs/reference/hoon-expressions/rune/mic.md#miccol) \\:
41+`[%mccl p=hoon q=(list hoon)]`: call a binary function as an n-ary function.
4242
4343R: `;:(p q)`
4444I: `:(p q)`
@@ -49,7 +49,7 @@ The cell runes.
4949
5050### :- colhep
5151
52−[docs](@/docs/reference/hoon-expressions/rune/col.md) \\[\\]\\^\\+\\\`\\~
52+[docs](@/docs/reference/hoon-expressions/rune/col.md#colhep) \\[\\]\\^\\+\\\`\\~
5353`[%clhp p=hoon q=hoon]`: construct a cell (2-tuple).
5454
5555R: `:-(p q)`
@@ -69,9 +69,9 @@ I:
6969
7070Flow hoons change the subject. All non-flow hoons (except cores) pass the subject down unchanged.
7171
72−### =< tisgar
72+### =< tisgal
7373
74−[docs](@/docs/reference/hoon-expressions/rune/tis.md) \\:
74+[docs](@/docs/reference/hoon-expressions/rune/tis.md#tisgal) \\:
7575`[%tsgl p=hoon q=hoon]`: compose two hoons, inverted.
7676
7777R: `=<(p q)`
@@ -97,7 +97,7 @@ The invocation family of runes.
9797
9898### %= centis
9999
100−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\(\\)
100+[docs](@/docs/reference/hoon-expressions/rune/cen.md#centis) \\(\\)
101101`[%cnts p=wing q=(list (pair wing hoon))]`: take a wing with changes.
102102
103103R: `%=(p a 1)`
@@ -105,7 +105,7 @@ I: `p(a 1)`
105105
106106### %~ censig
107107
108−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\~
108+[docs](@/docs/reference/hoon-expressions/rune/cen.md#censig) \\~
109109`[%cnsg p=wing q=hoon r=hoon]`: call with multi-armed door.
110110
111111R: `%~(p q r)`
@@ -113,7 +113,7 @@ I: `~(p q r)`
113113
114114### %- cenhep
115115
116−[docs](@/docs/reference/hoon-expressions/rune/cen.md) \\(\\)
116+[docs](@/docs/reference/hoon-expressions/rune/cen.md#cenhep) \\(\\)
117117`[%cnhp p=hoon q=hoon]`: call a gate (function).
118118
119119R: `%-(p q)`
@@ -127,7 +127,7 @@ A mold is a gate (function) that helps us build simple and rigorous data structu
127127
128128### $? bucwut
129129
130−[docs](@/docs/reference/hoon-expressions/rune/buc.md) \\?
130+[docs](@/docs/reference/hoon-expressions/rune/buc.md#bucwut) \\?
131131`[%bcwt p=(list model)]`: mold which normalizes a general union.
132132
133133R: `$?(p)`
@@ -135,7 +135,7 @@ I: `?(p)`
135135
136136### $_ buccab
137137
138−[docs](@/docs/reference/hoon-expressions/rune/buc.md) \\_
138+[docs](@/docs/reference/hoon-expressions/rune/buc.md#buccab) \\_
139139`[%bccb p=value]`: mold which normalizes to an example.
140140
141141R: `$_(p)`
@@ -147,7 +147,7 @@ Hoon has the usual branches and logical tests.
147147
148148### ?! wutzap
149149
150−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\!
150+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutzap) \\!
151151`[%wtzp p=hoon]`: logical not.
152152
153153R: `?!(p)`
@@ -155,7 +155,7 @@ I: `!(p)`
155155
156156### ?& wutpam
157157
158−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\&
158+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutpam) \\&
159159`[%wtpm p=(list hoon)]`: logical and.
160160
161161R: `?&(p)`
@@ -163,7 +163,7 @@ I: `&(p)`
163163
164164### ?| wutbar
165165
166−[docs](@/docs/reference/hoon-expressions/rune/wut.md) \\|
166+[docs](@/docs/reference/hoon-expressions/rune/wut.md#wutbar) \\|
167167`[%wtbr p=(list hoon)]`: logical or.
168168
169169R: `?|(p)`
@@ -175,7 +175,7 @@ Lets us adjust types without violating type constraints.
175175
176176### ^- kethep
177177
178−[docs](@/docs/reference/hoon-expressions/rune/ket.md) \\\`
178+[docs](@/docs/reference/hoon-expressions/rune/ket.md#kethep) \\\`
179179`[%kthp p=model q=value]`: typecast by mold.
180180
181181R: `^-(p q)`
@@ -183,7 +183,7 @@ I: `` `p`q ``
183183
184184### ^= kettis
185185
186−[docs](@/docs/reference/hoon-expressions/rune/ket.md) \\=
186+[docs](@/docs/reference/hoon-expressions/rune/ket.md#kettis) \\=
187187`[%ktts p=toga q=value]`: name a value.
188188
189189R: `^=(p q)`
reference/hoon-expressions/rune/tis.md+3−3
@@ -23,7 +23,7 @@ different situations. Hence the whole family of `=` runes.
2323
2424## Runes
2525
26−### => "tisban"
26+### => "tisgar"
2727
2828`[%tsgr p=hoon q=hoon]`: compose two expressions.
2929
@@ -246,7 +246,7 @@ random number, so we use `=^`:
246246[99 46]
247247```
248248
249−### =< "tisled"
249+### =< "tisgal"
250250
251251`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted.
252252
@@ -308,7 +308,7 @@ Loosely speaking, `=+` is the simplest way of "declaring a variable."
308308
309309### =; "tismic"
310310
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.
312312
313313##### Expands to
314314
reference/hoon-expressions/rune/wut.md+4−4
@@ -117,7 +117,7 @@ If `p` is not a boolean, compiler yells at you.
117117
118118##### Type inference
119119
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.
121121
122122If 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`.
123123
@@ -384,9 +384,9 @@ If there is a case that is never taken you'll get a `mint-vain` error.
384384240
385385```
386386
387−### ?& "wutpad"
387+### ?& "wutpam"
388388
389−`[%wtpd p=(list hoon)]`: logical AND.
389+`[%wtpm p=(list hoon)]`: logical AND.
390390
391391##### Expands to
392392
@@ -518,7 +518,7 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or
5185184
519519```
520520
521−### ?! "wutzaps"
521+### ?! "wutzap"
522522
523523`[%wtzp p=hoon]`: logical NOT.
524524