12f5186 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

runes: change syntax to html tables

12f5186Tinnus Napbus5 years ago

content/docs/hoon/reference/rune/bar.md+217−154

compare with master

unifiedsplit

@@ -21,22 +21,30 @@ Declares a mold builder wet gate with one or more molds as its sample.

22Two arguments, fixed.

24+<table>

25+<tr><th>Form</th><th>Syntax</th></tr>

26+<tr>

24−Tall form:

27+<td>Tall</td>

25−

28+<td>

26−```hoon

29+<pre>

27|$ sample

30|$ sample

28body

31body

29−```

32+</pre>

30−

33+</td>

34+</tr>

35+<tr>

31−Wide form:

36+<td>Wide</td>

32−

37+<td>

33−```hoon

38+<pre>

34|$(sample body)

39|$(sample body)

35−```

40+</pre>

36−

41+</td>

42+</tr>

43+<tr>

37−Irregular form:

44+<td>Irregular</td>

38−

39−None.

45+<td>None.</td>

46+</tr>

47+</table>

41#### AST

49#### AST

@@ -109,27 +117,27 @@ Produce a **door** (a core with a sample).

109

117

110One fixed argument, then a variable number of `+`-family expressions.

118One fixed argument, then a variable number of `+`-family expressions.

111

119

120+<table>

121+<tr><th>Form</th><th>Syntax</th></tr>

122+<tr>

112−Tall form:

123+<td>Tall</td>

113−

124+<td>

114−```hoon

125+<pre>

115|_ a=spec

126|_ a=spec

116++ b=term c=hoon

127++ b=term c=hoon

117++ d=term e=hoon

128++ d=term e=hoon

118 ...

129 ...

119++ f=term g=hoon

130++ f=term g=hoon

120--

131--

121−```

132+</pre>

133+</td>

134+</tr>

135+<tr><td>Wide</td><td>None.</td></tr>

136+<tr><td>Irregular</td><td>None.</td></tr>

137+</table>

122

138

123Note: The `++` rune may be replaced with any other rune in the `+` family.

139Note: The `++` rune may be replaced with any other rune in the `+` family.

124

140

125−Wide form:

126−

127−None.

128−

129−Irregular form:

130−

131−None.

132−

133#### AST

141#### AST

134

142

135```hoon

143```hoon

@@ -223,22 +231,30 @@ Produce a gate with a custom sample.

223

231

224Two arguments, fixed.

232Two arguments, fixed.

225

233

234+<table>

235+<tr><th>Form</th><th>Syntax</th></tr>

236+<tr>

226−Tall form:

237+<td>Tall</td>

227−

238+<td>

228−```hoon

239+<pre>

229|: a

240|: a

230b

241b

231−```

242+</pre>

232−

243+</td>

244+</tr>

245+<tr>

233−Wide form:

246+<td>Wide</td>

234−

247+<td>

235−```hoon

248+<pre>

236|:(a b)

249|:(a b)

237−```

250+</pre>

238−

251+</td>

252+</tr>

253+<tr>

239−Irregular form:

254+<td>Irregular</td>

240−

241−None

255+<td>None.</td>

256+</tr>

257+</table>

242

258

243#### AST

259#### AST

244

260

@@ -286,27 +302,27 @@ Produce a core, `[battery payload]`.

286

302

287Argument: a variable number of `+`-family expressions.

303Argument: a variable number of `+`-family expressions.

288

304

305+<table>

306+<tr><th>Form</th><th>Syntax</th></tr>

307+<tr>

289−Tall form:

308+<td>Tall</td>

290−

309+<td>

291−```hoon

310+<pre>

292|%

311|%

293++ a=term b=hoon

312++ a=term b=hoon

294++ c=term d=hoon

313++ c=term d=hoon

295 ...

314 ...

296++ e=term f=hoon

315++ e=term f=hoon

297--

316--

298−```

317+</pre>

318+</td>

319+</tr>

320+<tr><td>Wide</td><td>None.</td></tr>

321+<tr><td>Irregular</td><td>None.</td></tr>

322+</table>

299

323

300Note: The `++` rune may be replaced with any other rune in the `+` family.

324Note: The `++` rune may be replaced with any other rune in the `+` family.

301

325

302−Wide form:

303−

304−None.

305−

306−Irregular form:

307−

308−None.

309−

310#### AST

326#### AST

311

327

312```hoon

328```hoon

@@ -370,21 +386,29 @@ Produce a trap (a core with one arm `$`).

370

386

371One argument, fixed.

387One argument, fixed.

372

388

389+<table>

390+<tr><th>Form</th><th>Syntax</th></tr>

391+<tr>

373−Tall form:

392+<td>Tall</td>

374−

393+<td>

375−```hoon

394+<pre>

376|. a

395|. a

377−```

396+</pre>

378−

397+</td>

398+</tr>

399+<tr>

379−Wide form:

400+<td>Wide</td>

380−

401+<td>

381−```hoon

402+<pre>

382|.(a)

403|.(a)

383−```

404+</pre>

384−

405+</td>

406+</tr>

407+<tr>

385−Irregular form:

408+<td>Irregular</td>

386−

387−None.

409+<td>None.</td>

410+</tr>

411+</table>

388

412

389#### AST

413#### AST

390

414

@@ -455,26 +479,25 @@ Produce a core whose battery includes a `$` arm and compute the latter.

455

479

456One fixed argument, then a variable number of `+`-family expressions.

480One fixed argument, then a variable number of `+`-family expressions.

457

481

482+<table>

483+<tr><th>Form</th><th>Syntax</th></tr>

484+<tr>

458−Tall form:

485+<td>Tall</td>

459−

486+<td>

460−```hoon

487+<pre>

461|^ a=hoon

488|^ a=hoon

462++ b=term c=hoon

489++ b=term c=hoon

463++ d=term e=hoon

490++ d=term e=hoon

464 ...

491 ...

465++ f=term g=hoon

492++ f=term g=hoon

466--

493--

467−```

494+</pre>

468−

495+</td>

469−Note: The `++` rune may be replaced with any other rune in the `+` family.

496+</tr>

470−

497+<tr>

471−Wide form:

498+<td>Wide</td><td>None.</td></tr>

472−

473−None.

474−

475−Irregular form:

499+<tr><td>Irregular</td><td>None.</td></tr>

476−

500+</table>

477−None.

478

501

479#### AST

502#### AST

480

503

@@ -531,21 +554,29 @@ Produce a trap (a core with one arm `$`) and evaluate it.

531

554

532One argument, fixed.

555One argument, fixed.

533

556

557+<table>

558+<tr><th>Form</th><th>Syntax</th></tr>

559+<tr>

534−Tall form:

560+<td>Tall</td>

535−

561+<td>

536−```hoon

562+<pre>

537|- a

563|- a

538−```

564+</pre>

539−

565+</td>

566+</tr>

567+<tr>

540−Wide form:

568+<td>Wide</td>

541−

569+<td>

542−```hoon

570+<pre>

543|-(a)

571|-(a)

544−```

572+</pre>

545−

573+</td>

574+</tr>

575+<tr>

546−Irregular form:

576+<td>Irregular</td>

547−

548−None.

577+<td>None.</td>

578+</tr>

579+</table>

549

580

550#### AST

581#### AST

551

582

@@ -605,22 +636,30 @@ Produce an iron gate.

605

636

606Two arguments, fixed.

637Two arguments, fixed.

607

638

639+<table>

640+<tr><th>Form</th><th>Syntax</th></tr>

641+<tr>

608−Tall form:

642+<td>Tall</td>

609−

643+<td>

610−```hoon

644+<pre>

611|~ a

645|~ a

612b

646b

613−```

647+</pre>

614−

