2245d1c · urbit.org · git.iko.soy

git.iko.soy/urbit.org

Merge branch 'restructure-3' of https://github.com/urbit/docs into restructure-3

commit2245d1c36c8b588e8a49d770c75bf8aaf1c23c1d authorRobert <robert@Roberts-MacBook-Pro.local> dateThu 10 Oct 2019, 15:42 (7 years ago) parent77216e4 b8322d2

22 files changed+466−466

compare with master

unifiedsplit

reference/hoon-errors.md+22−22

@@ -20,10 +20,10 @@ a correct Hoon file. These values are always correct.

2020Usually, the line and column tell you everything you need to

2121know. But the worst-case scenario for a syntax error is that,

2222somewhere above, you've confused Hoon's tall form by using the

23−wrong fanout for a rune. For example, `%+` ([**cenlus**](@/docs/hoon/hoon-expressions/rune/cen.md#cenlus),

24−a function call whose sample is a cell) has three subhoons:

23+wrong fanout for a rune. For example, `%+` ([**cenlus**](@/docs/reference/hoon-expressions/rune/cen.md#cenlus),

24+a function call whose sample is a cell) has three subreferences:

2525

26−```hoon

26+```reference

2727%+ foo

2828 bar

2929baz

@@ -31,17 +31,17 @@ baz

3131

3232But if you make a mistake and write

3333

34−```hoon

34+```reference

3535%+ foo

3636bar

3737```

3838

39−the parser will eat the next hoon below and try to treat it as a

39+the parser will eat the next reference below and try to treat it as a

4040part of the `%+`. This can cause a cascading error somewhere

4141below, usually stopped by a `==` or `--`.

4242

4343When this happens, don't panic! Binary search actually works

44−quite well. Any hoon can be stubbed out as `!!`. Find the

44+quite well. Any reference can be stubbed out as `!!`. Find the

4545prefix of your file that compiles, then work forward until

4646the actual error appears.

4747

@@ -53,12 +53,12 @@ Now your code parses but doesn't compile.

5353

5454Your first step should be to put a `!:` ("zapcol") rune at the

5555top of the file. This is like calling the C compiler with `-g`;

56−it tells the Hoon compiler to generate tracing hoons.

56+it tells the Hoon compiler to generate tracing references.

5757

5858Bear in mind that `!:` breaks tail-call optimization. This is a

5959bug, but a relatively low-priority bug. `!.` turns off `!:`.

60−Note that `!:` and `!.` are hoon-level, not file-level; you can

61−wrap any hoon in either.

60+Note that `!:` and `!.` are reference-level, not file-level; you can

61+wrap any reference in either.

6262

6363### Error trace

6464

@@ -74,7 +74,7 @@ If you have `!:` on, you'll see an error trace, like

7474nest-fail

7575```

7676

77−The bottom of this trace is the line and column of the hoon which

77+The bottom of this trace is the line and column of the reference which

7878failed to compile, then the cause of the error (`nest-fail`).

7979

8080Hoon does not believe in inundating you with possibly irrelevant

@@ -100,13 +100,13 @@ means you tried to pound a square peg into a round hole.

100100What was the peg and what was the hole? Hoon doesn't tell you by

101101default, because moral fiber, and also because in too many cases

102102trivial errors lead to large intimidating dumps. However, you

103−can use the `~!` rune ([**sigzap**](@/docs/hoon/hoon-expressions/rune/sig.md#sigzap)) to print the type of

104−any hoon in your stack trace.

103+can use the `~!` rune ([**sigzap**](@/docs/reference/hoon-expressions/rune/sig.md#sigzap)) to print the type of

104+any reference in your stack trace.

105105

106106For instance, you wrote `(foo bar)` and got a `nest-fail`. Change

107107your code to be:

108108

109−```hoon

109+```reference

110110~! bar

111111~! +6.foo

112112(foo bar)

@@ -122,15 +122,15 @@ In other words, "undeclared variable."

122122

123123The most common subspecies of `find` error is `find.$`, meaning

124124the empty name `$` was not found. This often happens when you

125−use a hoon that does not produce a gate/mold, as a gate/mold. For

125+use a reference that does not produce a gate/mold, as a gate/mold. For

126126instance, `(foo bar)` will give `find.$` if `foo` is not actually a

127127function.

128128

129129### `mint-vain` and `mint-lost`

130130

131131These are errors caused by type inference in pattern matching.

132−`mint-vain` means this hoon is never executed. `mint-lost` means

133−there's a case in a `?-` ([**wuthep**](@/docs/hoon/hoon-expressions/rune/wut.md#wuthep)) that isn't handled.

132+`mint-vain` means this reference is never executed. `mint-lost` means

133+there's a case in a `?-` ([**wuthep**](@/docs/reference/hoon-expressions/rune/wut.md#wuthep)) that isn't handled.

134134

135135## Runtime crashes

136136

@@ -144,9 +144,9 @@ infinite loop will time out either too slowly or too fast). The

144144stack trace will show what your code was doing when interrupted.

145145

146146The counterpart of `~!` for runtime crashes is `~|`

147−([**sigbar**](@/docs/hoon/hoon-expressions/rune/sig.md#sigbar)):

147+([**sigbar**](@/docs/reference/hoon-expressions/rune/sig.md#sigbar)):

148148

149−```hoon

149+```reference

150150~| foo

151151(foo bar)

152152```

@@ -160,19 +160,19 @@ The worst possibility, of course, is that your code runs but does

160160the wrong thing. This is relatively unusual in a typed

161161functional language, but it still happens.

162162

163−`~&` ([**sigpam**](@/docs/hoon/hoon-expressions/rune/sig.md#sigpam)) is Hoon's debugging printf.

163+`~&` ([**sigpam**](@/docs/reference/hoon-expressions/rune/sig.md#sigpam)) is Hoon's debugging printf.

164164This pretty-prints its argument:

165165

166−```hoon

166+```reference

167167~& foo

168168(foo bar)

169169```

170170

171171will always print `foo` every time it executes. A variant is

172−`~?` ([**sigwut**](@/docs/hoon/hoon-expressions/rune/sig.md#sigwut)), which prints only if a condition is

172+`~?` ([**sigwut**](@/docs/reference/hoon-expressions/rune/sig.md#sigwut)), which prints only if a condition is

173173true:

174174

175−```hoon

175+```reference

176176~? =(37 (lent foo)) foo

177177(foo bar)

178178```

reference/hoon-expressions/rune/bar.md+68−68

@@ -2,7 +2,7 @@

22title = "Cores | ('bar')"

33weight = 7

44template = "doc.html"

5−aliases = ["docs/reference/hoon-expressions/rune/bar/"]

5+aliases = ["docs/reference/reference-expressions/rune/bar/"]

66+++

77Core expressions produce cores. A core is a cell of `[battery payload]`.

88The `battery` is code, a battery of Nock formulas. The `payload` is the data

@@ -22,12 +22,12 @@ Produce a **door** (a core with a sample).

2222

2323Regular:

2424

25−```hoon

25+```reference

2626|_ a=spec

27−++ b=term c=hoon

28−++ d=term e=hoon

27+++ b=term c=reference

28+++ d=term e=reference

2929 ...

30−++ f=term g=hoon

30+++ f=term g=reference

3131--

3232```

3333

@@ -49,13 +49,13 @@ The context of the door is the subject of the `|_` expression.

4949

5050##### Expands to

5151

52−```hoon

52+```reference

5353=| a=spec

5454|%

55−++ b=term c=hoon

56−++ d=term e=hoon

55+++ b=term c=reference

56+++ d=term e=reference

5757 ...

58−++ f=term g=hoon

58+++ f=term g=reference

5959--

6060```

6161

@@ -68,7 +68,7 @@ Calling a door is like calling a gate except the caller also needs

6868to specify the arm to be computed. So, for example, if you have some door `door` which contains some arm `arm`, and you want to pass some argument (i.e., input value `arg`), you would call it with `~(arm door arg)`.

6969

7070Because gates are also doors, you can call them the same way. To call the gate `foo` as a door, instead of `(foo baz)` we would write `~($ foo baz)`. This

71−is an irregular form for `%~($ foo baz)`, [%~](/docs/hoon/hoon-expressions/rune/cen#sig).

71+is an irregular form for `%~($ foo baz)`, [%~](/docs/reference/hoon-expressions/rune/cen#sig).

7272

7373##### Examples

7474

@@ -87,7 +87,7 @@ A trivial door:

8787

8888A more interesting door, from the kernel library:

8989

90−```hoon

90+```reference

9191++ ne

9292 |_ tig=@

9393 ++ d (add tig '0')

@@ -112,12 +112,12 @@ Produce a core, `[battery payload]`.

112112

113113Regular:

114114

115−```hoon

115+```reference

116116|%

117−++ a=term b=hoon

118−++ c=term d=hoon

117+++ a=term b=reference

118+++ c=term d=reference

119119 ...

120−++ e=term f=hoon

120+++ e=term f=reference

121121--

122122```

123123

@@ -172,14 +172,14 @@ Produce a gate with a custom sample.

172172

173173Regular:

174174

175−```hoon

176−|: a=hoon b=hoon

175+```reference

176+|: a=reference b=hoon

177177```

178178

179179AST:

180180

181181```

182−[%brcl p=hoon q=hoon]

182+[%brcl p=reference q=hoon]

183183```

184184

185185##### Semantics

@@ -188,7 +188,7 @@ AST:

188188

189189##### Expands to

190190

191−```hoon

191+```reference

192192=> ^~ a

193193 |. b

194194```

@@ -220,14 +220,14 @@ Produce a trap (a core with one arm `$`).

220220

221221Regular:

222222

223−```hoon

224−|. a=hoon

223+```reference

224+|. a=reference

225225```

226226

227227AST:

228228

229229```

230−[%brdt p=hoon]

230+[%brdt p=reference]

231231```

232232

233233Semantics:

@@ -238,8 +238,8 @@ The payload of the core is the subject of the `|.` expression.

238238

239239##### Expands to

240240

241−```hoon

242−|% ++ $ a=hoon

241+```reference

242+|% ++ $ a=reference

243243--

244244```

245245

@@ -278,7 +278,7 @@ A more interesting trap:

278278Note that we can use `$()` to recurse back into the

279279trap, since it's a core with an `$` arm.

280280

281−> `$(...)` expands to `%=($ ...)` (["centis"](/docs/hoon/hoon-expressions/rune/cen#centis)).

281+> `$(...)` expands to `%=($ ...)` (["centis"](/docs/reference/hoon-expressions/rune/cen#centis)).

282282

283283### |- "barhep"

284284

@@ -288,14 +288,14 @@ Produce a trap (a core with one arm `$`) and evaluate it.

288288

289289Regular:

290290

291−```hoon

292−|- a=hoon

291+```reference

292+|- a=reference

293293```

294294

295295AST:

296296

297297```

298−[%brhp p=hoon]

298+[%brhp p=reference]

299299```

300300

301301##### Semantics

@@ -304,15 +304,15 @@ A `|-` expression produces a core with one arm named `$` and immediately evaluat

304304

305305##### Expands to

306306

307−```hoon

308−=<($ |.(a=hoon))

307+```reference

308+=<($ |.(a=reference))

309309```

310310

311311##### Discussion

312312

313313The `|-` rune can be thought of as a 'recursion point' or a 'loop starting point'. Since `|-` makes a `|.` (["bardot"](#bardot), a core with one arm named `$`, we can recurse back into it with `$()`.

314314

315−> `$(...)` expands to `%=($ ...)` (["centis"](/docs/hoon/hoon-expressions/rune/cen#centis)).

315+> `$(...)` expands to `%=($ ...)` (["centis"](/docs/reference/hoon-expressions/rune/cen#centis)).

316316

317317##### Examples

318318

@@ -344,12 +344,12 @@ Produce a core whose battery includes a `$` arm and compute the latter.

344344

345345Regular:

346346

347−```hoon

348−|^ a=hoon

349−++ b=term c=hoon

350−++ d=term e=hoon

347+```reference

348+|^ a=reference

349+++ b=term c=reference

350+++ d=term e=reference

351351 ...

352−++ f=term g=hoon

352+++ f=term g=reference

353353--

354354```

355355

@@ -358,7 +358,7 @@ Note: The `++` rune may be replaced with any other rune in the `+` family.

358358AST:

359359

360360```

361−[%brkt p=hoon q=(map term tome)]

361+[%brkt p=reference q=(map term tome)]

362362```

363363

364364##### Semantics

@@ -367,13 +367,13 @@ A `|^` expression produces a multi-arm core whose battery includes a `$` arm, wh

367367

368368##### Expands to

369369

370−```hoon

370+```reference

371371=> |%

372− ++ $ a=hoon

373− ++ b=term c=hoon

374− ++ d=term e=hoon

372+ ++ $ a=reference

373+ ++ b=term c=reference

374+ ++ d=term e=reference

375375 ...

376− ++ f=term g=hoon

376+ ++ f=term g=reference

377377 --

378378$

379379```

@@ -403,14 +403,14 @@ Produce an iron gate.

403403

404404Regular:

405405

406−```hoon

407−|~ a=spec b=hoon

406+```reference

407+|~ a=spec b=reference

408408```

409409

410410AST:

411411

412412```

413−[%brsg p=spec q=hoon]

413+[%brsg p=spec q=reference]

414414```

415415

416416##### Semantics

@@ -419,13 +419,13 @@ A `|~` expression produces an iron gate. `a` defines the sample, and `b` define

419419

420420##### Expands to

421421

422−```hoon

422+```reference

423423^| |=(a b)

424424```

425425

426426##### Discussion

427427

428−See [this discussion of core variance models](@/docs/hoon/hoon-expressions/advanced.md)

428+See [this discussion of core variance models](@/docs/reference/hoon-expressions/advanced.md)

429429

430430##### Examples

431431

@@ -442,14 +442,14 @@ Produce a wet gate (one-armed core with sample).

442442

443443Regular:

444444

445−```hoon

446−|* a=spec b=hoon

445+```reference

446+|* a=spec b=reference

447447```

448448

449449AST:

450450

451451```

452−[%brtr p=spec q=hoon]

452+[%brtr p=spec q=reference]

453453```

454454

455455##### Semantics

@@ -458,7 +458,7 @@ A `|*` expression produces a wet gate. `a` defines the gate's sample, and `b` i

458458

459459##### Expands to

460460

461−```hoon

461+```reference

462462=| a

463463|@

464464++ $

@@ -479,7 +479,7 @@ you know what you're doing.

479479Just as with a [gate](#bartis), we can recurse back into a wet gate

480480with `$()`.

481481

482−> `$(...)` expands to `%=($ ...)` (["centis"](@/docs/hoon/hoon-expressions/rune/cen.md#centis)).

482+> `$(...)` expands to `%=($ ...)` (["centis"](@/docs/reference/hoon-expressions/rune/cen.md#centis)).

483483

484484##### Examples

485485

@@ -508,14 +508,14 @@ Produce a gate (a one-armed core with a sample).

508508

509509Regular:

510510

511−```hoon

512−|= a=spec b=hoon

511+```reference

512+|= a=spec b=reference

513513```

514514

515515AST:

516516

517517```

518−[%brts p=spec q=hoon]

518+[%brts p=spec q=reference]

519519```

520520

521521##### Definition

@@ -526,9 +526,9 @@ The product of a `|=` expression is a dry **gate**, i.e., a Hoon function.

526526

527527##### Expands to

528528

529−```hoon

529+```reference

530530=| a=spec

531−|% ++ $ b=hoon

531+|% ++ $ b=reference

532532--

533533```

534534

@@ -538,7 +538,7 @@ Dry gates are used for the vast majority of ordinary functions in Hoon.

538538

539539A gate is a core with one arm named `$`, so we can recurse back into it with `$()`.

540540

541−> `$(...)` expands to `%=($ ...)` (["centis"](@/docs/hoon/hoon-expressions/rune/cen.md#centis)).

541+> `$(...)` expands to `%=($ ...)` (["centis"](@/docs/reference/hoon-expressions/rune/cen.md#centis)).

542542

543543##### Examples

544544

@@ -568,12 +568,12 @@ Produce a 'wet' core `[battery payload]`.

568568

569569Regular:

570570

571−```hoon

571+```reference

572572|@

573−++ a=term b=hoon

574−++ c=term d=hoon

573+++ a=term b=reference

574+++ c=term d=reference

575575 ...

576−++ e=term f=hoon

576+++ e=term f=reference

577577--

578578```

579579

@@ -591,7 +591,7 @@ A `|@` expression produces a 'wet' core whose payload is the expression's subjec

591591

592592##### Discussion

593593

594−The `|@` rune is just like the `|%` rune except that instead of producing a 'dry' core, it produces a 'wet' one. This allows for type polymorphism of its arms, using 'genericity'. See [Advanced types](@/docs/hoon/hoon-expressions/advanced.md).

594+The `|@` rune is just like the `|%` rune except that instead of producing a 'dry' core, it produces a 'wet' one. This allows for type polymorphism of its arms, using 'genericity'. See [Advanced types](@/docs/reference/hoon-expressions/advanced.md).

595595

596596### |? "barwut"

597597

@@ -601,14 +601,14 @@ Produce a lead trap.

601601

602602Regular:

603603

604−```hoon

605−|? a=hoon

604+```reference

605+|? a=reference

606606```

607607

608608AST:

609609

610610```

611−[%brwt p=hoon]

611+[%brwt p=reference]

612612```

613613

614614##### Semantics

@@ -617,13 +617,13 @@ A `|?` expression produces a lead trap (i.e., a lead core with one arm named `$`

617617

618618##### Expands to

619619

620−```hoon

620+```reference

621621^? |. a

622622```

623623

624624##### Discussion

625625

626−See this [discussion of the core variance model](@/docs/hoon/hoon-expressions/advanced.md).

626+See this [discussion of the core variance model](@/docs/reference/hoon-expressions/advanced.md).

627627

628628##### Examples

629629

reference/hoon-expressions/rune/buc.md+9−9

@@ -2,7 +2,7 @@

22title = "Structures $ ('buc')"

33weight = 12

44template = "doc.html"

5−aliases = ["docs/reference/hoon-expressions/rune/buc/"]

5+aliases = ["docs/reference/reference-expressions/rune/buc/"]

66+++

77The `$` family of runes is used for defining custom types. Strictly speaking,

88these runes are used to produce 'structures'. A structure is a compile-time

@@ -54,11 +54,11 @@ Irregular: `*` makes `%noun`, `^` makes `%cell`, `?` makes

5454

5555### $_ "buccab"

5656

57−`[%bscb p=hoon]`: structure that normalizes to an example.

57+`[%bscb p=reference]`: structure that normalizes to an example.

5858

5959##### Expands to

6060

61−```hoon

61+```reference

6262|=(* p)

6363```

6464

@@ -159,7 +159,7 @@ Irregular (structure mode): `[a b c]` is `$:(a b c)`.

159159

160160##### Expands to

161161

162−```hoon

162+```reference

163163$_ ^|

164164|=(p $:q)

165165```

@@ -217,7 +217,7 @@ Regular: **2-fixed**.

217217

218218### $~ "bucsig"

219219

220−`[%bssg p=hoon q=spec]`: define a custom type default value

220+`[%bssg p=reference q=spec]`: define a custom type default value

221221

222222## Product

223223

@@ -231,15 +231,15 @@ The product of `p`.

231231

232232Regular: **2-fixed**.

233233

234−```hoon

235−$~ p=hoon q=spec

234+```reference

235+$~ p=reference q=spec

236236```

237237

238238`p` defines the default value, and `q` defines everything else about the structure.

239239

240240##### Discussion

241241

242−You should make sure that the product type of `p` nests under `q`. You can check the default value of some structure (custom type) `r` with `*r`. (See the [`^*` rune](@/docs/hoon/hoon-expressions/rune/ket.md#kettar).)

242+You should make sure that the product type of `p` nests under `q`. You can check the default value of some structure (custom type) `r` with `*r`. (See the [`^*` rune](@/docs/reference/hoon-expressions/rune/ket.md#kettar).)

243243

244244Do not confuse the `$~` rune with the constant type for null, `$~`. (The latter uses older Hoon syntax that is still accepted. Preferably it would be `%~`.)

245245

@@ -321,7 +321,7 @@ Example:

321321

322322##### Expands to

323323

324−```hoon

324+```reference

325325|= *

326326^=(p %-(q +6))

327327```

reference/hoon-expressions/rune/cen.md+65−65

@@ -2,7 +2,7 @@

22title = "Calls % ('cen')"

33weight = 10

44template = "doc.html"

5−aliases = ["docs/reference/hoon-expressions/rune/cen/"]

5+aliases = ["docs/reference/reference-expressions/rune/cen/"]

66+++

77The `%` family of runes is used for making 'function calls' in Hoon. To be more precise, these runes evaluate the `$` arm in cores, usually after modifying the sample. (The default sample is replaced with the input values given in the call.)

@@ -18,25 +18,25 @@ Resolve a wing with changes, preserving type.

1818

1919Regular, tall:

2020

21−```hoon

21+```reference

2222%_ a=wing

23− b=wing c=hoon

24− d=wing e=hoon

23+ b=wing c=reference

24+ d=wing e=reference

2525 ...

26− f=wing g=hoon

26+ f=wing g=reference

2727==

2828```

2929

3030Regular, flat:

3131

32−```hoon

33−%_(a=wing b=wing c=hoon, d=wing e=hoon, ...)

32+```reference

33+%_(a=wing b=wing c=reference, d=wing e=hoon, ...)

3434```

3535

3636AST:

3737

3838```

39−[%cncb p=wing q=(list (pair wing hoon))]

39+[%cncb p=wing q=(list (pair wing reference))]

4040```

4141

4242##### Semantics

@@ -45,7 +45,7 @@ A `%_` expression resolves to the value of the subject at wing `a`, but modified

4545

4646##### Expands to

4747

48−```hoon

48+```reference

4949^+(a %=(a b c, d e, ...))

5050```

5151

@@ -53,7 +53,7 @@ A `%_` expression resolves to the value of the subject at wing `a`, but modified

5353

5454`%_` is different from `%=` because `%=` can change the type of a wing with mutations. `%_` preserves the wing type.

5555

56−See [how wings are resolved](@/docs/hoon/hoon-expressions/limb/_index.md).

56+See [how wings are resolved](@/docs/reference/hoon-expressions/limb/_index.md).

5757

5858##### Examples

5959

@@ -81,19 +81,19 @@ Call a gate with many arguments.

8181

8282Regular:

8383

84−```hoon

85−%: a=hoon

86− b=hoon

87− c=hoon

84+```reference

85+%: a=reference

86+ b=reference

87+ c=reference

8888 ...

89− d=hoon

89+ d=reference

9090==

9191```

9292

9393AST:

9494

9595```

96−[%cncl p=hoon q=(list hoon)]

96+[%cncl p=reference q=(list hoon)]

9797```

9898

9999##### Semantics

@@ -106,7 +106,7 @@ When `%:` is used in tall-form syntax, the series of expressions after `p` must

106106

107107##### Examples

108108

109−```hoon

109+```reference

110110> %: add 22 33 ==

11111155

112112

@@ -135,14 +135,14 @@ Call a gate (function), inverted.

135135

136136Regular:

137137

138−```hoon

139−%. a=hoon b=hoon

138+```reference

139+%. a=reference b=hoon

140140```

141141

142142AST:

143143

144144```

145−[%cndt p=hoon q=hoon]

145+[%cndt p=reference q=hoon]

146146```

147147

148148##### Semantics

@@ -151,8 +151,8 @@ The `%.` rune is for evaluating the `$` arm of a gate, i.e., calling a function.

151151

152152##### Expands to

153153

154−```hoon

155−%-(b=hoon a=hoon)

154+```reference

155+%-(b=reference a=hoon)

156156```

157157

158158##### Discussion

@@ -176,20 +176,20 @@ Call a gate (function).

176176

177177Regular:

178178

179−```hoon

180−%- a=hoon b=hoon

179+```reference

180+%- a=reference b=hoon

181181```

182182

183183Irregular:

184184

185−```hoon

186−(a=hoon b=hoon)

185+```reference

186+(a=reference b=hoon)

187187```

188188

189189AST:

190190

191191```

192−[%cnhp p=hoon q=hoon]

192+[%cnhp p=reference q=hoon]

193193```

194194

195195##### Semantics

@@ -198,14 +198,14 @@ This rune is for evaluating the `$` arm of a gate, i.e., calling a gate as a fun

198198

199199##### Expands to

200200

201−```hoon

201+```reference

202202%~($ a b)

203203```

204204

205205##### Discussion

206206

207−`%-` is used to call a function; `a` is the function ([`gate`](@/docs/hoon/hoon-expressions/rune/bar.md#bartis),

208−`q` the argument. `%-` is a special case of [`%~` ("censig")](#censig), and a gate is a special case of a [door](@/docs/hoon/hoon-expressions/rune/bar.md#barcab).

207+`%-` is used to call a function; `a` is the function ([`gate`](@/docs/reference/hoon-expressions/rune/bar.md#bartis),

208+`q` the argument. `%-` is a special case of [`%~` ("censig")](#censig), and a gate is a special case of a [door](@/docs/reference/hoon-expressions/rune/bar.md#barcab).

209209

210210##### Examples

211211

@@ -225,21 +225,21 @@ Call gate with triple sample.

225225

226226Regular:

227227

228−```hoon

229−%^ a=hoon b=hoon c=hoon d=hoon

228+```reference

229+%^ a=reference b=hoon c=hoon d=hoon

230230```

231231

232232AST:

233233

234234```

235−[%cnkt p=hoon q=hoon r=hoon s=hoon]

235+[%cnkt p=reference q=hoon r=hoon s=hoon]

236236```

237237

238238

239239##### Expands to

240240

241−```hoon

242−%-(a=hoon [b=hoon c=hoon d=hoon])

241+```reference

242+%-(a=reference [b=hoon c=hoon d=hoon])

243243```

244244

245245##### Examples

@@ -259,14 +259,14 @@ Call gate with a cell sample.

259259

260260Regular:

261261

262−```hoon

263−%+ a=hoon b=hoon c=hoon

262+```reference

263+%+ a=reference b=hoon c=hoon

264264```

265265

266266AST:

267267

268268```

269−[%cnls p=hoon q=hoon r=hoon]

269+[%cnls p=reference q=hoon r=hoon]

270270```

271271

272272##### Semantics

@@ -275,8 +275,8 @@ A `%+` expression is for calling a gate with a cell sample. `a` is the gate to

275275

276276##### Expands to

277277

278−```hoon

279−%-(a=hoon [b=hoon c=hoon])

278+```reference

279+%-(a=reference [b=hoon c=hoon])

280280```

281281

282282##### Examples

@@ -296,12 +296,12 @@ Evaluate an arm in a door.

296296

297297Regular:

298298

299−```hoon

300−%~ a=wing b=hoon

301− c=hoon

302− d=hoon

299+```reference

300+%~ a=wing b=reference

301+ c=reference

302+ d=reference

303303 ...

304− e=hoon

304+ e=reference

305305==

306306```

307307

@@ -313,7 +313,7 @@ Irregular:

313313AST:

314314

315315```

316−[%cnsg p=wing q=hoon r=(list hoon)]

316+[%cnsg p=wing q=reference r=(list hoon)]

317317```

318318

319319##### Semantics

@@ -324,11 +324,11 @@ A `%~` expression evaluates the arm of a door (i.e., a core with a sample). `a`

324324

325325`%~` is the general case of a function call, `%-`. In both, we replace the sample (`+6`) of a core. In `%-` the core is a gate and the `$` arm is evaluated. In `%~` the core is a door and any arm may be evaluated. You must identify the arm to be run: `%~(arm door arg)`.

326326

327−See also [`|_`](@/docs/hoon/hoon-expressions/rune/bar.md#barcab).

327+See also [`|_`](@/docs/reference/hoon-expressions/rune/bar.md#barcab).

328328

329329##### Examples

330330

331−```hoon

331+```reference

332332> =mycore |_ a=@

333333 ++ plus-two (add 2 a)

334334 ++ double (mul 2 a)

@@ -348,19 +348,19 @@ Evaluate an expression, then resolve a wing with changes.

348348

349349Regular:

350350

351−```hoon

352−%* a=wing b=hoon

353− c=wing d=hoon

354− e=wing f=hoon

351+```reference

352+%* a=wing b=reference

353+ c=wing d=reference

354+ e=wing f=reference

355355 ...

356− g=wing h=hoon

356+ g=wing h=reference

357357==

358358```

359359

360360AST:

361361

362362```

363−[%cntr p=wing q=hoon r=(list (pair wing hoon))]

363+[%cntr p=wing q=reference r=(list (pair wing hoon))]

364364```

365365

366366##### Semantics

@@ -369,13 +369,13 @@ A `%*` expression evaluates some arbitrary Hoon expression, `b`, and then resolv

369369

370370##### Expands to

371371

372−```hoon

373−=+ b=hoon

372+```reference

373+=+ b=reference

374374%= a=wing

375− c=wing d=hoon

376− e=wing f=hoon

375+ c=wing d=reference

376+ e=wing f=reference

377377 ...

378− g=wing h=hoon

378+ g=wing h=reference

379379==

380380```

381381

@@ -411,12 +411,12 @@ Resolve a wing with changes.

411411

412412Regular:

413413

414−```hoon

414+```reference

415415%= a=wing

416− b=wing c=hoon

417− d=wing e=hoon

416+ b=wing c=reference

417+ d=wing e=reference

418418 ...

419− f=wing g=hoon

419+ f=wing g=reference

420420==

421421```

422422

@@ -427,7 +427,7 @@ Irregular:

427427AST:

428428

429429```

430−[%cnts p=wing q=(list (pair wing hoon))]

430+[%cnts p=wing q=(list (pair wing reference))]

431431```

432432

433433##### Semantics

@@ -452,7 +452,7 @@ a wing, we would just be mutating `+6` within the core that defines the

452452

453453Here's that again in tall form:

454454

455−```hoon

455+```reference

456456=+ foo

457457=> %= +2

458458 +6 baz

reference/hoon-expressions/rune/ket.md+17−17

@@ -2,7 +2,7 @@

22title = "Casts ^ ('ket')"

33weight = 11

44template = "doc.html"

5−aliases = ["docs/reference/hoon-expressions/rune/ket/"]

5+aliases = ["docs/reference/reference-expressions/rune/ket/"]

66+++

77[`^-` ("kethep")](#kethep), [`^+` ("ketlus")](#ketlus), and

88[`^=` ("kettis")](#kettis) let us adjust types without violating type

@@ -15,7 +15,7 @@ it never allows invalid nests, it sometimes rejects valid nests.

1515

1616### ^| "ketbar"

1717

18−`[%ktbr p=hoon]`: convert a gold core to an iron core (contravariant).

18+`[%ktbr p=reference]`: convert a gold core to an iron core (contravariant).

1919

2020##### Produces

2121

@@ -87,11 +87,11 @@ ford: %ride failed to execute:

8787

8888### ^. "ketdot"

8989

90−`[%ktdt p=hoon q=hoon]`: typecast on value produced by passing `q` to `p`.

90+`[%ktdt p=reference q=hoon]`: typecast on value produced by passing `q` to `p`.

9191

9292##### Expands to

9393

94−```hoon

94+```reference

9595^+(%:(p q) q)

9696```

9797

@@ -99,8 +99,8 @@ ford: %ride failed to execute:

9999

100100Regular: **2-fixed**.

101101

102−```hoon

103−^. p=hoon q=hoon

102+```reference

103+^. p=reference q=hoon

104104```

105105

106106##### Discussion

@@ -128,11 +128,11 @@ mint-vain

128128

129129### ^- "kethep"

130130

131−`[%kthp p=spec q=hoon]`: typecast by explicit type label.

131+`[%kthp p=spec q=reference]`: typecast by explicit type label.

132132

133133##### Expands to

134134

135−```hoon

135+```reference

136136^+(^*(p) q)

137137```

138138

@@ -172,7 +172,7 @@ infinite loop in the compiler).

172172

173173### ^+ "ketlus"

174174

175−`[%ktls p=hoon q=hoon]`: typecast by inferred type.

175+`[%ktls p=reference q=hoon]`: typecast by inferred type.

176176

177177##### Produces

178178

@@ -191,7 +191,7 @@ Regular: **2-fixed**.

191191

192192### ^& "ketpam"

193193

194−`[%ktpm p=hoon]`: convert a core to a zinc core (covariant).

194+`[%ktpm p=reference]`: convert a core to a zinc core (covariant).

195195

196196##### Produces

197197

@@ -203,7 +203,7 @@ Regular: **1-fixed**.

203203

204204##### Discussion

205205

206−A zinc core has a read-only sample and an opaque context. See [Advanced types](@/docs/hoon/hoon-expressions/advanced.md).

206+A zinc core has a read-only sample and an opaque context. See [Advanced types](@/docs/reference/hoon-expressions/advanced.md).

207207

208208##### Examples

209209

@@ -244,7 +244,7 @@ ford: %ride failed to compute type:

244244

245245### ^~ "ketsig"

246246

247−`[%ktsg p=hoon]`: fold constant at compile time.

247+`[%ktsg p=reference]`: fold constant at compile time.

248248

249249##### Produces

250250

@@ -276,7 +276,7 @@ A default value (i.e., 'bunt value') of the type `p`.

276276

277277Regular: **1-fixed**.

278278

279−```hoon

279+```reference

280280^* p=spec

281281```

282282

@@ -288,7 +288,7 @@ Irregular: `*p`.

288288

289289Regular:

290290

291−```hoon

291+```reference

292292> ^* @

2932930

294294

@@ -304,7 +304,7 @@ Regular:

304304

305305Irregular:

306306

307−```hoon

307+```reference

308308> *@

3093090

310310

@@ -317,7 +317,7 @@ Irregular:

317317

318318### ^= "kettis"

319319

320−`[%ktts p=skin q=hoon]`: Bind name to a value.

320+`[%ktts p=skin q=reference]`: Bind name to a value.

321321

322322##### Produces

323323

@@ -353,7 +353,7 @@ a=1

353353

354354### ^? "ketwut"

355355

356−`[%ktwt p=hoon]`: convert any core to a lead core (bivariant).

356+`[%ktwt p=reference]`: convert any core to a lead core (bivariant).

357357

358358##### Produces

359359

reference/hoon-expressions/rune/tis.md+28−28

@@ -2,7 +2,7 @@

22title = "Change Subject = ('tis')"

33weight = 5

44template = "doc.html"

5−aliases = ["/docs/reference/hoon-expressions/rune/tis/"]

5+aliases = ["/docs/reference/reference-expressions/rune/tis/"]

66+++

77These runes modify the subject. (Or more precisely, they

88evaluate at least one of their subexpressions with a modified subject.)

@@ -26,7 +26,7 @@ different situations. Hence the whole family of `=` runes.

2626

2727### => "tisgar"

2828

29−`[%tsgr p=hoon q=hoon]`: compose two expressions.

29+`[%tsgr p=reference q=hoon]`: compose two expressions.

3030

3131##### Produces

3232

@@ -49,11 +49,11 @@ Regular: **2-fixed**.

4949### =| "tisbar"

5050

5151

52−`[%tsbr p=spec q=hoon]`: combine a default type value with the subject.

52+`[%tsbr p=spec q=reference]`: combine a default type value with the subject.

5353

5454##### Expands to

5555

56−```hoon

56+```reference

5757=+(*p q)

5858```

5959

@@ -80,11 +80,11 @@ Speaking more loosely, `=|` usually "declares a variable" which is "uninitialize

8080

8181### =: "tiscol"

8282

83−`[%tscl p=(list (pair wing hoon)) q=hoon]`: change multiple legs in the subject.

83+`[%tscl p=(list (pair wing reference)) q=hoon]`: change multiple legs in the subject.

8484

8585##### Expands to

8686

87−```hoon

87+```reference

8888=>(%_(. p) q)

8989```

9090

@@ -109,7 +109,7 @@ This rune is like `=.`, but for modifying the values of multiple legs of the sub

109109

110110### =, "tiscom"

111111

112−`[%tscm p=hoon q=hoon]`: expose namespace

112+`[%tscm p=reference q=hoon]`: expose namespace

113113

114114`p` evaluates to a noun with some namespace. From within `q` you may access `p`'s names without a wing path (i.e., you can use face `b` rather than `b.p`). This is especially useful for calling arms from an imported library core or for calling arms from a stdlib core repeatedly.

115115

@@ -144,11 +144,11 @@ With a dojo-defined face:

144144

145145### =. "tisdot"

146146

147−`[%tsdt p=wing q=hoon r=hoon]`: change one leg in the subject.

147+`[%tsdt p=wing q=reference r=hoon]`: change one leg in the subject.

148148

149149##### Expands to

150150

151−```hoon

151+```reference

152152=>(%_(. p q) r)

153153```

154154

@@ -159,7 +159,7 @@ Regular: **3-fixed**.

159159##### Discussion

160160

161161Technically the `=.` rune doesn't change the subject. It creates

162−a new subject just like the old one except for a changed value at `p`. Note that the mutation uses [`%_` ("cencab")](@/docs/hoon/hoon-expressions/rune/cen.md#cencab), so the type at `p` doesn't change. Trying to change the value type results in a `nest-fail`.

162+a new subject just like the old one except for a changed value at `p`. Note that the mutation uses [`%_` ("cencab")](@/docs/reference/hoon-expressions/rune/cen.md#cencab), so the type at `p` doesn't change. Trying to change the value type results in a `nest-fail`.

163163

164164##### Examples

165165

@@ -180,11 +180,11 @@ nest-fail

180180

181181### =- "tishep"

182182

183−`[%tshp p=hoon q=hoon]`: combine a new noun with the subject, inverted.

183+`[%tshp p=reference q=hoon]`: combine a new noun with the subject, inverted.

184184

185185##### Expands to

186186

187−```hoon

187+```reference

188188=>([q .] p)

189189```

190190

@@ -209,12 +209,12 @@ Regular: **2-fixed**.

209209

210210### =^ "tisket"

211211

212−`[%tskt p=skin q=wing r=hoon s=hoon]`: pin the head of a pair; change

212+`[%tskt p=skin q=wing r=reference s=hoon]`: pin the head of a pair; change

213213a leg with the tail.

214214

215215##### Expands to

216216

217−```hoon

217+```reference

218218=/(p -.r =.(q +.r s))

219219```

220220

@@ -249,11 +249,11 @@ random number, so we use `=^`:

249249

250250### =< "tisgal"

251251

252−`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted.

252+`[%tsgl p=reference q=hoon]`: compose two expressions, inverted.

253253

254254##### Expands to

255255

256−```hoon

256+```reference

257257=>(q p)

258258```

259259

@@ -287,11 +287,11 @@ Irregular: `foo:baz` is `=<(foo baz)`.

287287### =+ "tislus"

288288

289289

290−`[%tsls p=hoon q=hoon]`: combine a new noun with the subject.

290+`[%tsls p=reference q=hoon]`: combine a new noun with the subject.

291291

292292##### Expands to

293293

294−```hoon

294+```reference

295295=>([p .] q)

296296```

297297

@@ -309,11 +309,11 @@ Loosely speaking, `=+` is the simplest way of "declaring a variable."

309309

310310### =; "tismic"

311311

312−`[%tsmc p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order.

312+`[%tsmc p=skin q=reference r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order.

313313

314314##### Expands to

315315

316−```hoon

316+```reference

317317=/(p r q)

318318```

319319

@@ -338,25 +338,25 @@ Regular: **3-fixed**.

338338

339339### =/ "tisfas"

340340

341−`[%tsfs p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation.

341+`[%tsfs p=skin q=reference r=hoon]`: combine a named noun with the subject, possibly with type annotation.

342342

343343##### Expands to

344344

345345**if `p` is a name**, (e.g. `a`):

346346

347−```hoon

347+```reference

348348=+(^=(p q) r)

349349```

350350

351351**if `p` is a name with a type** (e.g., `a=@`):

352352

353−```hoon

353+```reference

354354=+(^-(p q) r)

355355```

356356

357357### Desugaring

358358

359−```hoon

359+```reference

360360?@ p

361361 =+ p=q

362362 r

@@ -388,7 +388,7 @@ Regular: **3-fixed**.

388388### =~ "tissig"

389389

390390

391−`[%tssg p=(list hoon)]`: compose many expressions.

391+`[%tssg p=(list reference)]`: compose many expressions.

392392

393393##### Produces

394394

@@ -423,7 +423,7 @@ Regular: **running**.

423423

424424### =* "tistar"

425425

426−`[%tstr p=term q=hoon r=hoon]`: define an alias.

426+`[%tstr p=term q=reference r=hoon]`: define an alias.

427427

428428##### Produces

429429

@@ -456,11 +456,11 @@ The difference between aliasing and pinning is that pinning changes the subject,

456456

457457### =? "tiswut"

458458

459−`[$tswt p=wing q=hoon r=hoon s=hoon]`: conditionally change one leg in the subject.

459+`[$tswt p=wing q=reference r=hoon s=hoon]`: conditionally change one leg in the subject.

460460

461461##### Expands to

462462

463−```hoon

463+```reference

464464=. p ?:(q r p)

465465s

466466```

reference/hoon-expressions/rune/wut.md+28−28

@@ -2,7 +2,7 @@

22title = "Conditionals ? ('wut')"

33weight = 6

44template = "doc.html"

5−aliases = ["docs/reference/hoon-expressions/rune/wut/"]

5+aliases = ["docs/reference/reference-expressions/rune/wut/"]

66+++

77Hoon has the usual program control branches. It also has the usual logical

88operators: AND `?&`, OR `?|`, and NOT `?!`. It also has a `?=` rune that tests

@@ -22,7 +22,7 @@ for expressions which expand to `?:`.

2222The test does not have to be a single `?=`; the compiler can

2323analyze arbitrary boolean logic ([`?&` ("wutpam")](#wutpam),

2424[`?|` ("wutbar")](#wutbar), [`?!` ("wutzap")](#wutzap)) with full

25−short-circuiting. Equality tests ([`.=` ("dottis")](@/docs/hoon/hoon-expressions/rune/dot.md#dottis)) are **not**

25+short-circuiting. Equality tests ([`.=` ("dottis")](@/docs/reference/hoon-expressions/rune/dot.md#dottis)) are **not**

2626analyzed.

2727

2828If the compiler detects that the branch is degenerate (only one

@@ -32,11 +32,11 @@ side is taken), it fails with an error.

3232

3333### ?> "wutgar"

3434

35−`[%wtgr p=hoon q=hoon]`: positive assertion.

35+`[%wtgr p=reference q=hoon]`: positive assertion.

3636

3737##### Expands to

3838

39−```hoon

39+```reference

4040?.(p !! q)

4141```

4242

@@ -70,19 +70,19 @@ nest-fail

7070

7171### ?| "wutbar"

7272

73−`[%wtbr p=(list hoon)]`: logical OR.

73+`[%wtbr p=(list reference)]`: logical OR.

7474

7575##### Expands to

7676

7777**Pseudocode**: `a`, `b`, `c`, ... as elements of `p`:

7878

79−```hoon

79+```reference

8080?:(a & ?:(b & ?:(c & ?:(... ?:(z & |)))))

8181```

8282

8383##### Desugaring

8484

85−```hoon

85+```reference

8686|-

8787?~ p

8888 |

@@ -109,7 +109,7 @@ Irregular: `|(foo bar baz)` is `?|(foo bar baz)`.

109109

110110### ?: "wutcol" {#wutcol}

111111

112−`[%wtcl p=hoon q=hoon r=hoon]`: branch on a boolean test.

112+`[%wtcl p=reference q=hoon r=hoon]`: branch on a boolean test.

113113

114114##### Produces

115115

@@ -157,11 +157,11 @@ Note also that all other branching expressions reduce to `?:`.

157157

158158### ?. "wutdot"

159159

160−`[%wtdt p=hoon q=hoon r=hoon]`: branch on a boolean test, inverted.

160+`[%wtdt p=reference q=hoon r=hoon]`: branch on a boolean test, inverted.

161161

162162##### Expands to

163163

164−```hoon

164+```reference

165165?:(p r q)

166166```

167167

@@ -200,7 +200,7 @@ As is usual with inverted forms, use `?.` when the yes-case expression is much t

200200

201201**Pseudocode**: `a`, `b`, `c`, ... as elements of `q`:

202202

203−```hoon

203+```reference

204204?: ?=(p.a p) q.a

205205?: ?=(p.b p) q.b

206206?: ?=(p.c p) q.c

@@ -210,7 +210,7 @@ As is usual with inverted forms, use `?.` when the yes-case expression is much t

210210

211211##### Desugaring

212212

213−```hoon

213+```reference

214214|-

215215?. q

216216 ~|(%mint-lost !!)

@@ -256,12 +256,12 @@ will throw `mint-vain`.

256256

257257### ?^ "wutket"

258258

259−`[%wtkt p=wing q=hoon r=hoon]`: branch on whether a wing

259+`[%wtkt p=wing q=reference r=hoon]`: branch on whether a wing

260260of the subject is a cell.

261261

262262##### Expands to

263263

264−```hoon

264+```reference

265265?:(?=(^ p) q r)

266266```

267267

@@ -289,11 +289,11 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or

289289

290290### ?< "wutgal"

291291

292−`[%wtgl p=hoon q=hoon]`: negative assertion.

292+`[%wtgl p=reference q=hoon]`: negative assertion.

293293

294294##### Expands to

295295

296−```hoon

296+```reference

297297?:(p !! q)

298298```

299299

@@ -327,14 +327,14 @@ nest-fail

327327

328328### ?+ "wutlus"

329329

330−`[%wtls p=wing q=hoon r=(list (pair spec hoon))]`: switch against

330+`[%wtls p=wing q=reference r=(list (pair spec hoon))]`: switch against

331331a union, with a default.

332332

333333##### Expands to

334334

335335**Pseudocode**: `a`, `b`, `c`, ... as elements of `r`:

336336

337−```hoon

337+```reference

338338?: ?=(p.a p) q.a

339339?: ?=(p.b p) q.b

340340?: ?=(p.c p) q.c

@@ -344,7 +344,7 @@ q

344344

345345##### Desugaring

346346

347−```hoon

347+```reference

348348|-

349349?. r

350350 q

@@ -384,19 +384,19 @@ If there is a case that is never taken you'll get a `mint-vain` error.

384384

385385### ?& "wutpam"

386386

387−`[%wtpm p=(list hoon)]`: logical AND.

387+`[%wtpm p=(list reference)]`: logical AND.

388388

389389##### Expands to

390390

391391**Pseudocode**: `a`, `b`, `c`, ... as elements of `p`:

392392

393−```hoon

393+```reference

394394?.(a | ?.(b | ?.(c | ?.(... ?.(z | &)))))

395395```

396396

397397##### Desugaring

398398

399−```hoon

399+```reference

400400|-

401401?~ p

402402 &

@@ -423,11 +423,11 @@ Irregular: `&(foo bar baz)` is `?&(foo bar baz)`.

423423

424424### ?~ "wutsig"

425425

426−`[%wtsg p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is null.

426+`[%wtsg p=wing q=reference r=hoon]`: branch on whether a wing of the subject is null.

427427

428428##### Expands to

429429

430−```hoon

430+```reference

431431?:(?=($~ p) q r)

432432```

433433

@@ -486,11 +486,11 @@ A common error is `find.$`, meaning `p` is not a type.

486486

487487### ?@ "wutvat"

488488

489−`[%wtpt p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is an atom.

489+`[%wtpt p=wing q=reference r=hoon]`: branch on whether a wing of the subject is an atom.

490490

491491##### Expands to

492492

493−```hoon

493+```reference

494494?:(?=(@ p) q r)

495495```

496496

@@ -518,11 +518,11 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or

518518

519519### ?! "wutzap"

520520

521−`[%wtzp p=hoon]`: logical NOT.

521+`[%wtzp p=reference]`: logical NOT.

522522

523523##### Expands to

524524

525−```hoon

525+```reference

526526.=(| p)

527527```

528528

reference/library/1b.md+1−1

@@ -4,7 +4,7 @@ weight = 2

44template = "doc.html"

55aliases = ["/docs/reference/library/1b"]

66+++

7−Check out the Nock [explanation](@/docs/nock/_index.md) for more

7+Check out the Nock [explanation](@/docs/tutorials/nock/_index.md) for more

88information on the tree-addressing system.

1010### `++cap`

reference/library/1c.md+13−13

@@ -12,7 +12,7 @@ Atom representing block size. A block of size `a` has a bitwidth of `2^a`.

1212

1313#### Source

1414

15−```hoon

15+```reference

1616 ++ bloq @

1717```

1818

@@ -63,7 +63,7 @@ A `bloq` of 3 has a bitwidth of 8. (2^3 bits; can represent 256 values.)

6363

6464And so on.

6565

66−See the [bit arithmetic](@/docs/hoon/library/2c.md) section for operations that use `bloq`s.

66+See the [bit arithmetic](@/docs/reference/library/2c.md) section for operations that use `bloq`s.

6767

6868---

6969

@@ -104,7 +104,7 @@ product noun. If used dryly as a type, the subject must have a sample type of

104104

105105#### Source

106106

107−```hoon

107+```reference

108108 ++ gate

109109 $-(* *)

110110```

@@ -143,7 +143,7 @@ homogenous type.

143143

144144#### Source

145145

146−```hoon

146+```reference

147147 ++ list

148148 |*(a=mold $@($~ (lest a)))

149149```

@@ -177,7 +177,7 @@ A mold generator. Puts face of `p` on the passed-in mold.

177177

178178#### Source

179179

180−```hoon

180+```reference

181181 ++ lone

182182 |*(a=mold [p=a])

183183```

@@ -210,7 +210,7 @@ A mold generator. Produces a tuple of two of the types passed in.

210210

211211#### Source

212212

213−```hoon

213+```reference

214214 ++ pair

215215 |*([a=mold b=mold] [p=a q=b])

216216```

@@ -235,7 +235,7 @@ A mold generator. A `list` without the faces `i` and `t`.

235235

236236#### Source

237237

238−```hoon

238+```reference

239239 ++ pole

240240 |*(a=mold $@($~ [a (pole a)]))

241241```

@@ -261,7 +261,7 @@ A mold generator. Produces a tuple of four of the types passed in.

261261

262262#### Source

263263

264−```hoon

264+```reference

265265 ++ qual

266266 |* [a=mold b=mold c=mold d=mold]

267267 [p=a q=b r=c s=d]

@@ -286,7 +286,7 @@ A mold generator. Produces a tuple of a `list` of `a` and the mold of `b`.

286286

287287#### Source

288288

289−```hoon

289+```reference

290290 ++ quip

291291 |*([a=mold b=mold] [(list a) b])

292292```

@@ -315,7 +315,7 @@ A trap is a core with one arm `$`.

315315

316316#### Source

317317

318−```hoon

318+```reference

319319 ++ trap

320320 |*(a=mold _|?(*a))

321321```

@@ -344,7 +344,7 @@ left/right sub `tree` of the same type. Pretty-printed with `{}`.

344344

345345#### Source

346346

347−```hoon

347+```reference

348348 ++ tree

349349 |*(a=mold $@($~ [n=a l=(tree a) r=(tree a)]))

350350```

@@ -366,7 +366,7 @@ A mold generator. A mold of the tuple of the three types passed in.

366366

367367#### Source

368368

369−```hoon

369+```reference

370370 ++ trel

371371 |*([a=mold b=mold c=mold] [p=a q=b r=c])

372372```

@@ -392,7 +392,7 @@ type that was passed in.

392392

393393#### Source

394394

395−```hoon

395+```reference

396396 ++ unit

397397 |*(a=mold $@($~ [$~ u=a]))

398398```

reference/library/2c.md+37−37

@@ -20,7 +20,7 @@ An atom.

2020

2121#### Source

2222

23−```hoon

23+```reference

2424 ++ bex

2525 ~/ %bex

2626 |= a=@

@@ -53,7 +53,7 @@ value.

5353

5454#### Accepts

5555

56−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

56+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

5757

5858`b` is a `list` of length-value pairs, `p` and `q`.

5959

@@ -63,7 +63,7 @@ An atom.

6363

6464#### Source

6565

66−```hoon

66+```reference

6767 ++ can

6868 ~/ %can

6969 |= [a=bloq b=(list [p=@ q=@])]

@@ -110,7 +110,7 @@ atom.

110110

111111#### Accepts

112112

113−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

113+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

114114

115115`b` is an atom.

116116

@@ -122,7 +122,7 @@ An atom.

122122

123123#### Source

124124

125−```hoon

125+```reference

126126 ++ cat

127127 ~/ %cat

128128 |= [a=bloq b=@ c=@]

@@ -173,7 +173,7 @@ Slices `c` blocks of size `a` that are positioned `b` blocks from the end of

173173

174174#### Accepts

175175

176−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

176+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

177177

178178`b` is an atom.

179179

@@ -187,7 +187,7 @@ An atom.

187187

188188#### Source

189189

190−```hoon

190+```reference

191191 ++ cut

192192 ~/ %cut

193193 |= [a=bloq [b=@u c=@u] d=@]

@@ -232,7 +232,7 @@ Produces an atom by taking the last `b` blocks of size `a` from `c`.

232232

233233#### Accepts

234234

235−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

235+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

236236

237237`b` is an atom.

238238

@@ -245,7 +245,7 @@ An atom.

245245

246246#### Source

247247

248−```hoon

248+```reference

249249 ++ end

250250 ~/ %end

251251 |= [a=bloq b=@u c=@]

@@ -299,7 +299,7 @@ Produces an atom by repeating `c` for `b` blocks of size `a`.

299299

300300#### Accepts

301301

302−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

302+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

303303

304304`b` is an atom.

305305

@@ -311,7 +311,7 @@ An atom.

311311

312312#### Source

313313

314−```hoon

314+```reference

315315 ++ fil

316316 |= [a=bloq b=@u c=@]

317317 =+ n=0

@@ -351,7 +351,7 @@ Produces an atom by left-shifting `c` by `b` blocks of size `a`.

351351

352352#### Accepts

353353

354−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

354+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

355355

356356`b` is an atom.

357357

@@ -363,7 +363,7 @@ An atom.

363363

364364#### Source

365365

366−```hoon

366+```reference

367367 ++ lsh

368368 ~/ %lsh

369369 |= [a=bloq b=@u c=@]

@@ -402,13 +402,13 @@ Computes the number of blocks of size `a` in `b`, producing an atom.

402402

403403#### Accepts

404404

405−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

405+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

406406

407407`b` is an atom.

408408

409409#### Source

410410

411−```hoon

411+```reference

412412 ++ met

413413 ~/ %met

414414 |= [a=bloq b=@]

@@ -448,7 +448,7 @@ Concatenates a list of atoms `b` using block size `a`, producing an atom.

448448

449449#### Accepts

450450

451−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

451+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

452452

453453`b` is a `list` of atoms.

454454

@@ -458,7 +458,7 @@ An atom.

458458

459459#### Source

460460

461−```hoon

461+```reference

462462 ++ rap

463463 ~/ %rap

464464 |= [a=bloq b=(list @)]

@@ -509,7 +509,7 @@ Produces an atom by assembling a list of atoms `b` using block size `a`.

509509

510510#### Accepts

511511

512−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

512+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

513513

514514`b` is a list of atoms.

515515

@@ -519,7 +519,7 @@ An atom.

519519

520520#### Source

521521

522−```hoon

522+```reference

523523 ++ rep

524524 ~/ %rep

525525 |= [a=bloq b=(list @)]

@@ -574,7 +574,7 @@ Produces a list of atoms from the bits of `b` using block size `a`.

574574

575575#### Accepts

576576

577−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

577+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

578578

579579`b` is an atom.

580580

@@ -584,7 +584,7 @@ A list of atoms.

584584

585585#### Source

586586

587−```hoon

587+```reference

588588 ++ rip

589589 ~/ %rip

590590 |= [a=bloq b=@]

@@ -634,7 +634,7 @@ Right-shifts `c` by `b` blocks of size `a`, producing an atom.

634634

635635#### Accepts

636636

637−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

637+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

638638

639639`b` is an atom.

640640

@@ -646,7 +646,7 @@ An atom.

646646

647647#### Source

648648

649−```hoon

649+```reference

650650 ++ rsh

651651 ~/ %rsh

652652 |= [a=bloq b=@u c=@]

@@ -702,7 +702,7 @@ reversing the block order of `b` using block size `a`.

702702

703703#### Accepts

704704

705−`a` is a block size (see [`++bloq`](@/docs/hoon/library/1c.md)).

705+`a` is a block size (see [`++bloq`](@/docs/reference/library/1c.md)).

706706

707707`b` is an atom.

708708

@@ -712,7 +712,7 @@ An atom

712712

713713#### Source

714714

715−```hoon

715+```reference

716716 ++ swp |=([a=bloq b=@] (rep a (flop (rip a b))))

717717```

718718

@@ -753,7 +753,7 @@ An atom.

753753

754754#### Source

755755

756−```hoon

756+```reference

757757 ++ xeb

758758 ~/ %xeb

759759 |= a=@

@@ -797,7 +797,7 @@ Core that contains arms for `bloq` and modular integer operations.

797797

798798#### Source

799799

800−```hoon

800+```reference

801801 |_ a=bloq

802802```

803803

@@ -821,7 +821,7 @@ A `@s`

821821

822822#### Source

823823

824−```hoon

824+```reference

825825 ++ dif |=([b=@ c=@] (sit (sub (add out (sit b)) (sit c))))

826826```

827827

@@ -862,7 +862,7 @@ Inverts the order of the modular field.

862862

863863#### Accepts

864864

865−`b` is a `bloq`. (see [`++bloq`](@/docs/hoon/library/1c.md))

865+`b` is a `bloq`. (see [`++bloq`](@/docs/reference/library/1c.md))

866866

867867#### Produces

868868

@@ -870,7 +870,7 @@ An atom.

870870

871871#### Source

872872

873−```hoon

873+```reference

874874 ++ inv |=(b=@ (sub (dec out) (sit b)))

875875```

876876

@@ -905,7 +905,7 @@ Reverses bytes within a block.

905905

906906#### Accepts

907907

908−`b` is a `bloq`. (see [`++bloq`](@/docs/hoon/library/1c.md))

908+`b` is a `bloq`. (see [`++bloq`](@/docs/reference/library/1c.md))

909909

910910#### Produces

911911

@@ -913,7 +913,7 @@ An atom.

913913

914914#### Source

915915

916−```hoon

916+```reference

917917 ++ net |= b=@ ^- @

918918 => .(b (sit b))

919919 ?: (lte a 3)

@@ -1002,7 +1002,7 @@ An atom.

10021002

10031003#### Source

10041004

1005−```hoon

1005+```reference

10061006 ++ out (bex (bex a))

10071007```

10081008

@@ -1057,7 +1057,7 @@ An atom.

10571057

10581058#### Source

10591059

1060−```hoon

1060+```reference

10611061 ++ rol |= [b=bloq c=@ d=@] ^- @

10621062 =+ e=(sit d)

10631063 =+ f=(bex (sub a b))

@@ -1107,7 +1107,7 @@ An atom.

11071107

11081108#### Source

11091109

1110−```hoon

1110+```reference

11111111 ++ ror |= [b=bloq c=@ d=@] ^- @

11121112 =+ e=(sit d)

11131113 =+ f=(bex (sub a b))

@@ -1156,7 +1156,7 @@ An atom.

11561156

11571157#### Source

11581158

1159−```hoon

1159+```reference

11601160 ++ sit |=(b=@ (end a 1 b))

11611161```

11621162

@@ -1219,7 +1219,7 @@ An atom.

12191219

12201220#### Source

12211221

1222−```hoon

1222+```reference

12231223 ++ sum |=([b=@ c=@] (sit (add b c)))

12241224```

12251225

reference/library/2d.md+6−6

@@ -22,7 +22,7 @@ An atom.

2222

2323#### Source

2424

25−```hoon

25+```reference

2626 ++ con

2727 ~/ %con

2828 |= [a=@ b=@]

@@ -117,7 +117,7 @@ An atom.

117117

118118#### Source

119119

120−```hoon

120+```reference

121121 ++ dis

122122 ~/ %dis

123123 |= [a=@ b=@]

@@ -205,7 +205,7 @@ An atom.

205205

206206#### Source

207207

208−```hoon

208+```reference

209209 ++ mix

210210 ~/ %mix

211211 |= [a=@ b=@]

@@ -281,7 +281,7 @@ of `c`.

281281

282282#### Accepts

283283

284−`a` is a block size (see [`bloq`](@/docs/hoon/library/1c.md)).

284+`a` is a block size (see [`bloq`](@/docs/reference/library/1c.md)).

285285

286286`b` is an atom.

287287

@@ -293,7 +293,7 @@ An atom.

293293

294294#### Source

295295

296−```hoon

296+```reference

297297 ++ not |= [a=bloq b=@ c=@]

298298 (mix c (dec (bex (mul b (bex a)))))

299299```

@@ -327,7 +327,7 @@ number's `0`s into `1`s, and vice versa.

327327

328328In Hoon, we ask for a little more information to use `not`, because binary

329329numbers have a number of implicit leading zeroes differently depending on on

330−their [block size](@/docs/hoon/library/1c.md). Decimal `7`, for example, is `0b111` in binary, and

330+their [block size](@/docs/reference/library/1c.md). Decimal `7`, for example, is `0b111` in binary, and

331331has one implicit zero in the context of a block of size `2`, which has a

332332bitwidth of 4. Let's try `not` on `7` with a single block of size `2`.

333333

reference/library/2e.md+6−6

@@ -9,7 +9,7 @@ aliases = ["/docs/reference/library/2e"]

99FNV scrambler

1010

1111Hashes an atom with the 32-bit FNV non-cryptographic hash algorithm. Multiplies

12−`a` by the prime number 16,777,619 and then takes the [block](@/docs/hoon/library/2c.md) of size

12+`a` by the prime number 16,777,619 and then takes the [block](@/docs/reference/library/2c.md) of size

13135 off the product's end, producing an atom.

1414

1515#### Accepts

@@ -22,7 +22,7 @@ An atom.

2222

2323#### Source

2424

25−```hoon

25+```reference

2626 ++ fnv |=(a=@ (end 5 1 (mul 16.777.619 a)))

2727```

2828

@@ -58,7 +58,7 @@ An atom.

5858

5959#### Source

6060

61−```hoon

61+```reference

6262 ++ mug

6363 ~/ %mug

6464 |= a=*

@@ -109,7 +109,7 @@ Standard MurmurHash3

109109Implementation of the 32-bit

110110[MurmurHash3](https://en.wikipedia.org/wiki/MurmurHash#Algorithm)

111111non-cryptographic hash algorithm. Takes `a` as the seed, `b` as the key length

112−in [blocks](@/docs/hoon/library/2c.md) of size 3, and `c` as the key, producing an atom.

112+in [blocks](@/docs/reference/library/2c.md) of size 3, and `c` as the key, producing an atom.

113113

114114#### Accepts

115115

@@ -125,7 +125,7 @@ An atom.

125125

126126#### Source

127127

128−```hoon

128+```reference

129129 ++ muk

130130 ~% %muk ..muk ~

131131 =+ ~(. fe 5)

@@ -236,7 +236,7 @@ An atom.

236236

237237#### Source

238238

239−```hoon

239+```reference

240240 ++ mum

241241 ~/ %mum

242242 |= a=*

reference/library/2f.md+10−10

@@ -22,7 +22,7 @@ A flag.

2222

2323#### Source

2424

25−```hoon

25+```reference

2626 ++ aor

2727 ~/ %aor

2828 |= [a=* b=*]

@@ -92,7 +92,7 @@ A flag.

9292

9393#### Source

9494

95−```hoon

95+```reference

9696 ++ dor

9797 ~/ %dor

9898 |= [a=* b=*]

@@ -131,7 +131,7 @@ A flag.

131131

132132#### Discussion

133133

134−If `a` and `b` are both atoms, `dor` is equivalent to [`lte`](@/docs/hoon/library/1a.md). If they're

134+If `a` and `b` are both atoms, `dor` is equivalent to [`lte`](@/docs/reference/library/1a.md). If they're

135135cells, `dor` recurses on the heads, and then if the heads are the same it checks

136136the tails.

137137

@@ -148,7 +148,7 @@ Computes whether of `(mug a)` and `(mug b)` are in ascending numeric order,

148148producing a flag. If the `mug` hashes are equal, `a` and `b` are compared by

149149`dor` instead.

150150

151−[`mug`](@/docs/hoon/library/2e.md) is the the 31-bit nonzero FNV-1a hash algorithm.

151+[`mug`](@/docs/reference/library/2e.md) is the the 31-bit nonzero FNV-1a hash algorithm.

152152

153153#### Accepts

154154

@@ -162,7 +162,7 @@ A flag.

162162

163163#### Source

164164

165−```hoon

165+```reference

166166 ++ gor

167167 ~/ %gor

168168 |= [a=* b=*]

@@ -243,7 +243,7 @@ A flag.

243243

244244#### Source

245245

246−```hoon

246+```reference

247247 ++ hor

248248 ~/ %hor

249249 |= [a=* b=*]

@@ -297,7 +297,7 @@ A flag.

297297#### Discussion

298298

299299Sets (+set, +in) use `hor` for their horizontal order and `vor` for their

300−vertical order. See [`apt:in`](@/docs/hoon/library/2h.md) to see how a set verifies its correctness.

300+vertical order. See [`apt:in`](@/docs/reference/library/2h.md) to see how a set verifies its correctness.

301301`vor` is used to verify.

302302

303303---

@@ -320,7 +320,7 @@ A flag.

320320

321321#### Source

322322

323−```hoon

323+```reference

324324 ++ lor

325325 ~/ %lor

326326 |= [a=* b=*]

@@ -378,7 +378,7 @@ Computes whether the double-hashes `(mug (mug a))` and `(mug (mug b))` are in

378378ascending numeric order, producing a flag. If the double-`mug` hashes are

379379equal, `a` and `b` are compared by `dor` instead.

380380

381−[`mug`](@/docs/hoon/library/2e.md) is the the 31-bit nonzero FNV-1a hash algorithm.

381+[`mug`](@/docs/reference/library/2e.md) is the the 31-bit nonzero FNV-1a hash algorithm.

382382

383383

384384#### Accepts

@@ -393,7 +393,7 @@ A flag.

393393

394394#### Source

395395

396−```hoon

396+```reference

397397 ++ vor

398398 ~/ %vor

399399 |= [a=* b=*]

reference/library/2h.md+19−19

@@ -17,7 +17,7 @@ A `set`.

1717

1818#### Source

1919

20−```hoon

20+```reference

2121 ++ in

2222 ~/ %in

2323 |_ a=(set)

@@ -49,7 +49,7 @@ A flag.

4949

5050#### Source

5151

52−```hoon

52+```reference

5353 +- all

5454 ~/ %all

5555 |* b=$-(* ?)

@@ -91,7 +91,7 @@ A flag.

9191

9292#### Source

9393

94−```hoon

94+```reference

9595 +- any

9696 ~/ %any

9797 |* b=$-(* ?)

@@ -131,7 +131,7 @@ A flag.

131131

132132#### Source

133133

134−```hoon

134+```reference

135135 +- apt

136136 =| [l=(unit) r=(unit)]

137137 |- ^- ?

@@ -164,7 +164,7 @@ A flag.

164164

165165#### Discussion

166166

167−See section [`2f`](@/docs/hoon/library/2f.md) for more information on noun ordering.

167+See section [`2f`](@/docs/reference/library/2f.md) for more information on noun ordering.

168168

169169---

170170### `+-bif:in`

@@ -185,7 +185,7 @@ A cell of two sets.

185185

186186#### Source

187187

188−```hoon

188+```reference

189189 +- bif

190190 ~/ %bif

191191 |* b=*

@@ -238,7 +238,7 @@ A set.

238238

239239#### Source

240240

241−```hoon

241+```reference

242242 +- del

243243 ~/ %del

244244 |* b=*

@@ -293,7 +293,7 @@ A set.

293293

294294#### Source

295295

296−```hoon

296+```reference

297297 +- dif

298298 ~/ %dif

299299 |* b=_a

@@ -348,7 +348,7 @@ The `unit` of an atom.

348348

349349#### Source

350350

351−```hoon

351+```reference

352352 +- dig

353353 |= b=*

354354 =+ c=1

@@ -383,7 +383,7 @@ The `unit` of an atom.

383383

384384#### Discussion

385385

386−For more on the tree addressing system, see section [1b](@/docs/hoon/library/1b.md).

386+For more on the tree addressing system, see section [1b](@/docs/reference/library/1b.md).

387387

388388---

389389### `+-gas:in`

@@ -404,7 +404,7 @@ A `set`.

404404

405405#### Source

406406

407−```hoon

407+```reference

408408 +- gas

409409 ~/ %gas

410410 |= b=(list _?>(?=(^ a) n.a))

@@ -448,7 +448,7 @@ A flag.

448448

449449#### Source

450450

451−```hoon

451+```reference

452452 +- has

453453 ~/ %has

454454 |* b=*

@@ -493,7 +493,7 @@ A `set`.

493493

494494#### Source

495495

496−```hoon

496+```reference

497497 +- int

498498 ~/ %int

499499 |* b=_a

@@ -544,7 +544,7 @@ A `set`.

544544

545545#### Source

546546

547−```hoon

547+```reference

548548 +- put

549549 ~/ %put

550550 |* b=*

@@ -597,7 +597,7 @@ A noun.

597597

598598#### Source

599599

600−```hoon

600+```reference

601601 +- rep :: replace by product

602602 |* b=_|=([* *] +<+)

603603 |-

@@ -636,7 +636,7 @@ A set.

636636

637637#### Source

638638

639−```hoon

639+```reference

640640 +- run

641641 ~/ %run

642642 |* b=gate

@@ -675,7 +675,7 @@ A list.

675675

676676#### Source

677677

678−```hoon

678+```reference

679679 +- tap

680680 ~/ %tap

681681 |= b=(list _?>(?=(^ a) n.a))

@@ -717,7 +717,7 @@ A set.

717717

718718#### Source

719719

720−```hoon

720+```reference

721721 +- uni

722722 ~/ %uni

723723 |* b=_a

@@ -775,7 +775,7 @@ An atom.

775775

776776#### Source

777777

778−```hoon

778+```reference

779779 +- wyt :: size of set

780780 |- ^- @

781781 ?~(a 0 +((add $(a l.a) $(a r.a))))

reference/library/2i.md+25−25

@@ -17,7 +17,7 @@ contained arms inherit its sample map, `a`.

1717

1818#### Source

1919

20−```hoon

20+```reference

2121 ++ by

2222 ~/ %by

2323 =| a=(tree (pair))

@@ -61,7 +61,7 @@ A flag.

6161

6262#### Source

6363

64−```hoon

64+```reference

6565 +- all

6666 ~/ %all

6767 |* b=$-(* ?)

@@ -106,7 +106,7 @@ A flag.

106106

107107#### Source

108108

109−```hoon

109+```reference

110110 +- any

111111 ~/ %any

112112 |* b=$-(* ?)

@@ -146,7 +146,7 @@ A flag.

146146

147147#### Source

148148

149−```hoon

149+```reference

150150 +- apt

151151 =| [l=(unit) r=(unit)]

152152 |- ^- ?

@@ -176,7 +176,7 @@ A flag.

176176

177177#### Discussion

178178

179−See section [`2f`](@/docs/hoon/library/2f.md) for more information on noun ordering.

179+See section [`2f`](@/docs/reference/library/2f.md) for more information on noun ordering.

180180

181181### `+-bif:by`

182182

@@ -198,7 +198,7 @@ A cell of two maps.

198198

199199#### Source

200200

201−```hoon

201+```reference

202202 +- bif

203203 ~/ %bif

204204 |* [b=* c=*]

@@ -245,7 +245,7 @@ A map.

245245

246246#### Source

247247

248−```hoon

248+```reference

249249 +- def

250250 |* b=_a

251251 ^- (map _p:node (pair (unit _q:node) (unit _q:node)))

@@ -272,7 +272,7 @@ A cell of maps.

272272

273273#### Source

274274

275−```hoon

275+```reference

276276 +- dep

277277 |* b=_a

278278 ^+ [p=a q=a]

@@ -310,7 +310,7 @@ A map.

310310

311311#### Source

312312

313−```hoon

313+```reference

314314 +- del

315315 ~/ %del

316316 |* b=*

@@ -356,7 +356,7 @@ A unit.

356356

357357#### Source

358358

359−```hoon

359+```reference

360360 +- dig

361361 |= b=*

362362 =+ c=1

@@ -395,7 +395,7 @@ A map.

395395

396396#### Source

397397

398−```hoon

398+```reference

399399 +- gas

400400 ~/ %gas

401401 |* b=(list [p=* q=*])

@@ -435,7 +435,7 @@ A unit.

435435

436436#### Source

437437

438−```hoon

438+```reference

439439 +- get

440440 ~/ %get

441441 |= b=*

@@ -483,7 +483,7 @@ A noun.

483483

484484#### Source

485485

486−```hoon

486+```reference

487487 +- got

488488 |* b=*

489489 (need (get b))

@@ -522,7 +522,7 @@ A flag.

522522

523523#### Source

524524

525−```hoon

525+```reference

526526 +- has

527527 ~/ %has

528528 |* b=*

@@ -561,7 +561,7 @@ A map.

561561

562562#### Source

563563

564−```hoon

564+```reference

565565 +- int

566566 ~/ %int

567567 |* b=_a

@@ -633,7 +633,7 @@ A map.

633633

634634#### Assert and Add

635635

636−```hoon

636+```reference

637637 +- mar

638638 |* [b=_?>(?=(^ a) p.n.a) c=(unit ,_?>(?=(^ a) q.n.a))]

639639 ?~ c

@@ -676,7 +676,7 @@ A map.

676676

677677#### Source

678678

679−```hoon

679+```reference

680680 +- put

681681 ~/ %put

682682 |* [b=* c=*]

@@ -737,7 +737,7 @@ A noun.

737737

738738#### Source

739739

740−```hoon

740+```reference

741741 +- rep

742742 |* b=_|=([* *] +<+)

743743 |-

@@ -772,7 +772,7 @@ A cell of nouns.

772772

773773#### Source

774774

775−```hoon

775+```reference

776776 +- rib

777777 |* [b=* c=gate]

778778 |- ^+ [b a]

@@ -812,7 +812,7 @@ A map.

812812

813813#### Source

814814

815−```hoon

815+```reference

816816 +- run

817817 |* b=gate

818818 |-

@@ -851,7 +851,7 @@ A map.

851851

852852#### Source

853853

854−```hoon

854+```reference

855855 +- rut

856856 |* b=gate

857857 |-

@@ -885,7 +885,7 @@ A list.

885885

886886#### Source

887887

888−```hoon

888+```reference

889889 +- tap

890890 =< $

891891 ~/ %tap

@@ -930,7 +930,7 @@ A map.

930930

931931#### Source

932932

933−```hoon

933+```reference

934934 +- uni

935935 ~/ %uni

936936 |* b=_a

@@ -991,7 +991,7 @@ A noun.

991991

992992#### Source

993993

994−```hoon

994+```reference

995995 +- urn

996996 |* b=$-({* *} *)

997997 |-

@@ -1033,7 +1033,7 @@ An atom.

10331033

10341034#### Source

10351035

1036−```hoon

1036+```reference

10371037 +- wyt

10381038 |- ^- @

10391039 ?~(a 0 +((add $(a l.a) $(a r.a))))

reference/library/2o.md+10−10

@@ -10,7 +10,7 @@ Mold generator. A `jar` is a `map` of `list`.

1010

1111#### Source

1212

13−```hoon

13+```reference

1414 ++ jar |*([a=mold b=mold] (map a (list b)))

1515```

1616

@@ -38,7 +38,7 @@ Mold generator. A `jar` is a `map` of `list`.

3838

3939#### Discussion

4040

41−See also: [`ja`](@/docs/hoon/library/2j.md), [`by`](@/docs/hoon/library/2i.md), [`map`](@/docs/hoon/library/2i.md), [`list`](@/docs/hoon/library/2b.md)

41+See also: [`ja`](@/docs/reference/library/2j.md), [`by`](@/docs/reference/library/2i.md), [`map`](@/docs/reference/library/2i.md), [`list`](@/docs/reference/library/2b.md)

4242

4343---

4444### `++jug`

@@ -47,7 +47,7 @@ Mold generator. A `jug` is a `map` of `set`.

4747

4848#### Source

4949

50−```hoon

50+```reference

5151 ++ jug |*([a=mold b=mold] (map a (set b)))

5252```

5353

@@ -78,7 +78,7 @@ Mold generator. A `jug` is a `map` of `set`.

7878

7979#### Discussion

8080

81−See also: [`ja`](@/docs/hoon/library/2j.md), [`by`](@/docs/hoon/library/2i.md), [`set`](@/docs/hoon/library/2h.md)

81+See also: [`ja`](@/docs/reference/library/2j.md), [`by`](@/docs/reference/library/2i.md), [`set`](@/docs/reference/library/2h.md)

8282

8383---

8484### `++map`

@@ -91,7 +91,7 @@ key-value pairs.

9191

9292#### Source

9393

94−```hoon

94+```reference

9595 ++ map |* [a=mold b=mold]

9696 %+ cork (tree (pair a b))

9797 |= c=(tree (pair a b)) ^+ c

@@ -111,7 +111,7 @@ key-value pairs.

111111

112112#### Discussion

113113

114−See also: [`by`](@/docs/hoon/library/2i.md)

114+See also: [`by`](@/docs/reference/library/2i.md)

115115

116116---

117117### `++qeu`

@@ -123,7 +123,7 @@ items.

123123

124124#### Source

125125

126−```hoon

126+```reference

127127 ++ qeu |*(a=mold (tree a))

128128```

129129

@@ -148,7 +148,7 @@ items.

148148

149149#### Discussion

150150

151−See also: [`qeu`](@/docs/hoon/library/2k.md)

151+See also: [`qeu`](@/docs/reference/library/2k.md)

152152

153153---

154154### `++set`

@@ -160,7 +160,7 @@ items.

160160

161161#### Source

162162

163−```hoon

163+```reference

164164 ++ set |* a=mold

165165 %+ cork (tree a)

166166 |= b=(tree a) ^+ b

@@ -182,6 +182,6 @@ items.

182182

183183#### Discussion

184184

185−See also: [`in`](@/docs/hoon/library/2h.md)

185+See also: [`in`](@/docs/reference/library/2h.md)

186186

187187---

reference/library/2q.md+13−13

@@ -14,7 +14,7 @@ consume `tape`s, which are lists of `char`.

1414

1515#### Source

1616

17−```hoon

17+```reference

1818 ++ char @tD

1919```

2020

@@ -38,7 +38,7 @@ atom of UTF-8 text.

3838

3939#### Source

4040

41−```hoon

41+```reference

4242 ++ cord @t

4343```

4444

@@ -66,7 +66,7 @@ atom of UTF-8 text.

6666Aura `@t` designates a Unicode atom, little-endian: the first character

6767in the text is the least-significant byte.

6868

69−[`trip`](@/docs/hoon/library/4b.md) converts from `cord` to `tape`, and [`crip`](@/docs/hoon/library/4b.md) converts

69+[`trip`](@/docs/reference/library/4b.md) converts from `cord` to `tape`, and [`crip`](@/docs/reference/library/4b.md) converts

7070from `tape` to `cord`.

7171

7272

@@ -81,7 +81,7 @@ which is a day atom and a time.

8181

8282#### Source

8383

84−```hoon

84+```reference

8585 ++ date [[a=? y=@ud] m=@ud t=tarp]

8686```

8787

@@ -101,7 +101,7 @@ which is a day atom and a time.

101101

102102#### Discussion

103103

104−See also: [`year`](@/docs/hoon/library/3c.md), [`yore`](@/docs/hoon/library/3c.md)

104+See also: [`year`](@/docs/reference/library/3c.md), [`yore`](@/docs/reference/library/3c.md)

105105

106106---

107107### `++knot`

@@ -112,7 +112,7 @@ An atom type that only permits ASCII characters.

112112

113113#### Source

114114

115−```hoon

115+```reference

116116

117117 ++ knot @ta

118118```

@@ -137,7 +137,7 @@ traces.

137137

138138#### Source

139139

140−```hoon

140+```reference

141141 ++ tang (list tank)

142142```

143143

@@ -173,7 +173,7 @@ without back-steps at new lines.

173173

174174#### Source

175175

176−```hoon

176+```reference

177177 ++ tank $% [$leaf p=tape]

178178 $: $palm

179179 p=[p=tape q=tape r=tape s=tape]

@@ -227,7 +227,7 @@ One of Hoon's two string types, the other being `++cord`. A tape is a list of

227227

228228#### Source

229229

230−```hoon

230+```reference

231231 ++ tape (list @tD)

232232```

233233

@@ -260,7 +260,7 @@ for precision.

260260

261261#### Source

262262

263−```hoon

263+```reference

264264 ++ tarp [d=@ud h=@ud m=@ud s=@ud f=(list @ux)]

265265```

266266

@@ -295,7 +295,7 @@ special syntax, `$`.

295295

296296#### Source

297297

298−```hoon

298+```reference

299299 ++ term @tas

300300```

301301

@@ -326,7 +326,7 @@ A list of `cord`s. A `wain` is used instead of a single `cord` with `\n`.

326326

327327#### Source

328328

329−```hoon

329+```reference

330330 ++ wain (list cord)

331331```

332332

@@ -349,7 +349,7 @@ A list of `tape`s. `wall` is used instead of a single `tape` with `\n`.

349349

350350#### Source

351351

352−```hoon

352+```reference

353353 ++ wall (list tape)

354354```

355355#### Examples

reference/library/3d.md+17−17

@@ -21,7 +21,7 @@ An atom.

2121

2222#### Source

2323

24−```hoon

24+```reference

2525 ++ shad |=(ruz=@ (shax (shax ruz)))

2626```

2727

@@ -38,7 +38,7 @@ An atom.

3838

3939Half SHA-256

4040

41−Produces a 128-bit atom by performing the [bitwise XOR](@/docs/hoon/library/2d.md) on the

41+Produces a 128-bit atom by performing the [bitwise XOR](@/docs/reference/library/2d.md) on the

4242first and last halves of the 256-bit salted hash `shas`.

4343

4444#### Accepts

@@ -49,7 +49,7 @@ first and last halves of the 256-bit salted hash `shas`.

4949

5050#### Source

5151

52−```hoon

52+```reference

5353 ++ shaf :: half sha-256

5454 |= [sal=@ ruz=@]

5555 =+ haz=(shas sal ruz)

@@ -88,7 +88,7 @@ An atom.

8888

8989#### Source

9090

91−```hoon

91+```reference

9292 ++ shal

9393 ~/ %shal

9494 |= [len=@ ruz=@] ^- @

@@ -243,7 +243,7 @@ An atom.

243243

244244#### Source

245245

246−```hoon

246+```reference

247247 ++ sham

248248 |= yux=* ^- @uvH ^- @

249249 ?@ yux

@@ -279,7 +279,7 @@ An atom.

279279

280280#### Source

281281

282−```hoon

282+```reference

283283 ++ shan

284284 |= ruz=@

285285 =+ [few==>(fe .(a 5)) wac=|=([a=@ b=@] (cut 5 [a 1] b))]

@@ -363,7 +363,7 @@ SHA-1 is a deprecated function; it is not considered secure.

363363

364364Salted hash

365365

366−Produces an atom by using SHA-256 plus a salt input. The [bitwise XOR](@/docs/hoon/library/2d.md)

366+Produces an atom by using SHA-256 plus a salt input. The [bitwise XOR](@/docs/reference/library/2d.md)

367367is performed on `sal` and the product of `ruz` hashed with SHA-256. The product

368368of that logical operation is then itself hashed with SHA-256.

369369

@@ -375,7 +375,7 @@ of that logical operation is then itself hashed with SHA-256.

375375

376376#### Source

377377

378−```hoon

378+```reference

379379 ++ shas

380380 |= [sal=@ ruz=@]

381381 (shax (mix sal (shax ruz)))

@@ -412,7 +412,7 @@ An atom.

412412

413413#### Source

414414

415−```hoon

415+```reference

416416 ++ shaw

417417 |= [sal=@ len=@ ruz=@]

418418 (~(raw og (shas sal (mix len ruz))) len)

@@ -437,7 +437,7 @@ Produces an atom by hashing an atom `ruz` with SHA-256.

437437

438438#### Sources

439439

440−```hoon

440+```reference

441441 ++ shax

442442 ~/ %shax

443443 |= ruz=@ ^- @

@@ -469,7 +469,7 @@ the byte-length of the theoretical buffer represented by the atom.

469469

470470#### Source

471471

472−```hoon

472+```reference

473473 ++ shay

474474 ~/ %shay

475475 |= [len=@u ruz=@] ^- @

@@ -594,7 +594,7 @@ An atom.

594594

595595#### Source

596596

597−```hoon

597+```reference

598598 ++ shaz

599599 |= ruz=@ ^- @

600600 (shal [(met 3 ruz) ruz])

@@ -626,7 +626,7 @@ A core.

626626

627627#### Source

628628

629−```hoon

629+```reference

630630 ++ og

631631 ~/ %og

632632 |_ a=@

@@ -663,7 +663,7 @@ An atom.

663663

664664#### Source

665665

666−```hoon

666+```reference

667667 ++ rad

668668 |= b=@ ^- @

669669 =+ c=(raw (met 0 b))

@@ -705,7 +705,7 @@ A cell.

705705

706706#### Source

707707

708−```hoon

708+```reference

709709 ++ rads

710710 |= b=@

711711 =+ r=(rad b)

@@ -748,7 +748,7 @@ An atom.

748748

749749#### Source

750750

751−```hoon

751+```reference

752752 ++ raw

753753 ~/ %raw

754754 |= b=@ ^- @

@@ -791,7 +791,7 @@ parent core with `(raw b)`.

791791

792792#### Source

793793

794−```hoon

794+```reference

795795 ++ raws

796796 |= b=@

797797 =+ r=(raw b)

reference/library/3f.md+20−20

@@ -13,7 +13,7 @@ Used in the `@p` phonetic base.

1313

1414#### Source

1515

16−```hoon

16+```reference

1717 ++ un

1818 |%

1919```

@@ -37,7 +37,7 @@ An atom.

3737

3838#### Source

3939

40−```hoon

40+```reference

4141 ++ wren

4242 |= pyn=@ ^- @

4343 =+ len=(met 3 pyn)

@@ -89,7 +89,7 @@ An atom.

8989

9090#### Source

9191

92−```hoon

92+```reference

9393 ++ wred

9494 |= cry=@ ^- @

9595 =+ len=(met 3 cry)

@@ -142,7 +142,7 @@ An atom.

142142

143143#### Source

144144

145−```hoon

145+```reference

146146 ++ xafo |=([a=@ b=@] +((mod (add (dec b) a) 255)))

147147```

148148

@@ -179,7 +179,7 @@ An atom.

179179

180180#### Source

181181

182−```hoon

182+```reference

183183 ++ xaro |=([a=@ b=@] +((mod (add (dec b) (sub 255 (mod a 255))) 255)))

184184```

185185

@@ -214,7 +214,7 @@ An atom.

214214

215215#### Source

216216

217−```hoon

217+```reference

218218 ++ zaft

219219 |= a=@D

220220 =+ ^= b

@@ -266,7 +266,7 @@ An atom.

266266

267267#### Source

268268

269−```hoon

269+```reference

270270 ++ zart :: reverse 255-sbox

271271 |= a=@D

272272 =+ ^= b

@@ -316,7 +316,7 @@ An atom.

316316

317317#### Source

318318

319−```hoon

319+```reference

320320 ++ zyft :: forward 256-sbox

321321 |= a=@D

322322 =+ ^= b

@@ -369,7 +369,7 @@ An atom.

369369

370370#### Source

371371

372−```hoon

372+```reference

373373 ++ zyrt :: reverse 256-sbox

374374 |= a=@D

375375 =+ ^= b

@@ -408,7 +408,7 @@ An atom.

408408

409409Reversible scrambling, v2

410410

411−```hoon

411+```reference

412412 ++ ob

413413 |%

414414```

@@ -435,7 +435,7 @@ An atom.

435435

436436#### Source

437437

438−```hoon

438+```reference

439439 ++ feen

440440 |= pyn=@ ^- @

441441 ?: &((gte pyn 0x1.0000) (lte pyn 0xffff.ffff))

@@ -485,7 +485,7 @@ An atom.

485485

486486#### Source

487487

488−```hoon

488+```reference

489489 ++ fend

490490 |= cry=@ ^- @

491491 ?: &((gte cry 0x1.0000) (lte cry 0xffff.ffff))

@@ -538,7 +538,7 @@ An atom.

538538

539539#### Source

540540

541−```hoon

541+```reference

542542 ++ fice :: adapted from

543543 |= nor=@ :: black and rogaway

544544 ^- @ :: "ciphers with

@@ -581,7 +581,7 @@ An atom.

581581

582582#### Source

583583

584−```hoon

584+```reference

585585 ++ teil :: reverse ++fice

586586 |= vip=@

587587 ^- @

@@ -610,7 +610,7 @@ An atom.

610610

611611Reverse Feistel-like cipher

612612

613−A single round of the Feistel-like cipher `fice`. AES ([`aesc`](@/docs/hoon/library/3f.md)) is

613+A single round of the Feistel-like cipher `fice`. AES ([`aesc`](@/docs/reference/library/3f.md)) is

614614used as the round function. The inverse of `rund`.

615615

616616#### Accepts

@@ -627,7 +627,7 @@ A cell of two atoms.

627627

628628#### Source

629629

630−```hoon

630+```reference

631631 ++ rynd

632632 |= [n=@ l=@ r=@]

633633 ^- [@ @]

@@ -652,7 +652,7 @@ A cell of two atoms.

652652

653653Reverse single Feistel-like

654654

655−A single round of the Feistel-like reverse cipher `teil`. AES ([`aesc`](@/docs/hoon/library/3f.md))

655+A single round of the Feistel-like reverse cipher `teil`. AES ([`aesc`](@/docs/reference/library/3f.md))

656656is used as the round function. The inverse of `rynd`.

657657

658658#### Accepts

@@ -669,7 +669,7 @@ A cell of two atoms.

669669

670670#### Source

671671

672−```hoon

672+```reference

673673 ++ rund

674674 |= [n=@ l=@ r=@]

675675 ^- [@ @]

@@ -694,7 +694,7 @@ A cell of two atoms.

694694

695695Key list

696696

697−Produces a list of arbitrary hexademical keys for use with [`aesc`](@/docs/hoon/library/3f.md).

697+Produces a list of arbitrary hexademical keys for use with [`aesc`](@/docs/reference/library/3f.md).

698698

699699#### Produces

700700

@@ -702,7 +702,7 @@ A list of atoms of aura `@ux` (hexadecimal).

702702

703703#### Source

704704

705−```hoon

705+```reference

706706 ++ raku

707707 ^- (list @ux)

708708 :~ 0xb76d.5eed

reference/library/3g.md+17−17

@@ -14,7 +14,7 @@ and printed using `++so` and `++co` cores.

1414

1515#### Source

1616

17−```hoon

17+```reference

1818 ++ coin $% [$$ p=dime]

1919 [$blob p=*]

2020 [$many p=(list coin)]

@@ -52,14 +52,14 @@ and printed using `++so` and `++co` cores.

5252

5353Aura-atom pair

5454

55−Used in `++coin`. Convenience methods [`++scot`](@/docs/hoon/library/4m.md) and

56−[`++scow`](@/docs/hoon/library/4m.md) print dimes as `++cord` and `++tape`, respectively.

57−[`++slat`](@/docs/hoon/library/4m.md), [`++slav`](@/docs/hoon/library/4m.md), and [`++slaw`](@/docs/hoon/library/4m.md) are used

55+Used in `++coin`. Convenience methods [`++scot`](@/docs/reference/library/4m.md) and

56+[`++scow`](@/docs/reference/library/4m.md) print dimes as `++cord` and `++tape`, respectively.

57+[`++slat`](@/docs/reference/library/4m.md), [`++slav`](@/docs/reference/library/4m.md), and [`++slaw`](@/docs/reference/library/4m.md) are used

5858to parse atoms of specific auras.

5959

6060#### Source

6161

62−```hoon

62+```reference

6363 ++ dime [p=@ta q=@]

6464```

6565

@@ -79,7 +79,7 @@ Optional result `p` and parsing continuation `q`.

7979

8080#### Source

8181

82−```hoon

82+```reference

8383 ++ hair [p=@ud q=@ud]

8484```

8585

@@ -95,7 +95,7 @@ Optional result `p` and parsing continuation `q`.

9595

9696#### Discussion

9797

98−See also: [Section 2e](@/docs/hoon/library/2e.md), `++rule`

98+See also: [Section 2e](@/docs/reference/library/2e.md), `++rule`

9999

100100

101101---

@@ -107,7 +107,7 @@ A pair of two `@ud` used in parsing indicating line and column number.

107107

108108#### Source

109109

110−```hoon

110+```reference

111111 ++ hair [p=@ud q=@ud]

112112```

113113

@@ -136,7 +136,7 @@ Generates an `++edge` with a parsed result set to a specific type.

136136

137137#### Source

138138

139−```hoon

139+```reference

140140 ++ like |* a=gate

141141 |= b=_`*`[(hair) ~]

142142 :- p=(hair -.b)

@@ -170,7 +170,7 @@ Indicates parsing position `p`, and remaining text to be parsed `q`.

170170

171171#### Source

172172

173−```hoon

173+```reference

174174 ++ nail [p=hair q=tape]

175175```

176176

@@ -190,7 +190,7 @@ A list of `++knot`s. `++knot` is another name for `@ta`.

190190

191191#### Source

192192

193−```hoon

193+```reference

194194 ++ path (list knot)

195195```

196196

@@ -215,7 +215,7 @@ stack traces.

215215

216216#### Source

217217

218−```hoon

218+```reference

219219 ++ pint [p=[p=@ q=@] q=[p=@ q=@]]

220220```

221221

@@ -240,7 +240,7 @@ An empty parsing rule, but used to check that parsing rules match this with `_`.

240240

241241#### Source

242242

243−```hoon

243+```reference

244244 ++ rule _|=(nail *edge)

245245```

246246

@@ -260,7 +260,7 @@ The stack trace that is printed after crashing.

260260

261261#### Source

262262

263−```hoon

263+```reference

264264 ++ spot [p=path q=pint]

265265```

266266

@@ -283,7 +283,7 @@ or failure with an error report (`%2`).

283283

284284#### Source

285285

286−```hoon

286+```reference

287287 ++ tone $% [$0 p=*] :: success

288288 [$1 p=(list)] :: blocks

289289 [$2 p=(list [@ta *])] :: error report

@@ -331,7 +331,7 @@ or failure with a stack trace (`%2`).

331331

332332#### Source

333333

334−```hoon

334+```reference

335335 ++ toon $% [$0 p=*] :: success

336336 [$1 p=(list)] :: blocks

337337 [$2 p=(list tank)] :: stack trace

@@ -357,7 +357,7 @@ Pull result out of a `++edge`, or crash if there's no result.

357357

358358#### Source

359359

360−```hoon

360+```reference

361361 ++ wonk |*(veq=edge ?~(q.veq !! p.u.q.veq))

362362```

363363

reference/library/4h.md+34−34

@@ -12,7 +12,7 @@ Parses ASCII character 32, space.

1212

1313#### Source

1414

15−```hoon

15+```reference

1616 ++ ace (just ' ')

1717```

1818

@@ -43,7 +43,7 @@ Parses ASCII character 124, the vertical bar.

4343

4444#### Source

4545

46−```hoon

46+```reference

4747 ++ bar (just '|')

4848```

4949

@@ -70,12 +70,12 @@ Parses ASCII character 124, the vertical bar.

7070Parse backslash

7171

7272Parses ASCII character 92, the backslash. Note the extra `\` in the calling of

73−`bas` with [`++just`](@/docs/hoon/library/4f.md) is to escape the escape

73+`bas` with [`++just`](@/docs/reference/library/4f.md) is to escape the escape

7474character, `\`.

7575

7676#### Source

7777

78−```hoon

78+```reference

7979 ++ bas (just '\\')

8080```

8181

@@ -108,7 +108,7 @@ Parses ASCII character 36, the dollar sign.

108108

109109#### Source

110110

111−```hoon

111+```reference

112112 ++ buc (just '$')

113113```

114114

@@ -138,7 +138,7 @@ Parses ASCII character 95, the underscore.

138138

139139#### Source

140140

141−```hoon

141+```reference

142142 ++ cab (just '_')

143143```

144144

@@ -168,7 +168,7 @@ Parses ASCII character 37, the percent sign.

168168

169169#### Source

170170

171−```hoon

171+```reference

172172 ++ cen (just '%')

173173```

174174

@@ -198,7 +198,7 @@ Parses ASCII character 58, the colon

198198

199199#### Source

200200

201−```hoon

201+```reference

202202 ++ col (just ':')

203203```

204204

@@ -227,7 +227,7 @@ Parses ASCII character 44, the comma.

227227

228228#### Source

229229

230−```hoon

230+```reference

231231 ++ com (just ',')

232232```

233233

@@ -257,7 +257,7 @@ Parses ASCII character 34, the double quote.

257257

258258#### Source

259259

260−```hoon

260+```reference

261261 ++ doq (just '"')

262262```

263263

@@ -292,7 +292,7 @@ Parses ASCII character 46, the period.

292292

293293#### Source

294294

295−```hoon

295+```reference

296296 ++ dot (just '.')

297297```

298298

@@ -322,7 +322,7 @@ Parses ASCII character 47, the forward slash.

322322

323323#### Source

324324

325−```hoon

325+```reference

326326 ++ fas (just '/')

327327```

328328

@@ -349,7 +349,7 @@ Parses ASCII character 60, the less-than sign.

349349

350350#### Source

351351

352−```hoon

352+```reference

353353 ++ gal (just '<')

354354```

355355

@@ -379,7 +379,7 @@ Parses ASCII character 62, the greater-than sign.

379379

380380#### Source

381381

382−```hoon

382+```reference

383383 ++ gar (just '>')

384384```

385385

@@ -409,7 +409,7 @@ Parses ASCII character 35, the number sign.

409409

410410#### Source

411411

412−```hoon

412+```reference

413413 ++ hax (just '#')

414414```

415415

@@ -436,7 +436,7 @@ Parses ASCII character 45, the hyphen.

436436

437437#### Source

438438

439−```hoon

439+```reference

440440 ++ hep (just '-')

441441```

442442

@@ -465,7 +465,7 @@ interpolation. To parse either of them, they must be escaped.

465465

466466#### Source

467467

468−```hoon

468+```reference

469469 ++ kel (just '{')

470470```

471471

@@ -494,7 +494,7 @@ interpolation. To parse either of them, they must be escaped.

494494

495495#### Source

496496

497−```hoon

497+```reference

498498 ++ ker (just '}')

499499```

500500

@@ -521,7 +521,7 @@ Parses ASCII character 94, the caret.

521521

522522#### Source

523523

524−```hoon

524+```reference

525525 ++ ket (just '^')

526526```

527527

@@ -547,7 +547,7 @@ Parses ASCII character 43, the plus sign.

547547

548548#### Source

549549

550−```hoon

550+```reference

551551 ++ lus (just '+')

552552```

553553

@@ -577,7 +577,7 @@ Parses ASCII character 38, the ampersand.

577577

578578#### Source

579579

580−```hoon

580+```reference

581581 ++ pam (just '&')

582582```

583583

@@ -607,7 +607,7 @@ Parses ASCII character 64, the "at" sign.

607607

608608#### Source

609609

610−```hoon

610+```reference

611611 ++ pat (just '@')

612612```

613613

@@ -637,7 +637,7 @@ Parses ASCII character 40, the left parenthesis.

637637

638638#### Source

639639

640−```hoon

640+```reference

641641 ++ pel (just '(')

642642```

643643

@@ -664,7 +664,7 @@ Parses ASCII character 41, the right parenthesis.

664664

665665#### Source

666666

667−```hoon

667+```reference

668668 ++ per (just ')')

669669```

670670

@@ -691,7 +691,7 @@ Parses ASCII character 91, the left square bracket.

691691

692692#### Source

693693

694−```hoon

694+```reference

695695 ++ sel (just '[')

696696```

697697

@@ -718,7 +718,7 @@ Parses ASCII character 59, the semicolon.

718718

719719#### Source

720720

721−```hoon

721+```reference

722722 ++ sem (just ';')

723723```

724724

@@ -745,7 +745,7 @@ Parses ASCII character 93, the right square bracket.

745745

746746#### Source

747747

748−```hoon

748+```reference

749749 ++ ser (just ']')

750750```

751751

@@ -772,7 +772,7 @@ Parses ASCII character 126, the tilde.

772772

773773#### Source

774774

775−```hoon

775+```reference

776776 ++ sig (just '~')

777777```

778778

@@ -800,7 +800,7 @@ Parses ASCII character 39, soq. Note the extra '' is to escape the first

800800

801801#### Source

802802

803−```hoon

803+```reference

804804 ++ soq (just '\'')

805805```

806806

@@ -827,7 +827,7 @@ Parses ASCII character 42, the asterisk.

827827

828828#### Source

829829

830−```hoon

830+```reference

831831 ++ tar (just '*')

832832```

833833

@@ -858,7 +858,7 @@ accent").

858858

859859#### Source

860860

861−```hoon

861+```reference

862862 ++ tec (just '`') :: backTiCk

863863```

864864

@@ -888,7 +888,7 @@ Parses ASCII character 61, the equals sign.

888888

889889#### Source

890890

891−```hoon

891+```reference

892892 ++ tis (just '=')

893893```

894894

@@ -914,7 +914,7 @@ Parses ASCII character 63, the question mark.

914914

915915#### Source

916916

917−```hoon

917+```reference

918918 ++ wut (just '?')

919919```

920920

@@ -941,7 +941,7 @@ Parses ASCII character 33, the exclamation point zap.

941941

942942#### Source

943943

944−```hoon

944+```reference

945945 ++ zap (just '!')

946946```

947947

tutorials/nock/implementations.md+1−1

@@ -34,7 +34,7 @@ We use a C implementation for our Nock interpreter. But building a Nock interpre

3434

3535The actual production Nock interpreter. Note gotos for tail-call elimination,

3636and manual reference counting. More about the C environment can be found

37−in the [runtime system documentation](@/docs/vere/runtime.md).

37+in the [runtime system documentation](@/docs/learn/vere/runtime.md).

3838```

3939/* _n_nock_on(): produce .*(bus fol). Do not virtualize.

4040*/