648+</td>

649+</tr>

650+<tr>

615−Wide form:

651+<td>Wide</td>

616−

652+<td>

617−```hoon

653+<pre>

618|~(a b)

654|~(a b)

619−```

655+</pre>

620−

656+</td>

657+</tr>

658+<tr>

621−Irregular form:

659+<td>Irregular</td>

622−

623−None.

660+<td>None.</td>

661+</tr>

662+</table>

624

663

625#### AST

664#### AST

626

665

@@ -660,21 +699,29 @@ Produce a wet gate (one-armed core with sample).

660

699

661Two arguments, fixed.

700Two arguments, fixed.

662

701

702+<table>

703+<tr><th>Form</th><th>Syntax</th></tr>

704+<tr>

663−Tall form:

705+<td>Tall</td>

664−

706+<td>

665−```hoon

707+<pre>

666|* a b

708|* a b

667−```

709+</pre>

668−

710+</td>

711+</tr>

712+<tr>

669−Wide form:

713+<td>Wide</td>

670−

714+<td>

671−```hoon

715+<pre>

672|*(a b)

716|*(a b)

673−```

717+</pre>

674−

718+</td>

719+</tr>

720+<tr>

675−Irregular form:

721+<td>Irregular</td>

676−

677−None.

722+<td>None.</td>

723+</tr>

724+</table>

678

725

679#### AST

726#### AST

680

727

@@ -744,22 +791,30 @@ Produce a gate (a one-armed core with a sample).

744

791

745Two arguments, fixed.

792Two arguments, fixed.

746

793

794+<table>

795+<tr><th>Form</th><th>Syntax</th></tr>

796+<tr>

747−Tall form:

797+<td>Tall</td>

748−

798+<td>

749−```hoon

799+<pre>

750|= a

800|= a

751b

801b

752−```

802+</pre>

753−

803+</td>

804+</tr>

805+<tr>

754−Wide form:

806+<td>Wide</td>

755−

807+<td>

756−```hoon

808+<pre>

757|=(a b)

809|=(a b)

758−```

810+</pre>

759−

811+</td>

812+</tr>

813+<tr>

760−Irregular form:

814+<td>Irregular</td>

761−

762−None.

815+<td>None.</td>

816+</tr>

817+</table>

763

818

764#### AST

819#### AST

765

820

@@ -822,27 +877,27 @@ Produce a 'wet' core `[battery payload]`.

822

877

823Arguments: a variable number of `+`-family expressions.

878Arguments: a variable number of `+`-family expressions.

824

879

880+<table>

881+<tr><th>Form</th><th>Syntax</th></tr>

882+<tr>

825−Tall form:

883+<td>Tall</td>

826−

884+<td>

827−```hoon

885+<pre>

828|@

886|@

829++ a=term b=hoon

887++ a=term b=hoon

830++ c=term d=hoon

888++ c=term d=hoon

831 ...

889 ...

832++ e=term f=hoon

890++ e=term f=hoon

833--

891--

834−```

892+</pre>

893+</td>

894+</tr>

895+<tr><td>Wide</td><td>None.</td></tr>

896+<tr><td>Irregular</td><td>None.</td></tr>

897+</table>

835

898

836Note: The `++` rune may be replaced with any other rune in the `+` family.

899Note: The `++` rune may be replaced with any other rune in the `+` family.

837

900

838−Wide form:

839−

840−None.

841−

842−Irregular form:

843−

844−None.

845−

846#### AST

901#### AST

847

902

848```hoon

903```hoon

@@ -872,21 +927,29 @@ Produce a lead trap.

872

927

873One argument, fixed.

928One argument, fixed.

874

929

930+<table>

931+<tr><th>Form</th><th>Syntax</th></tr>

932+<tr>

875−Tall form:

933+<td>Tall</td>

876−

934+<td>

877−```hoon

935+<pre>

878|? a

936|? a

879−```

937+</pre>

880−

938+</td>

939+</tr>

940+<tr>

881−Wide form:

941+<td>Wide</td>

882−

942+<td>

883−```hoon

943+<pre>

884|?(a)

944|?(a)

885−```

945+</pre>

886−

946+</td>

947+</tr>

948+<tr>

887−Irregular form:

949+<td>Irregular</td>

888−

889−None.

950+<td>None.</td>

951+</tr>

952+</table>

890

953

891#### AST

954#### AST

892

955

content/docs/hoon/reference/rune/col.md+148−88

@@ -16,30 +16,42 @@ Construct a cell (2-tuple).

17Two arguments, fixed.

19+<table>

20+<tr><th>Form</th><th>Syntax</th></tr>

21+<tr>

19−Tall form:

22+<td>Tall</td>

20−

23+<td>

21−```hoon

24+<pre>

22:- p

25:- p

23q

26q

24−```

27+</pre>

25−

28+</td>

29+</tr>

30+<tr>

26−Wide form:

31+<td>Wide</td>

27−

32+<td>

28−```hoon

33+<pre>

29:-(p q)

34:-(p q)

30−```

35+</pre>

31−

36+</td>

37+</tr>

38+<tr>

32−Irregular form:

39+<td>Irregular #1</td>

33−

40+<td>

34−```hoon

41+<pre>

35[p q]

42[p q]

36−```

43+</pre>

37−

44+</td>

38−or

45+</tr>

39−

46+<tr>

40−```hoon

47+<td>Irregular #2</td>

48+<td>

49+<pre>

41p^q

50p^q

42−```

51+</pre>

52+</td>

53+</tr>

54+</table>

44#### AST

56#### AST

@@ -77,22 +89,30 @@ Construct a cell, inverted.

78Two arguments, fixed.

90Two arguments, fixed.

92+<table>

93+<tr><th>Form</th><th>Syntax</th></tr>

94+<tr>

80−Tall form:

95+<td>Tall</td>

81−

96+<td>

82−```hoon

97+<pre>

83:_ p

98:_ p

84q

99q

85−```

100+</pre>

86−

101+</td>

102+</tr>

103+<tr>

87−Wide form:

104+<td>Wide</td>

88−

105+<td>

89−```hoon

106+<pre>

90:_(p q)

107:_(p q)

91−```

108+</pre>

92−

109+</td>

110+</tr>

111+<tr>

93−Irregular form:

112+<td>Irregular</td>

94−

95−None.

113+<td>None.</td>

114+</tr>

115+</table>

116

97#### AST

117#### AST

118

@@ -123,25 +143,35 @@ Construct a triple (3-tuple).

123

143

124Three arguments, fixed.

144Three arguments, fixed.

125

145

146+<table>

147+<tr><th>Form</th><th>Syntax</th></tr>

148+<tr>

126−Tall form:

149+<td>Tall</td>

127−

150+<td>

128−```hoon

151+<pre>

129:+ p

152:+ p

130 q

153 q

131r

154r

132−```

155+</pre>

133−

156+</td>

157+</tr>

158+<tr>

134−Wide form:

159+<td>Wide</td>

135−

160+<td>

136−```hoon

161+<pre>

137:+(p q r)

162:+(p q r)

138−```

163+</pre>

139−

164+</td>

165+</tr>

166+<tr>

140−Irregular form:

167+<td>Irregular</td>

141−

168+<td>

142−```hoon

169+<pre>

143[p q r]

170[p q r]

144−```

171+</pre>

172+</td>

173+</tr>

174+</table>

145

175

146#### AST

176#### AST

147

177

@@ -177,26 +207,36 @@ Construct a quadruple (4-tuple).

177

207

178Four arguments, fixed.

208Four arguments, fixed.

179

209

210+<table>

211+<tr><th>Form</th><th>Syntax</th></tr>

212+<tr>

180−Tall form:

213+<td>Tall</td>

181−

214+<td>

182−```hoon

215+<pre>

183:^ p

216:^ p

184 q

217 q

185 r

218 r

186s

219s

187−```

220+</pre>

188−

221+</td>

222+</tr>

223+<tr>

189−Wide form:

224+<td>Wide</td>

190−

225+<td>

191−```hoon

226+<pre>

192:^(p q r s)

227:^(p q r s)

193−```

228+</pre>

194−

229+</td>

230+</tr>

231+<tr>

195−Irregular form:

232+<td>Irregular</td>

196−

233+<td>

197−```hoon

234+<pre>

198[p q r s]

235[p q r s]

199−```

236+</pre>

237+</td>

238+</tr>

239+</table>

200

240

201#### AST

241#### AST

202

242

@@ -233,27 +273,37 @@ Construct an n-tuple.

233

273

234Variable number of arguments.

274Variable number of arguments.

235

275

276+<table>

277+<tr><th>Form</th><th>Syntax</th></tr>

278+<tr>

236−Tall form:

279+<td>Tall</td>

237−

280+<td>

238−```hoon

281+<pre>

239:* p1

282:* p1

240 p2

283 p2

241 p3

284 p3

242 pn

285 pn

243==

286==

244−```

287+</pre>

245−

288+</td>

289+</tr>

290+<tr>

246−Wide form:

291+<td>Wide</td>

247−

292+<td>

248−```hoon

293+<pre>

249:*(p1 p2 p3 pn)

294:*(p1 p2 p3 pn)

250−```

295+</pre>

251−

296+</td>

297+</tr>

298+<tr>

252−Irregular form:

299+<td>Irregular</td>

253−

300+<td>

254−```hoon

301+<pre>

255[p1 p2 p3 pn]

302[p1 p2 p3 pn]

256−```

303+</pre>

304+</td>

305+</tr>

306+</table>

257

307

258#### AST

308#### AST

259

309

@@ -313,27 +363,37 @@ Construct a null-terminated list.

313

363

314Variable number of arguments.

364Variable number of arguments.

315

365

366+<table>

367+<tr><th>Form</th><th>Syntax</th></tr>

368+<tr>

316−Tall form:

369+<td>Tall</td>

317−

370+<td>

318−```hoon

371+<pre>

319:~ p1

372:~ p1

320 p2

373 p2

321 p3

374 p3

322 pn

375 pn

323==

376==

324−```

377+</pre>

325−

378+</td>

379+</tr>

380+<tr>

326−Wide form:

381+<td>Wide</td>

327−

382+<td>

328−```hoon

383+<pre>

329:~(p1 p2 p3 pn)

384:~(p1 p2 p3 pn)

330−```

385+</pre>

331−

386+</td>

387+</tr>

388+<tr>

332−Irregular form:

389+<td>Irregular</td>

333−

390+<td>

334−```hoon

391+<pre>

335~[p1 p2 p3 pn]

392~[p1 p2 p3 pn]

336−```

393+</pre>

394+</td>

395+</tr>

396+</table>

337

397

338#### AST

398#### AST

339

399

content/docs/hoon/reference/rune/dot.md+111−67

@@ -22,26 +22,34 @@ with a `==`. Note also that the `==` does not make the arguments into a list as

22you might expect, so `q` must be explicitly null-terminated if its elements are

23specified separately.

25+<table>

26+<tr><th>Form</th><th>Syntax</th></tr>

27+<tr>

25−Tall form:

28+<td>Tall</td>

26−

29+<td>

27−```hoon

30+<pre>

28.^ p

31.^ p

29 q1

32 q1

30 q2

33 q2

31 q3

34 q3

32 qn

35 qn

33==

36==

34−```

37+</pre>

35−

38+</td>

39+</tr>

40+<tr>

36−Wide form:

41+<td>Wide</td>

37−

42+<td>

38−```hoon

43+<pre>

39.^(p q1 q2)

44.^(p q1 q2)

40−```

45+</pre>

41−

46+</td>

47+</tr>

48+<tr>

42−Irregular form:

49+<td>Irregular</td>

43−

44−None.

50+<td>None.</td>

51+</tr>

52+</table>

46#### AST

54#### AST

@@ -124,23 +132,33 @@ Increment an atom with Nock `4`.

124

132

125One argument, fixed.

133One argument, fixed.

126

134

135+<table>

136+<tr><th>Form</th><th>Syntax</th></tr>

137+<tr>

127−Tall form:

138+<td>Tall</td>

128−

139+<td>

129−```hoon

140+<pre>

130.+ p

141.+ p

131−```

142+</pre>

132−

143+</td>

144+</tr>

145+<tr>

133−Wide form:

146+<td>Wide</td>

134−

147+<td>

135−```hoon

148+<pre>

136.+(p)

149.+(p)

137−```

150+</pre>

138−

151+</td>

152+</tr>

153+<tr>

139−Irregular form:

154+<td>Irregular</td>

140−

155+<td>

141−```hoon

156+<pre>

142+(p)

157+(p)

143−```

158+</pre>

159+</td>

160+</tr>

161+</table>

144

162

145#### AST

163#### AST

146

164

@@ -182,22 +200,30 @@ Nock of formula `q` and subject `p`, with type `%noun`.

182

200

183Two arguments, fixed.

201Two arguments, fixed.

184

202

203+<table>

204+<tr><th>Form</th><th>Syntax</th></tr>

205+<tr>

185−Tall form:

206+<td>Tall</td>

186−

207+<td>

187−```hoon

208+<pre>

188.* p

209.* p

189q

210q

190−```

211+</pre>

191−

212+</td>

213+</tr>

214+<tr>

192−Wide form:

215+<td>Wide</td>

193−

216+<td>

194−```hoon

217+<pre>

195.*(p q)

218.*(p q)

196−```

219+</pre>

197−

220+</td>

221+</tr>

222+<tr>

198−Irregular form:

223+<td>Irregular</td>

199−

200−None.

224+<td>None.</td>

225+</tr>

226+</table>

201

227

202#### AST

228#### AST

203

229

@@ -246,24 +272,34 @@ Test for equality with Nock `5`.

246

272

247Two arguments, fixed.

273Two arguments, fixed.

248

274

275+<table>

276+<tr><th>Form</th><th>Syntax</th></tr>

277+<tr>

249−Tall form:

278+<td>Tall</td>

250−

279+<td>

251−```hoon

280+<pre>

252.= p

281.= p

253q

282q

254−```

283+</pre>

255−

284+</td>

285+</tr>

286+<tr>

256−Wide form:

287+<td>Wide</td>

257−

288+<td>

258−```hoon

289+<pre>

259.=(p q)

290.=(p q)

260−```

291+</pre>

261−

292+</td>

293+</tr>

294+<tr>

262−Irregular form:

295+<td>Irregular</td>

263−

296+<td>

264−```hoon

297+<pre>

265=(p q)

298=(p q)

266−```

299+</pre>

300+</td>

301+</tr>

302+</table>

267

303

268#### AST

304#### AST

269

305

@@ -312,21 +348,29 @@ Test for cell or atom with Nock `3`.

312

348

313One argument, fixed.

349One argument, fixed.

314

350

351+<table>

352+<tr><th>Form</th><th>Syntax</th></tr>

353+<tr>

315−Tall form:

354+<td>Tall</td>

316−

355+<td>

317−```hoon

356+<pre>

318.? p

357.? p

319−```

358+</pre>

320−

359+</td>

360+</tr>

361+<tr>

321−Wide form:

362+<td>Wide</td>

322−

363+<td>

323−```hoon

364+<pre>

324.?(p)

365.?(p)

325−```

366+</pre>

326−

367+</td>

368+</tr>

369+<tr>

327−Irregular form:

370+<td>Irregular</td>

328−

329−None.

371+<td>None.</td>

372+</tr>

373+</table>

330

374

331#### AST

375#### AST

332

376

content/docs/hoon/reference/rune/lus.md+48−40

@@ -24,19 +24,19 @@ Chapter label.

25One argument, fixed.

27+<table>

28+<tr><th>Form</th><th>Syntax</th></tr>

29+<tr>

27−Tall form:

30+<td>Tall</td>

28−

31+<td>

29−```hoon

32+<pre>

30+| %label

33+| %label

31−```

34+</pre>

32−

35+</td>

33−Wide form:

36+</tr>

34−

37+<tr><td>Wide</td><td>None.</td></tr>

35−None.

36−

37−Irregular form:

38+<tr><td>Irregular</td><td>None.</td></tr>

38−

39+</table>

39−None.

41#### Discussion

@@ -87,19 +87,19 @@ Produce a structure arm (type definition).

88Two arguments, fixed.

90+<table>

91+<tr><th>Form</th><th>Syntax</th></tr>

92+<tr>

90−Tall form:

93+<td>Tall</td>

91−

94+<td>

92−```hoon

95+<pre>

93+$ p=term q=spec

96+$ p=term q=spec

94−```

97+</pre>

95−

98+</td>

96−Wide form:

99+</tr>

97−

100+<tr><td>Wide</td><td>None.</td></tr>

98−None.

99−

100−Irregular form:

101+<tr><td>Irregular</td><td>None.</td></tr>

101−

102+</table>

102−None.

103

104`p` is an arm name, and `q` is any structure expression.

105

@@ -140,19 +140,19 @@ Produce a normal arm.

140

141Two arguments, fixed.

142

143+<table>

144+<tr><th>Form</th><th>Syntax</th></tr>

145+<tr>

143−Tall form:

146+<td>Tall</td>

144−

147+<td>

145−```hoon

148+<pre>

146++ p=term q=hoon

149++ p=term q=hoon

147−```

150+</pre>

148−

151+</td>

149−Wide form:

152+</tr>

150−

153+<tr><td>Wide</td><td>None.</td></tr>

151−None.

152−

153−Irregular form:

154+<tr><td>Irregular</td><td>None.</td></tr>

154−

155+</table>

155−None.

156

157`p` is the arm name, and `q` is any Hoon expression.

158

@@ -189,14 +189,22 @@ Defines deferred expressions within doors.

189

190Arguments: A variable number of pairs.

191

192+<table>

193+<tr><th>Form</th><th>Syntax</th></tr>

194+<tr>

192−Tall form:

195+<td>Tall</td>

193−

196+<td>

194−```hoon

197+<pre>

195+* a=term b=hoon

198+* a=term b=hoon

196 c=term d=hoon

199 c=term d=hoon

197 ...

200 ...

198 e=term f=hoon

201 e=term f=hoon

199−```

202+</pre>

203+</td>

204+</tr>

205+<tr><td>Wide</td><td>None.</td></tr>

206+<tr><td>Irregular</td><td>None.</td></tr>

207+</table>

200

208

201`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that

209`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that

202unlike all other runes with a variable number of arguments, the list of

210unlike all other runes with a variable number of arguments, the list of

content/docs/hoon/reference/rune/tis.md+297−183

@@ -32,22 +32,30 @@ Compose two expressions.

33Two arguments, fixed.

35+<table>

36+<tr><th>Form</th><th>Syntax</th></tr>

37+<tr>

35−Tall form:

38+<td>Tall</td>

36−

39+<td>

37−```hoon

40+<pre>

38=> p

41=> p

39q

42q

40−```

43+</pre>

41−

44+</td>

45+</tr>

46+<tr>

42−Wide form:

47+<td>Wide</td>

43−

48+<td>

44−```hoon

49+<pre>

45=>(p q)

50=>(p q)

46−```

51+</pre>

47−

52+</td>

53+</tr>

54+<tr>

48−Irregular form:

55+<td>Irregular</td>

49−

50−None.

56+<td>None.</td>

57+</tr>

58+</table>

52#### AST

60#### AST

@@ -91,22 +99,30 @@ Combine a default type value ("bunt value") with the subject.

92Two arguments, fixed.

100Two arguments, fixed.

101

102+<table>

103+<tr><th>Form</th><th>Syntax</th></tr>

104+<tr>

94−Tall form:

105+<td>Tall</td>

95−

106+<td>

96−```hoon

107+<pre>

97=| p

108=| p

98q

109q

99−```

110+</pre>

100−

111+</td>

112+</tr>

113+<tr>

101−Wide form:

114+<td>Wide</td>

102−

115+<td>

103−```hoon

116+<pre>

104=|(p q)

117=|(p q)

105−```

118+</pre>

106−

119+</td>

120+</tr>

121+<tr>

107−Irregular form:

122+<td>Irregular</td>

108−

109−None.

123+<td>None.</td>

124+</tr>

125+</table>

110

126

111#### AST

127#### AST

112

128

@@ -148,25 +164,33 @@ Change multiple legs in the subject.

148

164

149Two arguments: the first a variable number of pairs, the second is fixed.

165Two arguments: the first a variable number of pairs, the second is fixed.

150

166

167+<table>

168+<tr><th>Form</th><th>Syntax</th></tr>

169+<tr>

151−Tall form:

170+<td>Tall</td>

152−

171+<td>

153−```hoon

172+<pre>

154=: p1a p1b

173=: p1a p1b

155 p2a p2b

174 p2a p2b

156 p3a p3b

175 p3a p3b

157 ==

176 ==

158q

177q

159−```

178+</pre>

160−

179+</td>

180+</tr>

181+<tr>

161−Wide form:

182+<td>Wide</td>

162−

183+<td>

163−```hoon

184+<pre>

164=:(p1a p1b, p2a p2b, p3a p3b q)

185=:(p1a p1b, p2a p2b, p3a p3b q)

165−```

186+</pre>

166−

187+</td>

188+</tr>

189+<tr>

167−Irregular form:

190+<td>Irregular</td>

168−

169−None.

191+<td>None.</td>

192+</tr>

193+</table>

170

194

171#### AST

195#### AST

172

196

@@ -205,22 +229,30 @@ Expose namespace.

205

229

206Two arguments, fixed.

230Two arguments, fixed.

207

231

232+<table>

233+<tr><th>Form</th><th>Syntax</th></tr>

234+<tr>

208−Tall form:

235+<td>Tall</td>

209−

236+<td>

210−```hoon

237+<pre>

211=, p

238=, p

212q

239q

213−```

240+</pre>

214−

241+</td>

242+</tr>

243+<tr>

215−Wide form:

244+<td>Wide</td>

216−

245+<td>

217−```hoon

246+<pre>

218=,(p q)

247=,(p q)

219−```

248+</pre>

220−

249+</td>

250+</tr>

251+<tr>

221−Irregular form:

252+<td>Irregular</td>

222−

223−None.

253+<td>None.</td>

254+</tr>

255+</table>

224

256

225#### AST

257#### AST

226

258

@@ -279,22 +311,30 @@ Change one leg in the subject.

279

311

280Three arguments, fixed.

312Three arguments, fixed.

281

313

314+<table>

315+<tr><th>Form</th><th>Syntax</th></tr>

316+<tr>

282−Tall form:

317+<td>Tall</td>

283−

318+<td>

284−```hoon

319+<pre>

285=. p q

320=. p q

286r

321r

287−```

322+</pre>

288−

323+</td>

324+</tr>

325+<tr>

289−Wide form:

326+<td>Wide</td>

290−

327+<td>

291−```hoon

328+<pre>

292=.(p q r)

329=.(p q r)

293−```

330+</pre>

294−

331+</td>

332+</tr>

333+<tr>

295−Irregular form:

334+<td>Irregular</td>

296−

297−None.

335+<td>None.</td>

336+</tr>

337+</table>

298

338

299#### AST

339#### AST

300

340

@@ -342,22 +382,30 @@ Combine a new noun with the subject, inverted.

342

382

343Two arguments, fixed.

383Two arguments, fixed.

344

384

385+<table>

386+<tr><th>Form</th><th>Syntax</th></tr>

387+<tr>

345−Tall form:

388+<td>Tall</td>

346−

389+<td>

347−```hoon

390+<pre>

348=- p

391=- p

349q

392q

350−```

393+</pre>

351−

394+</td>

395+</tr>

396+<tr>

352−Wide form:

397+<td>Wide</td>

353−

398+<td>

354−```hoon

399+<pre>

355=-(p q)

400=-(p q)

356−```

401+</pre>

357−

402+</td>

403+</tr>

404+<tr>

358−Irregular form:

405+<td>Irregular</td>

359−

360−None.

406+<td>None.</td>

407+</tr>

408+</table>

361

409

362#### AST

410#### AST

363

411

@@ -398,23 +446,31 @@ Pin the head of a pair; change a leg with the tail.

398

446

399Four arguments, fixed.

447Four arguments, fixed.

400

448

449+<table>

450+<tr><th>Form</th><th>Syntax</th></tr>

451+<tr>

401−Tall form:

452+<td>Tall</td>

402−

453+<td>

403−```hoon

454+<pre>

404=^ p q

455=^ p q

405 r

456 r

406s

457s

407−```

458+</pre>

408−

459+</td>

460+</tr>

461+<tr>

409−Wide form:

462+<td>Wide</td>

410−

463+<td>

411−```hoon

464+<pre>

412=^(p q r s)

465=^(p q r s)

413−```

466+</pre>

414−

467+</td>

468+</tr>

469+<tr>

415−Irregular form:

470+<td>Irregular</td>

416−

417−None.

471+<td>None.</td>

472+</tr>

473+</table>

418

474

419#### AST

475#### AST

420

476

@@ -466,24 +522,34 @@ Compose two expressions, inverted.

466

522

467Two arguments, fixed

523Two arguments, fixed

468

524

525+<table>

526+<tr><th>Form</th><th>Syntax</th></tr>

527+<tr>

469−Tall form:

528+<td>Tall</td>

470−

529+<td>

471−```hoon

530+<pre>

472=< p

531=< p

473q

532q

474−```

533+</pre>

475−

534+</td>

535+</tr>

536+<tr>

476−Wide form:

537+<td>Wide</td>

477−

538+<td>

478−```hoon

539+<pre>

479=<(p q)

540=<(p q)

480−```

541+</pre>

481−

542+</td>

543+</tr>

544+<tr>

482−Irregular form:

545+<td>Irregular</td>

483−

546+<td>

484−```hoon

547+<pre>

485p:q

548p:q

486−```

549+</pre>

550+</td>

551+</tr>

552+</table>

487

553

488#### AST

554#### AST

489

555

@@ -528,22 +594,30 @@ Combine a new noun with the subject.

528

594

529Two arguments, fixed.

595Two arguments, fixed.

530

596

597+<table>

598+<tr><th>Form</th><th>Syntax</th></tr>

599+<tr>

531−Tall form:

600+<td>Tall</td>

532−

601+<td>

533−```hoon

602+<pre>

534=+ p

603=+ p

535q

604q

536−```

605+</pre>

537−

606+</td>

607+</tr>

608+<tr>

538−Wide form:

609+<td>Wide</td>

539−

610+<td>

540−```hoon

611+<pre>

541=+(p q)

612=+(p q)

542−```

613+</pre>

543−

614+</td>

615+</tr>

616+<tr>

544−Irregular form:

617+<td>Irregular</td>

545−

546−None.

618+<td>None.</td>

619+</tr>

620+</table>

547

621

548#### AST

622#### AST

549

623

@@ -589,23 +663,31 @@ order.

589

663

590Three arguments, fixed.

664Three arguments, fixed.

591

665

666+<table>

667+<tr><th>Form</th><th>Syntax</th></tr>

668+<tr>

592−Tall form:

669+<td>Tall</td>

593−

670+<td>

594−```hoon

671+<pre>

595=; p

672=; p

596 q

673 q

597r

674r

598−```

675+</pre>

599−

676+</td>

677+</tr>

678+<tr>

600−Wide form:

679+<td>Wide</td>

601−

680+<td>

602−```hoon

681+<pre>

603=;(p q r)

682=;(p q r)

604−```

683+</pre>

605−

684+</td>

685+</tr>

686+<tr>

606−Irregular form:

687+<td>Irregular</td>

607−

608−None.

688+<td>None.</td>

689+</tr>

690+</table>

609

691

610#### AST

692#### AST

611

693

@@ -646,23 +728,31 @@ Combine a named noun with the subject, possibly with type annotation.

646

728

647Three arguments, fixed.

729Three arguments, fixed.

648

730

731+<table>

732+<tr><th>Form</th><th>Syntax</th></tr>

733+<tr>

649−Tall form:

734+<td>Tall</td>

650−

735+<td>

651−```hoon

736+<pre>

652=/ p

737=/ p

653 q

738 q

654r

739r

655−```

740+</pre>

656−

741+</td>

742+</tr>

743+<tr>

657−Wide form:

744+<td>Wide</td>

658−

745+<td>

659−```hoon

746+<pre>

660=/(p q r)

747=/(p q r)

661−```

748+</pre>

662−

749+</td>

750+</tr>

751+<tr>

663−Irregular form:

752+<td>Irregular</td>

664−

665−None.

753+<td>None.</td>

754+</tr>

755+</table>

666

756

667#### AST

757#### AST

668

758

@@ -727,25 +817,33 @@ Compose many expressions.

727

817

728Variable number of arguments.

818Variable number of arguments.

729

819

820+<table>

821+<tr><th>Form</th><th>Syntax</th></tr>

822+<tr>

730−Tall form:

823+<td>Tall</td>

731−

824+<td>

732−```hoon

825+<pre>

733=~ p1

826=~ p1

734 p2

827 p2

735 p3

828 p3

736 pn

829 pn

737==

830==

738−```

831+</pre>

739−

832+</td>

833+</tr>

834+<tr>

740−Wide form:

835+<td>Wide</td>

741−

836+<td>

742−```hoon

837+<pre>

743=~(p1 p2 p3 pn)

838=~(p1 p2 p3 pn)

744−```

839+</pre>

745−

840+</td>

841+</tr>

842+<tr>

746−Irregular form:

843+<td>Irregular</td>

747−

748−None.

844+<td>None.</td>

845+</tr>

846+</table>

749

847

750#### AST

848#### AST

751

849

@@ -798,23 +896,31 @@ Define a deferred expression.

798

896

799Three arguments, fixed.

897Three arguments, fixed.

800

898

899+<table>

900+<tr><th>Form</th><th>Syntax</th></tr>

901+<tr>

801−Tall form:

902+<td>Tall</td>

802−

903+<td>

803−```hoon

904+<pre>

804=* p

905=* p

805 q

906 q

806r

907r

807−```

908+</pre>

808−

909+</td>

910+</tr>

911+<tr>

809−Wide form:

912+<td>Wide</td>

810−

913+<td>

811−```hoon

914+<pre>

812=*(p q r)

915=*(p q r)

813−```

916+</pre>

814−

917+</td>

918+</tr>

919+<tr>

815−Irregular form:

920+<td>Irregular</td>

816−

817−None.

921+<td>None.</td>

922+</tr>

923+</table>

818

924

819#### AST

925#### AST

820

926

@@ -871,23 +977,31 @@ Conditionally change one leg in the subject.

871

977

872Four arguments, fixed.

978Four arguments, fixed.

873

979

980+<table>

981+<tr><th>Form</th><th>Syntax</th></tr>

982+<tr>

874−Tall form:

983+<td>Tall</td>

875−

984+<td>

876−```hoon

985+<pre>

877=? p q

986=? p q

878 r

987 r

879s

988s

880−```

989+</pre>

881−

990+</td>

991+</tr>

992+<tr>

882−Wide form:

993+<td>Wide</td>

883−

994+<td>

884−```hoon

995+<pre>

885=?(p q r s)

996=?(p q r s)

886−```

997+</pre>

887−

998+</td>

999+</tr>

1000+<tr>

888−Irregular form:

1001+<td>Irregular</td>

889−

890−None.

1002+<td>None.</td>

1003+</tr>

1004+</table>

891

1005

892#### AST

1006#### AST

893

1007

content/docs/hoon/reference/rune/wut.md+316−165

@@ -39,27 +39,37 @@ Logical OR.

40Variable number of arguments.

42+<table>

43+<tr><th>Form</th><th>Syntax</th></tr>

44+<tr>

42−Tall form:

45+<td>Tall</td>

43−

46+<td>

44−```hoon

47+<pre>

45?| p1

48?| p1

46 p2

49 p2

47 p3

50 p3

48 pn

51 pn

49==

52==

50−```

53+</pre>

51−

54+</td>

55+</tr>

56+<tr>

52−Wide form:

57+<td>Wide</td>

53−

58+<td>

54−```hoon

59+<pre>

55?|(p1 p2 p3 pn)

60?|(p1 p2 p3 pn)

56−```

61+</pre>

57−

62+</td>

63+</tr>

64+<tr>

58−Irregular form:

65+<td>Irregular</td>

59−

66+<td>

60−```hoon

67+<pre>

61|(p1 p2 p3 pn)

68|(p1 p2 p3 pn)

62−```

69+</pre>

70+</td>

71+</tr>

72+</table>

64#### AST

74#### AST

@@ -111,38 +121,50 @@ Switch against a union, with no default.

111

121

112One fixed argument, then a variable number of pairs.

122One fixed argument, then a variable number of pairs.

113

123

114−Tall form:

124+<table>

115−

125+<tr><th>Form</th><th>Syntax</th></tr>

116−```hoon

126+<tr>

127+<td>Tall style #1</td>

128+<td>

129+<pre>

117?- p

130?- p

118 q1a q1b

131 q1a q1b

119 q2a q2b

132 q2a q2b

120 qna qnb

133 qna qnb

121==

134==

122−```

135+</pre>

123−

136+</td>

124−Alternative tall form:

137+</tr>

125−

138+<tr>

126−```hoon

139+<td>Tall style #2</td>

140+<td>

141+<pre>

127?- p

142?- p

128 q1a

143 q1a

129 q1b

144 q1b

145+::

130 q2a

146 q2a

131 q2b

147 q2b

148+::

132 qna

149 qna

133 qnb

150 qnb

134==

151==

135−```

152+</pre>

136−

153+</td>

154+</tr>

155+<tr>

137−Wide form:

156+<td>Wide</td>

138−

157+<td>

139−```hoon

158+<pre>

140?-(p q1a q1b, q2a q2b, qna qnb)

159?-(p q1a q1b, q2a q2b, qna qnb)

141−```

160+</pre>

142−

161+</td>

162+</tr>

163+<tr>

143−Irregular form:

164+<td>Irregular</td>

144−

145−None.

165+<td>None.</td>

166+</tr>

167+</table>

146

168

147#### AST

169#### AST

148

170

@@ -215,23 +237,31 @@ Branch on a boolean test.

215

237

216Three arguments, fixed.

238Three arguments, fixed.

217

239

240+<table>

241+<tr><th>Form</th><th>Syntax</th></tr>

242+<tr>

218−Tall form:

243+<td>Tall</td>

219−

244+<td>

220−```hoon

245+<pre>

221?: p

246?: p

222 q

247 q

223r

248r

224−```

249+</pre>

225−

250+</td>

251+</tr>

252+<tr>

226−Wide form:

253+<td>Wide</td>

227−

254+<td>

228−```hoon

255+<pre>

229?:(p q r)

256?:(p q r)

230−```

257+</pre>

231−

258+</td>

259+</tr>

260+<tr>

232−Irregular form:

261+<td>Irregular</td>

233−

234−None.

262+<td>None.</td>

263+</tr>

264+</table>

235

265

236#### AST

266#### AST

237

267

@@ -281,23 +311,31 @@ Branch on a boolean test, inverted.

281

311

282Three arguments, fixed.

312Three arguments, fixed.

283

313

314+<table>

315+<tr><th>Form</th><th>Syntax</th></tr>

316+<tr>

284−Tall form:

317+<td>Tall</td>

285−

318+<td>

286−```hoon

319+<pre>

287?. p

320?. p

288 q

321 q

289r

322r

290−```

323+</pre>

291−

324+</td>

325+</tr>

326+<tr>

292−Wide form:

327+<td>Wide</td>

293−

328+<td>

294−```hoon

329+<pre>

295?.(p q r)

330?.(p q r)

296−```

331+</pre>

297−

332+</td>

333+</tr>

334+<tr>

298−Irregular form:

335+<td>Irregular</td>

299−

300−None.

336+<td>None.</td>

337+</tr>

338+</table>

301

339

302#### AST

340#### AST

303

341

@@ -345,23 +383,31 @@ Branch on whether a wing of the subject is a cell.

345

383

346Three arguments, fixed.

384Three arguments, fixed.

347

385

386+<table>

387+<tr><th>Form</th><th>Syntax</th></tr>

388+<tr>

348−Tall form:

389+<td>Tall</td>

349−

390+<td>

350−```hoon

391+<pre>

351?^ p

392?^ p

352 q

393 q

353r

394r

354−```

395+</pre>

355−

396+</td>

397+</tr>

398+<tr>

356−Wide form:

399+<td>Wide</td>

357−

400+<td>

358−```hoon

401+<pre>

359?^(p q r)

402?^(p q r)

360−```

403+</pre>

361−

404+</td>

405+</tr>

406+<tr>

362−Irregular form:

407+<td>Irregular</td>

363−

364−None.

408+<td>None.</td>

409+</tr>

410+</table>

365

411

366#### AST

412#### AST

367

413

@@ -405,22 +451,30 @@ Negative assertion.

405

451

406Two arguments, fixed.

452Two arguments, fixed.

407

453

454+<table>

455+<tr><th>Form</th><th>Syntax</th></tr>

456+<tr>

408−Tall form:

457+<td>Tall</td>

409−

458+<td>

410−```hoon

459+<pre>

411?< p

460?< p

412q

461q

413−```

462+</pre>

414−

463+</td>

464+</tr>

465+<tr>

415−Wide form:

466+<td>Wide</td>

416−

467+<td>

417−```hoon

468+<pre>

418?<(p q)

469?<(p q)

419−```

470+</pre>

420−

471+</td>

472+</tr>

473+<tr>

421−Irregular form:

474+<td>Irregular</td>

422−

423−None.

475+<td>None.</td>

476+</tr>

477+</table>

424

478

425#### AST

479#### AST

426

480

@@ -468,22 +522,30 @@ Positive assertion.

468

522

469Two arguments, fixed.

523Two arguments, fixed.

470

524

525+<table>

526+<tr><th>Form</th><th>Syntax</th></tr>

527+<tr>

471−Tall form:

528+<td>Tall</td>

472−

529+<td>

473−```hoon

530+<pre>

474?> p

531?> p

475q

532q

476−```

533+</pre>

477−

534+</td>

535+</tr>

536+<tr>

478−Wide form:

537+<td>Wide</td>

479−

538+<td>

480−```hoon

539+<pre>

481?>(p q)

540?>(p q)

482−```

541+</pre>

483−

542+</td>

543+</tr>

544+<tr>

484−Irregular form:

545+<td>Irregular</td>

485−

486−None.

546+<td>None.</td>

547+</tr>

548+</table>

487

549

488#### AST

550#### AST

489

551

@@ -529,7 +591,52 @@ Switch against a union, with a default.

529

591

530#### Syntax

592#### Syntax

531

593

532−Regular: **2-fixed**, then **jogging**.

594+Two fixed arguments, then a variable number of pairs.

595+

596+<table>

597+<tr><th>Form</th><th>Syntax</th></tr>

598+<tr>

599+<td>Tall style #1</td>

600+<td>

601+<pre>

602+?+ p q

603+ r1a r1b

604+ r2a r2b

605+ rna rnb

606+==

607+</pre>

608+</td>

609+</tr>

610+<tr>

611+<td>Tall style #2</td>

612+<td>

613+<pre>

614+?+ p q

615+ r1a

616+ r1b

617+::

618+ r2a

619+ r2b

620+::

621+ rna

622+ rnb

623+==

624+</pre>

625+</td>

626+</tr>

627+<tr>

628+<td>Wide</td>

629+<td>

630+<pre>

631+?+(p q r1a r1b, r2a r2b, rna rnb)

632+</pre>

633+</td>

634+</tr>

635+<tr>

636+<td>Irregular</td>

637+<td>None.</td>

638+</tr>

639+</table>

533

640

534#### AST

641#### AST

535

642

@@ -598,26 +705,36 @@ Logical AND.

598

705

599Variable arguments.

706Variable arguments.

600

707

708+<table>

709+<tr><th>Form</th><th>Syntax</th></tr>

710+<tr>

601−Tall form:

711+<td>Tall</td>

602−

712+<td>

603−```hoon

713+<pre>

604?& p1

714?& p1

605 p2

715 p2

606 pn

716 pn

607==

717==

608−```

718+</pre>

609−

719+</td>

720+</tr>

721+<tr>

610−Wide form:

722+<td>Wide</td>

611−

723+<td>

612−```hoon

724+<pre>

613?&(p1 p2 pn)

725?&(p1 p2 pn)

614−```

726+</pre>

615−

727+</td>

728+</tr>

729+<tr>

616−Irregular form:

730+<td>Irregular</td>

617−

731+<td>

618−```hoon

732+<pre>

619&(p1 p2 pn)

733&(p1 p2 pn)

620−```

734+</pre>

735+</td>

736+</tr>

737+</table>

621

738

622#### AST

739#### AST

623

740

@@ -669,23 +786,31 @@ Branch on whether a wing of the subject is an atom.

669

786

670Three arguments, fixed.

787Three arguments, fixed.

671

788

789+<table>

790+<tr><th>Form</th><th>Syntax</th></tr>

791+<tr>

672−Tall form:

792+<td>Tall</td>

673−

793+<td>

674−```hoon

794+<pre>

675?@ p

795?@ p

676 q

796 q

677r

797r

678−```

798+</pre>

679−

799+</td>

800+</tr>

801+<tr>

680−Wide form:

802+<td>Wide</td>

681−

803+<td>

682−```hoon

804+<pre>

683?@(p q r)

805?@(p q r)

684−```

806+</pre>

685−

807+</td>

808+</tr>

809+<tr>

686−Irregular form:

810+<td>Irregular</td>

687−

688−None.

811+<td>None.</td>

812+</tr>

813+</table>

689

814

690#### AST

815#### AST

691

816

@@ -733,23 +858,31 @@ Branch on whether a wing of the subject is null.

733

858

734Three arguments, fixed.

859Three arguments, fixed.

735

860

861+<table>

862+<tr><th>Form</th><th>Syntax</th></tr>

863+<tr>

736−Tall form:

864+<td>Tall</td>

737−

865+<td>

738−```hoon

866+<pre>

739?~ p

867?~ p

740 q

868 q

741r

869r

742−```

870+</pre>

743−

871+</td>

872+</tr>

873+<tr>

744−Wide form:

874+<td>Wide</td>

745−

875+<td>

746−```hoon

876+<pre>

747?~(p q r)

877?~(p q r)

748−```

878+</pre>

749−

879+</td>

880+</tr>

881+<tr>

750−Irregular form:

882+<td>Irregular</td>

751−

752−None.

883+<td>None.</td>

884+</tr>

885+</table>

753

886

754#### AST

887#### AST

755

888

@@ -791,22 +924,30 @@ Test pattern match.

791

924

792Two arguments, fixed.

925Two arguments, fixed.

793

926

927+<table>

928+<tr><th>Form</th><th>Syntax</th></tr>

929+<tr>

794−Tall form:

930+<td>Tall</td>

795−

931+<td>

796−```hoon

932+<pre>

797?= p

933?= p

798q

934q

799−```

935+</pre>

800−

936+</td>

937+</tr>

938+<tr>

801−Wide form:

939+<td>Wide</td>

802−

940+<td>

803−```hoon

941+<pre>

804?=(p q)

942?=(p q)

805−```

943+</pre>

806−

944+</td>

945+</tr>

946+<tr>

807−Irregular form:

947+<td>Irregular</td>

808−

809−None.

948+<td>None.</td>

949+</tr>

950+</table>

810

951

811#### AST

952#### AST

812

953

@@ -851,23 +992,33 @@ Logical NOT.

851

992

852One argument, fixed.

993One argument, fixed.

853

994

995+<table>

996+<tr><th>Form</th><th>Syntax</th></tr>

997+<tr>

854−Tall form:

998+<td>Tall</td>

855−

999+<td>

856−```hoon

1000+<pre>

857?! p

1001?! p

858−```

1002+</pre>

859−

1003+</td>

1004+</tr>

1005+<tr>

860−Wide form:

1006+<td>Wide</td>

861−

1007+<td>

862−```hoon

1008+<pre>

863?!(p)

1009?!(p)

864−```

1010+</pre>

865−

1011+</td>

1012+</tr>

1013+<tr>

866−Irregular form:

1014+<td>Irregular</td>

867−

1015+<td>

868−```hoon

1016+<pre>

869!p

1017!p

870−```

1018+</pre>

1019+</td>

1020+</tr>

1021+</table>

871

1022

872#### AST

1023#### AST

873

1024

content/docs/hoon/reference/rune/zap.md+211−125

@@ -13,22 +13,30 @@ Produce the Hoon AST of an expression.

14Two arguments, fixed.

16+<table>

17+<tr><th>Form</th><th>Syntax</th></tr>

18+<tr>

16−Tall form:

19+<td>Tall</td>

17−

20+<td>

18−```hoon

21+<pre>

19!, p

22!, p

20q

23q

21−```

24+</pre>

22−

25+</td>

26+</tr>

27+<tr>

23−Wide form:

28+<td>Wide</td>

24−

29+<td>

25−```hoon

30+<pre>

26!,(p q)

31!,(p q)

27−```

32+</pre>

28−

33+</td>

34+</tr>

35+<tr>

29−Irregular form:

36+<td>Irregular</td>

30−

31−None.

37+<td>None.</td>

38+</tr>

39+</table>

33#### AST

41#### AST

@@ -63,21 +71,29 @@ Wrap a noun in its type (form a [`vase`](/docs/hoon/reference/stdlib/4o#vase)).

64One argument, fixed.

72One argument, fixed.

74+<table>

75+<tr><th>Form</th><th>Syntax</th></tr>

76+<tr>

66−Tall form:

77+<td>Tall</td>

67−

78+<td>

68−```hoon

79+<pre>

69!> p

80!> p

70−```

81+</pre>

71−

82+</td>

83+</tr>

84+<tr>

72−Wide form:

85+<td>Wide</td>

73−

86+<td>

74−```hoon

87+<pre>

75!>(p)

88!>(p)

76−```

89+</pre>

77−

90+</td>

91+</tr>

92+<tr>

78−Irregular form:

93+<td>Irregular</td>

79−

80−None.

94+<td>None.</td>

95+</tr>

96+</table>

82#### AST

98#### AST

@@ -120,22 +136,30 @@ its type nests.

120

136

121Two arguments, fixed.

137Two arguments, fixed.

122

138

139+<table>

140+<tr><th>Form</th><th>Syntax</th></tr>

141+<tr>

123−Tall form:

142+<td>Tall</td>

124−

143+<td>

125−```hoon

144+<pre>

126!< p

145!< p

127q

146q

128−```

147+</pre>

129−

148+</td>

149+</tr>

150+<tr>

130−Wide form:

151+<td>Wide</td>

131−

152+<td>

132−```hoon

153+<pre>

133!<(p q)

154!<(p q)

134−```

155+</pre>

135−

156+</td>

157+</tr>

158+<tr>

136−Irregular form:

159+<td>Irregular</td>

137−

138−None.

160+<td>None.</td>

161+</tr>

162+</table>

139

163

140#### AST

164#### AST

141

165

@@ -176,22 +200,30 @@ Wrap a noun in its type (raw).

176

200

177Two arguments, fixed.

201Two arguments, fixed.

178

202

203+<table>

204+<tr><th>Form</th><th>Syntax</th></tr>

205+<tr>

179−Tall form:

206+<td>Tall</td>

180−

207+<td>

181−```hoon

208+<pre>

182!; p

209!; p

183q

210q

184−```

211+</pre>

185−

212+</td>

213+</tr>

214+<tr>

186−Wide form:

215+<td>Wide</td>

187−

216+<td>

188−```hoon

217+<pre>

189!;(p q)

218!;(p q)

190−```

219+</pre>

191−

220+</td>

221+</tr>

222+<tr>

192−Irregular form:

223+<td>Irregular</td>

193−

194−None.

224+<td>None.</td>

225+</tr>

226+</table>

195

227

196#### AST

228#### AST

197

229

@@ -233,21 +265,29 @@ Make the Nock formula for a Hoon expression.

233

265

234One argument, fixed.

266One argument, fixed.

235

267

268+<table>

269+<tr><th>Form</th><th>Syntax</th></tr>

270+<tr>

236−Tall form:

271+<td>Tall</td>

237−

272+<td>

238−```hoon

273+<pre>

239!= p

274!= p

240−```

275+</pre>

241−

276+</td>

277+</tr>

278+<tr>

242−Wide form:

279+<td>Wide</td>

243−

280+<td>

244−```hoon

281+<pre>

245!=(p)

282!=(p)

246−```

283+</pre>

247−

284+</td>

285+</tr>

286+<tr>

248−Irregular form:

287+<td>Irregular</td>

249−

250−None.

288+<td>None.</td>

289+</tr>

290+</table>

251

291

252#### AST

292#### AST

253

293

@@ -299,22 +339,30 @@ Restrict Hoon version.

299

339

300Two arguments, fixed.

340Two arguments, fixed.

301

341

342+<table>

343+<tr><th>Form</th><th>Syntax</th></tr>

344+<tr>

302−Tall form:

345+<td>Tall</td>

303−

346+<td>

304−```hoon

347+<pre>

305!? p

348!? p

306q

349q

307−```

350+</pre>

308−

351+</td>

352+</tr>

353+<tr>

309−Wide form:

354+<td>Wide</td>

310−

355+<td>

311−```hoon

356+<pre>

312!?(p q)

357!?(p q)

313−```

358+</pre>

314−

359+</td>

360+</tr>

361+<tr>

315−Irregular form:

362+<td>Irregular</td>

316−

317−None.

363+<td>None.</td>

364+</tr>

365+</table>

318

366

319#### AST

367#### AST

320

368

@@ -357,23 +405,31 @@ Branch on whether a wing exists.

357

405

358Three arguments, fixed.

406Three arguments, fixed.

359

407

408+<table>

409+<tr><th>Form</th><th>Syntax</th></tr>

410+<tr>

360−Tall form:

411+<td>Tall</td>

361−

412+<td>

362−```hoon

413+<pre>

363!@ p

414!@ p

364 q

415 q

365r

416r

366−```

417+</pre>

367−

418+</td>

419+</tr>

420+<tr>

368−Wide form:

421+<td>Wide</td>

369−

422+<td>

370−```hoon

423+<pre>

371!@(p q r)

424!@(p q r)

372−```

425+</pre>

373−

426+</td>

427+</tr>

428+<tr>

374−Irregular form:

429+<td>Irregular</td>

375−

376−None.

430+<td>None.</td>

431+</tr>

432+</table>

377

433

378#### AST

434#### AST

379

435

@@ -408,15 +464,29 @@ Crash.

408

464

409No arguments.

465No arguments.

410

466

467+<table>

468+<tr><th>Form</th><th>Syntax</th></tr>

469+<tr>

411−Tall & wide form:

470+<td>Tall</td>

412−

471+<td>

413−```hoon

472+<pre>

414!!

473!!

415−```

474+</pre>

416−

475+</td>

476+</tr>

477+<tr>

478+<td>Wide</td>

479+<td>

480+<pre>

481+!!

482+</pre>

483+</td>

484+</tr>

485+<tr>

417−Irregular form:

486+<td>Irregular</td>

418−

419−None.

487+<td>None.</td>

488+</tr>

489+</table>

420

490

421#### AST

491#### AST

422

492

@@ -449,21 +519,29 @@ Turn on stack trace.

449

519

450One argument, fixed

520One argument, fixed

451

521

522+<table>

523+<tr><th>Form</th><th>Syntax</th></tr>

524+<tr>

452−Tall form:

525+<td>Tall</td>

453−

526+<td>

454−```hoon

527+<pre>

455!: p

528!: p

456−```

529+</pre>

457−

530+</td>

531+</tr>

532+<tr>

458−Wide form:

533+<td>Wide</td>

459−

534+<td>

460−```hoon

535+<pre>

461!:(p)

536!:(p)

462−```

537+</pre>

463−

538+</td>

539+</tr>

540+<tr>

464−Irregular form:

541+<td>Irregular</td>

465−

466−None.

542+<td>None.</td>

543+</tr>

544+</table>

467

545

468#### Produces

546#### Produces

469

547

@@ -496,21 +574,29 @@ Turn off stack trace for a subexpression `p`

496

574

497One argument, fixed.

575One argument, fixed.

498

576

577+<table>

578+<tr><th>Form</th><th>Syntax</th></tr>

579+<tr>

499−Tall form:

580+<td>Tall</td>

500−

581+<td>

501−```hoon

582+<pre>

502!. p

583!. p

503−```

584+</pre>

504−

585+</td>

586+</tr>

587+<tr>

505−Wide form:

588+<td>Wide</td>

506−

589+<td>

507−```hoon

590+<pre>

508!.(p)

591!.(p)

509−```

592+</pre>

510−

593+</td>

594+</tr>

595+<tr>

511−Irregular form:

596+<td>Irregular</td>

512−

513−None.

597+<td>None.</td>

598+</tr>

599+</table>

514

600

515#### Produces

601#### Produces

516

602