75de553 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

update stdlib section header levels

75de553tinnus-napbus5 years ago

content/docs/hoon/reference/stdlib/1a.md+13−13

compare with master

unifiedsplit

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

4template = "doc.html"

5+++

7−### `++add`

7+## `++add`

9Add

@@ -70,7 +70,7 @@ An [`atom`](/docs/glossary/atom).

71---

73−### `++dec`

73+## `++dec`

75Decrement

@@ -127,7 +127,7 @@ An [`atom`](/docs/glossary/atom).

127

128---

129

130−### `++div`

130+## `++div`

131

132Divide

133

@@ -191,7 +191,7 @@ An [`atom`](/docs/glossary/atom).

191

192---

193

194−### `++dvr`

194+## `++dvr`

195

196Divide with remainder

197

@@ -250,7 +250,7 @@ A cell of [`atoms`](/docs/glossary/atom).

250

251---

252

253−### `++gte`

253+## `++gte`

254

255Greater-than/equal

256

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

295

296---

297

298−### `++gth`

298+## `++gth`

299

300Greater-than

301

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

340

341---

342

343−### `++lte`

343+## `++lte`

344

345Less-than/equal

346

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

408

409---

410

411−### `++lth`

411+## `++lth`

412

413Less-than

414

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

477

478---

479

480−### `++max`

480+## `++max`

481

482Maximum

483

@@ -548,7 +548,7 @@ An [`atom`](/docs/glossary/atom).

548

549---

550

551−### `++min`

551+## `++min`

552

553Minimum

554

@@ -614,7 +614,7 @@ An [`atom`](/docs/glossary/atom).

614

615---

616

617−### `++mod`

617+## `++mod`

618

619Modulus

620

@@ -674,7 +674,7 @@ An [`atom`](/docs/glossary/atom).

674

675---

676

677−### `++mul`

677+## `++mul`

678

679Multiply

680

@@ -731,7 +731,7 @@ An [`atom`](/docs/glossary/atom).

731

732---

733

734−### `++sub`

734+## `++sub`

735

736Subtract

737

content/docs/hoon/reference/stdlib/1b.md+3−3

@@ -7,7 +7,7 @@ template = "doc.html"

7Check out the Nock [explanation](/docs/nock/) for more

8information on the tree-addressing system.

10−### `++cap`

10+## `++cap`

12Tree head

@@ -76,7 +76,7 @@ A constant [`atom`](/docs/glossary/atom).

77---

79−### `++mas`

79+## `++mas`

81Address within head/tail

@@ -192,7 +192,7 @@ this case, because `+7` is within the tail (subtree `+3`).

192

193---

194

195−### `++peg`

195+## `++peg`

196

197Address within address

198

content/docs/hoon/reference/stdlib/1c.md+15−15

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

4template = "doc.html"

5+++

7−### `$bite`

7+## `+$bite`

9Atom slice specifier.

@@ -42,7 +42,7 @@ supplied, it defaults to a value of 1.

42 0

43```

45−### `$bloq`

45+## `+$bloq`

47Blocksize

@@ -105,7 +105,7 @@ See the [bit arithmetic](/docs/hoon/reference/stdlib/2c) section for operations

105

106---

107

108−### `++each`

108+## `++each`

109

110Mold of fork between two types

111

@@ -138,7 +138,7 @@ A mold generator. Produces a discriminated fork between two types, defaulting to

138

139---

140

141−### `++gate`

141+## `++gate`

142

143Function

144

@@ -185,7 +185,7 @@ See also: [`++lift`](/docs/hoon/reference/stdlib/2a#lift), [`++cork`](/docs/hoon

185

186---

187

188−### `++list`

188+## `++list`

189

190List

191

@@ -228,7 +228,7 @@ See also: [`++turn`](/docs/hoon/reference/stdlib/2b#turn), [`++snag`](/docs/hoon

228

229---

230

231−### `++lone`

231+## `++lone`

232

233Face on mold

234

@@ -270,7 +270,7 @@ p=0

270

271---

272

273−### `++pair`

273+## `++pair`

274

275Mold of pair of types

276

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

298

299---

300

301−### `++pole`

301+## `++pole`

302

303Faceless [`list`](/docs/hoon/reference/stdlib/1c#list)

304

@@ -326,7 +326,7 @@ A mold generator. A [`list`](/docs/hoon/reference/stdlib/1c#list) without the fa

326

327---

328

329−### `++qual`

329+## `++qual`

330

331Mold of 4-type tuple

332

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

354

355---

356

357−### `++quip`

357+## `++quip`

358

359Mold of pair of [`list`](/docs/hoon/reference/stdlib/1c#list) and type

360

@@ -387,7 +387,7 @@ new state. You'll often see `quip` used in Gall apps.

387

388---

389

390−### `++step`

390+## `++step`

391

392Atom size or offset, in [bloq](#bloq)s.

393

@@ -412,7 +412,7 @@ Atom size or offset, in [bloq](#bloq)s.

412

413---

414

415−### `++trap`

415+## `++trap`

416

417[`Core`](/docs/glossary/core) with one arm `$`

418

@@ -445,7 +445,7 @@ A trap is a [`core`](/docs/glossary/core) with one arm `$`.

445

446---

447

448−### `++tree`

448+## `++tree`

449

450Tree mold generator

451

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

469

470---

471

472−### `++trel`

472+## `++trel`

473

474Mold of three types

475

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

497

498---

499

500−### `++unit`

500+## `++unit`

501

502Maybe

503

content/docs/hoon/reference/stdlib/2a.md+14−14

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

4template = "doc.html"

5+++

7−### `++biff`

7+## `++biff`

9[`Unit`](/docs/hoon/reference/stdlib/1c#unit) as argument

@@ -44,7 +44,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).

45---

47−### `++bind`

47+## `++bind`

49Non-unit function to [`unit`](/docs/hoon/reference/stdlib/1c#unit), producing [`unit`](/docs/hoon/reference/stdlib/1c#unit)

@@ -86,7 +86,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).

87---

89−### `++bond`

89+## `++bond`

91Replace null

@@ -129,7 +129,7 @@ Either the product of `a` or the value inside of [`unit`](/docs/hoon/reference/s

129

130---

131

132−### `++both`

132+## `++both`

133

134Group [`unit`](/docs/hoon/reference/stdlib/1c#unit) values into pair

135

@@ -171,7 +171,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit) of the two initial values.

171

172---

173

174−### `++clap`

174+## `++clap`

175

176Combine two [`units`](/docs/hoon/reference/stdlib/1c#unit) with function

177

@@ -221,7 +221,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).

221

222---

223

224−### `++clef`

224+## `++clef`

225

226Compose two [`units`](/docs/hoon/reference/stdlib/1c#unit) with function

227

@@ -270,7 +270,7 @@ A `unit`.

270

271---

272

273−### `++drop`

273+## `++drop`

274

275[`Unit`](/docs/hoon/reference/stdlib/1c#unit) to list

276

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

309

310---

311

312−### `++fall`

312+## `++fall`

313

314Give [`unit`](/docs/hoon/reference/stdlib/1c#unit) a default value

315

@@ -344,7 +344,7 @@ Either a [`noun`](/docs/glossary/noun) `b` or the unwrapped value of [`unit`](/d

344

345---

346

347−### `++flit`

347+## `++flit`

348

349Make filter

350

@@ -383,7 +383,7 @@ Accepts gate `a` which produces a `?`. Applies `a` to `b`, producing `b` wrapped

383

384---

385

386−### `++hunt`

386+## `++hunt`

387

388First of units

389

@@ -436,7 +436,7 @@ A `unit`.

436

437---

438

439−### `++lift`

439+## `++lift`

440

441Curried bind

442

@@ -477,7 +477,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).

477

478---

479

480−### `++mate`

480+## `++mate`

481

482Choose

483

@@ -533,7 +533,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit) or crash.

533

534---

535

536−### `++need`

536+## `++need`

537

538Unwrap [`unit`](/docs/hoon/reference/stdlib/1c#unit)

539

@@ -579,7 +579,7 @@ Either the unwrapped value of `a` (`u.a`), or crash.

579

580---

581

582−### `++some`

582+## `++some`

583

584Wrap value in a [`unit`](/docs/hoon/reference/stdlib/1c#unit)

585

content/docs/hoon/reference/stdlib/2b.md+35−35

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

4template = "doc.html"

5+++

7−### `++bake`

7+## `++bake`

9**Note:** This function isn't specifically a list function but is included in section 2b of the standard library so is documented here for completeness.

@@ -50,7 +50,7 @@ nest-fail

51---

53−### `++fand`

53+## `++fand`

55All indices in `list`

@@ -111,7 +111,7 @@ A `list`.

111

112---

113

114−### `++find`

114+## `++find`

115

116First index in `list`

117

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

176

177---

178

179−### `++flop`

179+## `++flop`

180

181Reverse

182

@@ -219,7 +219,7 @@ A `list`.

219

220---

221

222−### `++gulf`

222+## `++gulf`

223

224List from range

225

@@ -260,7 +260,7 @@ a `list`.

260

261---

262

263−### `++homo`

263+## `++homo`

264

265Homogenize

266

@@ -306,7 +306,7 @@ a `list`.

306

307---

308

309−### `++into`

309+## `++into`

310

311Insert item at index

312

@@ -343,7 +343,7 @@ the list of `a` with the item `c` inserted at index `b`.

343

344---

345

346−### `++join`

346+## `++join`

347

348Constructs a new `list`, placing `sep` between every element of `lit`.

349

@@ -385,7 +385,7 @@ a `list`.

385

386---

387

388−### `++lent`

388+## `++lent`

389

390List length

391

@@ -426,7 +426,7 @@ an atom.

426

427---

428

429−### `++levy`

429+## `++levy`

430

431Logical "and" on list

432

@@ -470,7 +470,7 @@ A boolean.

470

471---

472

473−### `++lien`

473+## `++lien`

474

475Logical "or" on list

476

@@ -511,7 +511,7 @@ every element of `++list` `a`.

511

512---

513

514−### `++limo`

514+## `++limo`

515

516List Constructor

517

@@ -545,7 +545,7 @@ A `++list`.

545

546---

547

548−### `++murn`

548+## `++murn`

549

550Maybe transform

551

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

587

588---

589

590−### `++oust`

590+## `++oust`

591

592Remove

593

@@ -625,7 +625,7 @@ A `++list`.

625

626---

627

628−### `++reap`

628+## `++reap`

629

630Replicate

631

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

668

669---

670

671−### `++rear`

671+## `++rear`

672

673Last item of list

674

@@ -708,7 +708,7 @@ dojo: hoon expression failed

708

709---

710

711−### `++reel`

711+## `++reel`

712

713Right fold

714

@@ -787,7 +787,7 @@ We can fix this with `|:`:

787

788---

789

790−### `++roll`

790+## `++roll`

791

792Left fold

793

@@ -866,7 +866,7 @@ We can fix this with `|:`:

866

867---

868

869−### `++scag`

869+## `++scag`

870

871Prefix

872

@@ -908,7 +908,7 @@ A list of the same type as `b`.

908

909---

910

911−### `++skid`

911+## `++skid`

912

913Separate

914

@@ -950,7 +950,7 @@ A cell of two lists.

950

951---

952

953−### `++skim`

953+## `++skim`

954

955Suffix

956

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

990

991---

992

993−### `++skip`

993+## `++skip`

994

995Except

996

@@ -1030,7 +1030,7 @@ A list of the same type as `a`.

1030

1031---

1032

1033−### `++slag`

1033+## `++slag`

1034

1035Suffix

1036

@@ -1070,7 +1070,7 @@ A list of the same type as `b`.

1070

1071---

1072

1073−### `++snag`

1073+## `++snag`

1074

1075Index

1076

@@ -1115,7 +1115,7 @@ Produces an element of `b`, or crashes if no element exists at that index.

1115

1116---

1117

1118−### `++snap`

1118+## `++snap`

1119

1120Replace item at index

1121

@@ -1152,7 +1152,7 @@ the list of `a` with the item at index `b` replaced with `c`.

1152

1153---

1154

1155−### `++snip`

1155+## `++snip`

1156

1157Drop tail off list

1158

@@ -1192,7 +1192,7 @@ A `list`.

1192

1193---

1194

1195−### `++snoc`

1195+## `++snoc`

1196

1197Append

1198

@@ -1227,7 +1227,7 @@ Produces a list of `b` appended to `a`.

1227

1228---

1229

1230−### `++sort`

1230+## `++sort`

1231

1232Quicksort

1233

@@ -1270,7 +1270,7 @@ A list

1270

1271---

1272

1273−### `++spin` {#spin}

1273+## `++spin` {#spin}

1274

1275Gate to list, with state

1276

@@ -1338,7 +1338,7 @@ is the continuation of the RNG.

1338

1339---

1340

1341−### `++spun` {#spun}

1341+## `++spun` {#spun}

1342

1343Gate to list, with state

1344

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

1386

1387---

1388

1389−### `++swag`

1389+## `++swag`

1390

1391Infix

1392

@@ -1427,7 +1427,7 @@ A list of the same type as `c`.

1427

1428---

1429

1430−### `++turn`

1430+## `++turn`

1431

1432Gate to list

1433

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

1476

1477---

1478

1479−### `++weld`

1479+## `++weld`

1480

1481Concatenate

1482

@@ -1512,7 +1512,7 @@ Concatenate two `++list`s `a` and `b`.

1512

1513---

1514

1515−### `++welp`

1515+## `++welp`

1516

1517Perfect weld

1518

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

1566

1567---

1568

1569−### `++zing`

1569+## `++zing`

1570

1571Turns a `++list` of lists into a single list by promoting the elements of

1572each sublist into the higher.

content/docs/hoon/reference/stdlib/2d.md+4−4

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

4template = "doc.html"

5+++

7−### `++con`

7+## `++con`

9Binary OR

@@ -99,7 +99,7 @@ bitwise AND is the logical conjunction.

100---

101

102−### `++dis`

102+## `++dis`

103

104Binary AND

105

@@ -188,7 +188,7 @@ bitwise AND is the logical conjunction.

188

189---

190

191−### `++mix`

191+## `++mix`

192

193Binary XOR

194

@@ -274,7 +274,7 @@ its samples and its product are stacked.

274

275---

276

277−### `++not`

277+## `++not`

278

279Binary NOT

280

content/docs/hoon/reference/stdlib/2e.md+2−2

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

4template = "doc.html"

5+++

7−### `++mug` {#mug}

7+## `++mug` {#mug}

9murmur3 scrambler

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

71---

73−### `++muk`

73+## `++muk`

75Standard MurmurHash3

content/docs/hoon/reference/stdlib/2f.md+4−4

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

4template = "doc.html"

5+++

7−### `++aor`

7+## `++aor`

9Alphabetical order

@@ -97,7 +97,7 @@ This is different than [+dor](#dor) in that it compares atoms one byte at a time

98---

100−### `++dor`

100+## `++dor`

101

102Depth order

103

@@ -172,7 +172,7 @@ If one sample is a cell and the other is an atom, the cell sample is treated as

172

173---

174

175−### `++gor`

175+## `++gor`

176

177Mug order

178

@@ -250,7 +250,7 @@ elements) for ordering.

250

251---

252

253−### `++mor`

253+## `++mor`

254

255(more) mug order

256

content/docs/hoon/reference/stdlib/2g.md+2−2

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

4template = "doc.html"

5+++

7−### `++pow`

7+## `++pow`

9Computes `a` raised to the power of `b`, producing an atom.

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

53---

55−### `++sqt`

55+## `++sqt`

57Computes the square root of `a` and its remainder.

content/docs/hoon/reference/stdlib/2l.md+5−3

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

4template = "doc.html"

5+++

7−### `++malt`

7+## `++malt`

9Map from list

@@ -37,7 +37,8 @@ A map.

37```

39---

40+

40−### `++molt`

41+## `++molt`

42Map from pair list

43Map from pair list

@@ -75,7 +76,8 @@ A map.

75Only used internally as a helper to `malt`.

76Only used internally as a helper to `malt`.

77---

78---

79+

78−### `++silt`

80+## `++silt`

80Set from list

82Set from list

content/docs/hoon/reference/stdlib/2n.md+13−13

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

4template = "doc.html"

5+++

7−### `++aftr`

7+## `++aftr`

9Pair after

@@ -36,7 +36,7 @@ Pair after

37---

39−### `++cork`

39+## `++cork`

41Compose forward

@@ -69,7 +69,7 @@ Build `f` such that `(f x) .= (b (a x))`.

70---

72−### `++corl`

72+## `++corl`

74Compose backward

@@ -101,7 +101,7 @@ Build `f` such that

101

102---

103

104−### `++curr` {#curry}

104+## `++curr` {#curry}

105

106Right curry

107

@@ -140,7 +140,7 @@ A gate.

140

141---

142

143−### `++cury`

143+## `++cury`

144

145Curry left

146

@@ -179,7 +179,7 @@ A gate.

179

180---

181

182−### `++fore`

182+## `++fore`

183

184Pair before

185

@@ -211,7 +211,7 @@ Pair before

211

212---

213

214−### `++head`

214+## `++head`

215

216Get head

217

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

246

247---

248

249−### `++same`

249+## `++same`

250

251Identity

252

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

281

282---

283

284−### `++succ`

284+## `++succ`

285

286Successor

287

@@ -310,7 +310,7 @@ An `atom`.

310

311---

312

313−### `++tail`

313+## `++tail`

314

315Get tail

316

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

345

346---

347

348−### `++test`

348+## `++test`

349

350Test for equality

351

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

385

386---

387

388−### `++lead`

388+## `++lead`

389

390Put head

391

@@ -417,7 +417,7 @@ A cell of `[a b]`.

417

418---

419

420−### `++late`

420+## `++late`

421

422Put tail

423

content/docs/hoon/reference/stdlib/2p.md+4−4

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

4template = "doc.html"

5+++

7−### `++cue` {#cue}

7+## `++cue` {#cue}

9Unpack atom to noun

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

55---

57−### `++jam` {#jam}

57+## `++jam` {#jam}

59Pack noun to atom

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

124

125---

126

127−### `++mat`

127+## `++mat`

128

129Length-encode

130

@@ -189,7 +189,7 @@ A cell of two atoms, `p` and `q`.

189

190---

191

192−### `++rub`

192+## `++rub`

193

194Length-decode

195

content/docs/hoon/reference/stdlib/2q.md+19−19

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

4template = "doc.html"

5+++

7−### `+$axis`

7+## `+$axis`

9Tree address

@@ -34,7 +34,7 @@ right and `0` left.

35---

37−### `+$bean`

37+## `+$bean`

39Boolean

@@ -67,7 +67,7 @@ Note 1 is false and 0 is true. This is sometimes referred to as "loobean".

68---

70−### `+$flag`

70+## `+$flag`

72Boolean

@@ -81,7 +81,7 @@ Same as [$bean](#bean).

82---

84−### `+$char`

84+## `+$char`

86Character

@@ -107,7 +107,7 @@ A single `@t` character.

107

108---

109

110−### `+$cord`

110+## `+$cord`

111

112UTF-8 text

113

@@ -149,7 +149,7 @@ from `tape` to `cord`.

149

150---

151

152−### `+$byts`

152+## `+$byts`

153

154bytes, LSB first

155

@@ -179,7 +179,7 @@ An atom `dat` with its byte-length specified in `wid`. This is to handle leading

179

180---

181

182−### `+$date`

182+## `+$date`

183

184Parsed date

185

@@ -211,7 +211,7 @@ See also: [`year`](/docs/hoon/reference/stdlib/3c#year), [`yore`](/docs/hoon/ref

211

212---

213

214−### `+$knot`

214+## `+$knot`

215

216ASCII text

217

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

235

236---

237

238−### `+$noun`

238+## `+$noun`

239

240Any noun

241

@@ -264,7 +264,7 @@ Any noun

264

265---

266

267−### `+$path`

267+## `+$path`

268

269Like unix path

270

@@ -295,7 +295,7 @@ A path is a list of [`$knot`](#knot).

295

296---

297

298−### `+$stud`

298+## `+$stud`

299

300Standard name

301

@@ -311,7 +311,7 @@ Standard name

311

312---

313

314−### `+$tang`

314+## `+$tang`

315

316Bottom-first error

317

@@ -349,7 +349,7 @@ bar

349

350---

351

352−### `+$tank`

352+## `+$tank`

353

354Formatted print tree

355

@@ -401,7 +401,7 @@ A `tank` is one of four cases:

401

402---

403

404−### `+$tape`

404+## `+$tape`

405

406List of characters

407

@@ -434,7 +434,7 @@ One of Hoon's two string types, the other being [`+cord`](#cord). A tape is a li

434

435---

436

437−### `+$tour`

437+## `+$tour`

438

439UTF-32 clusters

440

@@ -460,7 +460,7 @@ A `tour` is a list of UTF-32 characters.

460

461---

462

463−### `+$tarp`

463+## `+$tarp`

464

465Parsed time

466

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

491

492---

493

494−### `+$term`

494+## `+$term`

495

496Hoon constant

497

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

528

529---

530

531−### `+$wain`

531+## `+$wain`

532

533List of strings

534

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

552

553---

554

555−### `+$wall`

555+## `+$wall`

556

557List of list of characters

558

content/docs/hoon/reference/stdlib/3a.md+25−5

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

4template = "doc.html"

5+++

7−### `++egcd`

7+## `++egcd`

9Extended Euclidean algorithm

@@ -54,7 +54,8 @@ of `a` and `b`. Also produces `u` and `v` such that `au + bv = GCD(a, b)`.

54```

56---

57+

57−### `++fo`

58+## `++fo`

59Modulo prime

60Modulo prime

@@ -69,6 +70,7 @@ Container core for modular arithmetic functions.

69```

70```

71---

72---

73+

72### `++dif:fo`

74### `++dif:fo`

74Subtraction

76Subtraction

@@ -106,6 +108,7 @@ An atom.

106```

108```

107

109

108---

110---

111+

109### `++exp:fo`

112### `++exp:fo`

110

113

111Exponent

114Exponent

@@ -153,6 +156,7 @@ An atom.

153```

156```

154

157

155---

158---

159+

156### `++fra:fo`

160### `++fra:fo`

157

161

158Divide

162Divide

@@ -202,6 +206,7 @@ An atom.

202```

206```

203

207

204---

208---

209+

205### `++inv:fo`

210### `++inv:fo`

206

211

207Inverse

212Inverse

@@ -248,6 +253,7 @@ An atom.

248```

253```

249

254

250---

255---

256+

251### `++pro:fo`

257### `++pro:fo`

252

258

253Multiplication

259Multiplication

@@ -285,6 +291,7 @@ An atom.

285```

291```

286

292

287---

293---

294+

288### `++sit:fo`

295### `++sit:fo`

289

296

290Modulus

297Modulus

@@ -317,6 +324,7 @@ An atom.

317```

324```

318

325

319---

326---

327+

320### `++sum:fo`

328### `++sum:fo`

321

329

322Modular sum

330Modular sum

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

355```

363```

356

364

357---

365---

366+

358−### `++si`

367+## `++si`

359

368

360Signed integer

369Signed integer

361

370

@@ -393,6 +402,7 @@ one. For example:

393```

402```

394

403

395---

404---

405+

396### `++abs:si`

406### `++abs:si`

397

407

398Absolute value

408Absolute value

@@ -407,7 +417,7 @@ Produces the absolute value of signed integer `a`.

407

417

408An atom.

418An atom.

409

419

410−### Source

420+#### Source

411

421

412```hoon

422```hoon

413 ++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a)))

423 ++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a)))

@@ -424,6 +434,7 @@ An atom.

424```

434```

425

435

426---

436---

437+

427### `++dif:si`

438### `++dif:si`

428

439

429Subtraction

440Subtraction

@@ -458,6 +469,7 @@ A signed integer.

458```

469```

459

470

460---

471---

472+

461### `++dul:si`

473### `++dul:si`

462

474

463Modulus

475Modulus

@@ -497,6 +509,7 @@ An atom.

497```

509```

498

510

499---

511---

512+

500### `++fra:si`

513### `++fra:si`

501

514

502Divide

515Divide

@@ -534,6 +547,7 @@ A signed atom.

534```

547```

535

548

536---

549---

550+

537### `++new:si`

551### `++new:si`

538

552

539Atom to @s

553Atom to @s

@@ -576,6 +590,7 @@ A signed integer.

576```

590```

577

591

578---

592---

593+

579### `++old:si`

594### `++old:si`

580

595

581Sign and absolute value

596Sign and absolute value

@@ -608,6 +623,7 @@ A cell composed of a `term` and an atom.

608```

623```

609

624

610---

625---

626+

611### `++pro:si`

627### `++pro:si`

612

628

613Multiplication

629Multiplication

@@ -638,6 +654,7 @@ Produces a signed integer by multiplying `a` and `b`.

638```

654```

639

655

640---

656---

657+

641### `++rem:si`

658### `++rem:si`

642

659

643Remainder

660Remainder

@@ -676,8 +693,8 @@ A signed integer.

676 --2

693 --2

677```

694```

678

695

679−

680---

696---

697+

681### `++sum:si`

698### `++sum:si`

682

699

683Addition

700Addition

@@ -723,6 +740,7 @@ A signed integer.

723```

740```

724

741

725---

742---

743+

726### `++sun:si`

744### `++sun:si`

727

745

728@u to @s

746@u to @s

@@ -766,6 +784,7 @@ An atom.

766```

784```

767

785

768---

786---

787+

769### `++syn:si`

788### `++syn:si`

770

789

771Sign test

790Sign test

@@ -798,6 +817,7 @@ An `term`.

798```

817```

799

818

800---

819---

820+

801### `++cmp:si`

821### `++cmp:si`

802

822

803Compare

823Compare

content/docs/hoon/reference/stdlib/3b.md+200−29

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

4template = "doc.html"

5+++

7−### `++fn`

7+## `++fn`

9Float

@@ -25,7 +25,7 @@ exponent, a signed decimal; and `a` to the significand, an unsigned integer.

25 ==

26```

28−### Examples

28+#### Examples

30```

31 > *fn

@@ -44,9 +44,9 @@ exponent, a signed decimal; and `a` to the significand, an unsigned integer.

44 [%f s=%.y e=--17 a=7.333.324.850.834.000.007.430.214.137.126.970]

45```

47−

48---

47---

48+

49−### `++dn`

49+## `++dn`

51Decimal float

@@ -79,7 +79,8 @@ and `a` to the significand, an unsigned integer.

79```

81---

82+

82−### `++rn`

83+## `++rn`

84Parsed decimal float

85Parsed decimal float

@@ -106,7 +107,8 @@ not-a-number (`$n`).

106```

107```

107

108

108---

109---

110+

109−### `++fl`

111+## `++fl`

110

112

111Arbitrary-precision floating-point

113Arbitrary-precision floating-point

112

114

@@ -134,6 +136,7 @@ Container arm for floating-point arithmetic functions.

134```

136```

135

137

136---

138---

139+

137### `++rou:fl`

140### `++rou:fl`

138

141

139Round

142Round

@@ -175,6 +178,7 @@ An `fn`.

175```

178```

176

179

177---

180---

181+

178### `++rau:fl`

182### `++rau:fl`

179

183

180Various roundings

184Various roundings

@@ -212,12 +216,12 @@ An `fn`.

212 [%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]

216 [%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]

213```

217```

214

218

215−

216#### Discussion

219#### Discussion

217

220

218See `lug:fl` for possible rounding operations.

221See `lug:fl` for possible rounding operations.

219

222

220---

223---

224+

221### `++add:fl`

225### `++add:fl`

222

226

223Add

227Add

@@ -273,6 +277,7 @@ An `fn`.

273```

277```

274

278

275---

279---

280+

276### `++sub:fl`

281### `++sub:fl`

277

282

278Subtract

283Subtract

@@ -329,6 +334,7 @@ An `fn`.

329```

334```

330

335

331---

336---

337+

332### `++mul:fl`

338### `++mul:fl`

333

339

334Multiply

340Multiply

@@ -362,6 +368,7 @@ An `fn`.

362```

368```

363

369

364---

370---

371+

365### `++div:fl`

372### `++div:fl`

366

373

367Divide

374Divide

@@ -400,6 +407,7 @@ An `fn`.

400```

407```

401

408

402---

409---

410+

403### `++sqt:fl`

411### `++sqt:fl`

404

412

405Square root

413Square root

@@ -437,6 +445,7 @@ An `fn`.

437```

445```

438

446

439---

447---

448+

440### `++lth:fl`

449### `++lth:fl`

441

450

442Less than

451Less than

@@ -477,6 +486,7 @@ An `flag`.

477```

486```

478

487

479---

488---

489+

480### `++equ:fl`

490### `++equ:fl`

481

491

482Equals

492Equals

@@ -515,6 +525,7 @@ A `flag`.

515```

525```

516

526

517---

527---

528+

518### `++ibl:fl`

529### `++ibl:fl`

519

530

520Integer binary logarithm

531Integer binary logarithm

@@ -546,6 +557,7 @@ A signed integer.

546```

557```

547

558

548---

559---

560+

549### `++uni:fl`

561### `++uni:fl`

550

562

551Change representation to odd

563Change representation to odd

@@ -582,6 +594,7 @@ A cell of a signed integer and an unsigned integer.

582```

594```

583

595

584---

596---

597+

585### `++xpd:fl`

598### `++xpd:fl`

586

599

587Expand

600Expand

@@ -625,6 +638,7 @@ A cell of a signed integer and an unsigned integer.

625```

638```

626

639

627---

640---

641+

628### `++lug:fl`

642### `++lug:fl`

629

643

630Central rounding mechanism

644Central rounding mechanism

@@ -634,6 +648,7 @@ value selected for `t`. `s` is a sticky bit that represents a value less than

634ULP(a) = 2^(e.a)

648ULP(a) = 2^(e.a)

635

649

636Possible rounding operations:

650Possible rounding operations:

651+

637- Floor (`$fl`)

652- Floor (`$fl`)

638- Ceiling (`$ce`)

653- Ceiling (`$ce`)

639- Smaller (`$sm`)

654- Smaller (`$sm`)

@@ -730,6 +745,7 @@ An `fn`.

730```

745```

731

746

732---

747---

748+

733### `++drg:fl`

749### `++drg:fl`

734

750

735Get printable decimal

751Get printable decimal

@@ -814,6 +830,7 @@ A cell of a signed integer and an unsigned integer.

814```

830```

815

831

816---

832---

833+

817### `++toj:fl`

834### `++toj:fl`

818

835

819Round to integer

836Round to integer

@@ -855,6 +872,7 @@ An `fn`.

855```

872```

856

873

857---

874---

875+

858### `++ned:fl`

876### `++ned:fl`

859

877

860Require float

878Require float

@@ -882,7 +900,6 @@ A cell of a signed integer and an unsigned integer.

882

900

883#### Examples

901#### Examples

884

902

885−

886```

903```

887 > (ned:fl [%f s=%.y e=-11 a=7.530.107.827.833.587])

904 > (ned:fl [%f s=%.y e=-11 a=7.530.107.827.833.587])

888 [%f s=%.y e=-11 a=7.530.107.827.833.587]

905 [%f s=%.y e=-11 a=7.530.107.827.833.587]

@@ -897,6 +914,7 @@ A cell of a signed integer and an unsigned integer.

897```

914```

898

915

899---

916---

917+

900### `++shf:fl`

918### `++shf:fl`

901

919

902Shift power

920Shift power

@@ -937,6 +955,7 @@ An `fn`.

937```

955```

938

956

939---

957---

958+

940### `++fli:fl`

959### `++fli:fl`

941

960

942Flip sign

961Flip sign

@@ -973,6 +992,7 @@ An `fn`.

973```

992```

974

993

975---

994---

995+

976### `++swr:fl`

996### `++swr:fl`

977

997

978Switch rounding

998Switch rounding

@@ -1000,6 +1020,7 @@ Switches the rounding mode of `r:fl`.

1000```

1020```

1001

1021

1002---

1022---

1023+

1003### `++prc:fl`

1024### `++prc:fl`

1004

1025

1005Force precision of 2 or greater

1026Force precision of 2 or greater

@@ -1030,6 +1051,7 @@ Otherwise, a crash is produced.

1030```

1051```

1031

1052

1032---

1053---

1054+

1033### `++den:fl`

1055### `++den:fl`

1034

1056

1035Behavior

1057Behavior

@@ -1062,6 +1084,7 @@ The default value of `d` is `%d`.

1062```

1084```

1063

1085

1064---

1086---

1087+

1065### `++emn:fl`

1088### `++emn:fl`

1066

1089

1067Minimum exponent

1090Minimum exponent

@@ -1082,6 +1105,7 @@ Produces `v:fl`, the minimum exponent. The default minimum exponent is -16.494.

1082```

1105```

1083

1106

1084---

1107---

1108+

1085### `++emx:fl`

1109### `++emx:fl`

1086

1110

1087Maximum exponent

1111Maximum exponent

@@ -1105,6 +1129,7 @@ Returns the maximum exponent of `fl`. The default maximum exponent is --16.271.

1105```

1129```

1106

1130

1107---

1131---

1132+

1108### `++spd:fl`

1133### `++spd:fl`

1109

1134

1110Smallest denormal

1135Smallest denormal

@@ -1125,6 +1150,7 @@ Produces the smallest possible denormalized float.

1125```

1150```

1126

1151

1127---

1152---

1153+

1128### `++spn:fl`

1154### `++spn:fl`

1129

1155

1130Smallest normal

1156Smallest normal

@@ -1145,6 +1171,7 @@ Produces the smallest representable normal float.

1145```

1171```

1146

1172

1147---

1173---

1174+

1148### `++lfn:fl`

1175### `++lfn:fl`

1149

1176

1150Largest normal

1177Largest normal

@@ -1165,6 +1192,7 @@ Produces the largest representable normal float.

1165```

1192```

1166

1193

1167---

1194---

1195+

1168### `++lfe:fl`

1196### `++lfe:fl`

1169

1197

1170Maximum

1198Maximum

@@ -1185,6 +1213,7 @@ Produces the sum of `emx:fl` plus `prc:fl`.

1185```

1213```

1186

1214

1187---

1215---

1216+

1188### `++zer:fl`

1217### `++zer:fl`

1189

1218

1190Zero

1219Zero

@@ -1207,6 +1236,7 @@ Produces zero represented as a float.

1207```

1236```

1208

1237

1209---

1238---

1239+

1210### `++rou:fl`

1240### `++rou:fl`

1211

1241

1212Round

1242Round

@@ -1250,6 +1280,7 @@ An `fn`.

1250```

1280```

1251

1281

1252---

1282---

1283+

1253### `++syn:fl`

1284### `++syn:fl`

1254

1285

1255Get sign

1286Get sign

@@ -1283,6 +1314,7 @@ An `fn`.

1283```

1314```

1284

1315

1285---

1316---

1317+

1286### `++abs:fl`

1318### `++abs:fl`

1287

1319

1288Absolute value

1320Absolute value

@@ -1317,6 +1349,7 @@ An `fn`.

1317```

1349```

1318

1350

1319---

1351---

1352+

1320### `++add:fl`

1353### `++add:fl`

1321

1354

1322Add

1355Add

@@ -1365,6 +1398,7 @@ An `fn`.

1365```

1398```

1366

1399

1367---

1400---

1401+

1368### `++ead:fl`

1402### `++ead:fl`

1369

1403

1370Exact add

1404Exact add

@@ -1414,6 +1448,7 @@ An `fn`.

1414```

1448```

1415

1449

1416---

1450---

1451+

1417### `++sub:fl`

1452### `++sub:fl`

1418

1453

1419Subtract

1454Subtract

@@ -1445,6 +1480,7 @@ An `fn`.

1445```

1480```

1446

1481

1447---

1482---

1483+

1448### `++mul:fl`

1484### `++mul:fl`

1449

1485

1450Multiply

1486Multiply

@@ -1479,6 +1515,7 @@ An `fn`.

1479```

1515```

1480

1516

1481---

1517---

1518+

1482### `++emu:fl`

1519### `++emu:fl`

1483

1520

1484Exact multiply

1521Exact multiply

@@ -1512,6 +1549,7 @@ An `fn`.

1512```

1549```

1513

1550

1514---

1551---

1552+

1515### `++div:fl`

1553### `++div:fl`

1516

1554

1517Divide

1555Divide

@@ -1544,6 +1582,7 @@ An `fn`.

1544```

1582```

1545

1583

1546---

1584---

1585+

1547### `++fma:fl`

1586### `++fma:fl`

1548

1587

1549Fused multiply-add

1588Fused multiply-add

@@ -1579,6 +1618,7 @@ An `fn`.

1579```

1618```

1580

1619

1581---

1620---

1621+

1582### `++sqt:fl`

1622### `++sqt:fl`

1583

1623

1584Square root

1624Square root

@@ -1612,6 +1652,7 @@ An `fn`.

1612```

1652```

1613

1653

1614---

1654---

1655+

1615### `++inv:fl`

1656### `++inv:fl`

1616

1657

1617Inverse

1658Inverse

@@ -1654,6 +1695,7 @@ An `fn`.

1654```

1695```

1655

1696

1656---

1697---

1698+

1657### `++sun:fl`

1699### `++sun:fl`

1658

1700

1659Signed integer to float

1701Signed integer to float

@@ -1690,7 +1732,8 @@ An `fn`.

1690```

1732```

1691

1733

1692---

1734---

1735+

1693−### `++san:fl`

1736+### `++san:fl`

1694

1737

1695Signed integer to float

1738Signed integer to float

1696

1739

@@ -1724,6 +1767,7 @@ An `fn`.

1724```

1767```

1725

1768

1726---

1769---

1770+

1727### `++lth:fl`

1771### `++lth:fl`

1728

1772

1729Less than

1773Less than

@@ -1770,6 +1814,7 @@ A `unit` of `flag`.

1770```

1814```

1771

1815

1772---

1816---

1817+

1773### `++lte:fl`

1818### `++lte:fl`

1774

1819

1775Less than or equal

1820Less than or equal

@@ -1815,6 +1860,7 @@ A `unit` of `flag`.

1815```

1860```

1816

1861

1817---

1862---

1863+

1818### `++equ:fl`

1864### `++equ:fl`

1819

1865

1820Equals

1866Equals

@@ -1857,6 +1903,7 @@ An `unit` of `flag`.

1857```

1903```

1858

1904

1859---

1905---

1906+

1860### `++gte:fl`

1907### `++gte:fl`

1861

1908

1862Greater or equal than

1909Greater or equal than

@@ -1895,6 +1942,7 @@ An `unit` of `flag`.

1895```

1942```

1896

1943

1897---

1944---

1945+

1898### `++gth:fl`

1946### `++gth:fl`

1899

1947

1900Greater than

1948Greater than

@@ -1930,6 +1978,7 @@ An `unit` of `flag`.

1930```

1978```

1931

1979

1932---

1980---

1981+

1933### `++drg:fl`

1982### `++drg:fl`

1934

1983

1935Float to decimal

1984Float to decimal

@@ -1964,6 +2013,7 @@ A `dn`.

1964```

2013```

1965

2014

1966---

2015---

2016+

1967### `++grd:fl`

2017### `++grd:fl`

1968

2018

1969Decimal to float

2019Decimal to float

@@ -2003,6 +2053,7 @@ An `fn`.

2003```

2053```

2004

2054

2005---

2055---

2056+

2006### `++toi:fl`

2057### `++toi:fl`

2007

2058

2008Round to signed integer

2059Round to signed integer

@@ -2036,6 +2087,7 @@ A `unit` of @s.

2036```

2087```

2037

2088

2038---

2089---

2090+

2039### `++toj:fl`

2091### `++toj:fl`

2040

2092

2041Round to integer fn

2093Round to integer fn

@@ -2079,16 +2131,17 @@ A `unit` of @s.

2079```

2131```

2080

2132

2081---

2133---

2134+

2082−### `++ff`

2135+## `++ff`

2083

2136

2084IEEE-754 Formatting

2137IEEE-754 Formatting

2085

2138

2086Container core for IEEE-754 formatting operations.

2139Container core for IEEE-754 formatting operations.

2087

2140

2088−- `w` is width: The number of bits in the exponent field.

2141+- `w` is width: The number of bits in the exponent field.

2089−- `p` is precision: The number of bits in the significand field.

2142+- `p` is precision: The number of bits in the significand field.

2090−- `w` is bias: Added to exponent when storing.

2143+- `w` is bias: Added to exponent when storing.

2091−- `r` is rounding mode: Possible modes are nearest (`$n`), up (`$u`),

2144+- `r` is rounding mode: Possible modes are nearest (`$n`), up (`$u`),

2092 down (`$d`), to zero (`$z`), and away from zero (`$a`). Default value is `%a`.

2145 down (`$d`), to zero (`$z`), and away from zero (`$a`). Default value is `%a`.

2093

2146

2094#### Source

2147#### Source

@@ -2108,6 +2161,7 @@ Container core for IEEE-754 formatting operations.

2108```

2161```

2109

2162

2110---

2163---

2164+

2111#### Discussion

2165#### Discussion

2112

2166

2113`++ff` has no use outside of the functionality provided to other cores: `++rd`,

2167`++ff` has no use outside of the functionality provided to other cores: `++rd`,

@@ -2115,6 +2169,7 @@ Container core for IEEE-754 formatting operations.

2115meant to power those cores.

2169meant to power those cores.

2116

2170

2117---

2171---

2172+

2118### `++sb:ff`

2173### `++sb:ff`

2119

2174

2120Sign bit

2175Sign bit

@@ -2135,6 +2190,7 @@ Produces the sign bit of `++ff`.

2135```

2190```

2136

2191

2137---

2192---

2193+

2138### `++me:ff`

2194### `++me:ff`

2139

2195

2140Minimum exponent

2196Minimum exponent

@@ -2155,6 +2211,7 @@ Produces the minimum possible exponent of `ff`.

2155```

2211```

2156

2212

2157---

2213---

2214+

2158### `++pa:ff`

2215### `++pa:ff`

2159

2216

2160Initialize `fl`

2217Initialize `fl`

@@ -2187,6 +2244,7 @@ configuration of the `ff` core.

2187internal use in other cores.

2244internal use in other cores.

2188

2245

2189---

2246---

2247+

2190### `++sea:ff`

2248### `++sea:ff`

2191

2249

2192`@r` to `fn`

2250`@r` to `fn`

@@ -2225,6 +2283,7 @@ A `unit` of @s.

2225```

2283```

2226

2284

2227---

2285---

2286+

2228### `++bit:ff`

2287### `++bit:ff`

2229

2288

2230`fn` to `@r`, rounding

2289`fn` to `@r`, rounding

@@ -2253,6 +2312,7 @@ A `@r`.

2253```

2312```

2254

2313

2255---

2314---

2315+

2256### `++bif:ff`

2316### `++bif:ff`

2257

2317

2258`fn` to `@r`, no rounding

2318`fn` to `@r`, no rounding

@@ -2295,6 +2355,7 @@ A `flag`.

2295```

2355```

2296

2356

2297---

2357---

2358+

2298### `++sig:ff`

2359### `++sig:ff`

2299

2360

2300Get sign

2361Get sign

@@ -2325,6 +2386,7 @@ A `flag`.

2325```

2386```

2326

2387

2327---

2388---

2389+

2328### `++exp:ff`

2390### `++exp:ff`

2329

2391

2330Get exponent

2392Get exponent

@@ -2355,6 +2417,7 @@ A signed integer.

2355```

2417```

2356

2418

2357---

2419---

2420+

2358### `++add:ff`

2421### `++add:ff`

2359

2422

2360Add

2423Add

@@ -2387,6 +2450,7 @@ A `@r`, an IEEE float.

2387```

2450```

2388

2451

2389---

2452---

2453+

2390### `++sub:ff`

2454### `++sub:ff`

2391

2455

2392Sub

2456Sub

@@ -2419,6 +2483,7 @@ A `@r`, an IEEE float.

2419```

2483```

2420

2484

2421---

2485---

2486+

2422### `++mul:ff`

2487### `++mul:ff`

2423

2488

2424Multiply

2489Multiply

@@ -2451,6 +2516,7 @@ A `@r`, an IEEE float.

2451```

2516```

2452

2517

2453---

2518---

2519+

2454### `++div:ff`

2520### `++div:ff`

2455

2521

2456Divide

2522Divide

@@ -2483,6 +2549,7 @@ A `@r`, an IEEE float.

2483```

2549```

2484

2550

2485---

2551---

2552+

2486### `++fma:ff`

2553### `++fma:ff`

2487

2554

2488Fused multiply-add

2555Fused multiply-add

@@ -2518,6 +2585,7 @@ A `@r`, an IEEE float.

2518```

2585```

2519

2586

2520---

2587---

2588+

2521### `++sqt:ff`

2589### `++sqt:ff`

2522

2590

2523Square root

2591Square root

@@ -2548,6 +2616,7 @@ A `@r`, an IEEE float.

2548```

2616```

2549

2617

2550---

2618---

2619+

2551### `++lth:ff`

2620### `++lth:ff`

2552

2621

2553Less than

2622Less than

@@ -2582,6 +2651,7 @@ A `flag`.

2582```

2651```

2583

2652

2584---

2653---

2654+

2585### `++lte:ff`

2655### `++lte:ff`

2586

2656

2587Less than or equal to

2657Less than or equal to

@@ -2616,6 +2686,7 @@ A `flag`.

2616```

2686```

2617

2687

2618---

2688---

2689+

2619### `++equ:ff`

2690### `++equ:ff`

2620

2691

2621Equals

2692Equals

@@ -2650,6 +2721,7 @@ A `flag`.

2650```

2721```

2651

2722

2652---

2723---

2724+

2653### `++gte:ff`

2725### `++gte:ff`

2654

2726

2655Greater or equal than

2727Greater or equal than

@@ -2684,6 +2756,7 @@ A `flag`.

2684```

2756```

2685

2757

2686---

2758---

2759+

2687### `++gth:ff`

2760### `++gth:ff`

2688

2761

2689Greater than

2762Greater than

@@ -2718,6 +2791,7 @@ A `flag`.

2718```

2791```

2719

2792

2720---

2793---

2794+

2721### `++sun:ff`

2795### `++sun:ff`

2722

2796

2723Unsigned integer to `@r`

2797Unsigned integer to `@r`

@@ -2747,6 +2821,7 @@ A `@r`, an IEEE float.

2747```

2821```

2748

2822

2749---

2823---

2824+

2750### `++san:ff`

2825### `++san:ff`

2751

2826

2752Signed integer to `@r`

2827Signed integer to `@r`

@@ -2776,6 +2851,7 @@ A `@r`, an IEEE float.

2776```

2851```

2777

2852

2778---

2853---

2854+

2779### `++toi:ff`

2855### `++toi:ff`

2780

2856

2781Round to integer

2857Round to integer

@@ -2805,6 +2881,7 @@ A `flag` of `@s`.

2805```

2881```

2806

2882

2807---

2883---

2884+

2808### `++drg:ff`

2885### `++drg:ff`

2809

2886

2810`@r` to decimal float

2887`@r` to decimal float

@@ -2837,6 +2914,7 @@ A `dn`.

2837```

2914```

2838

2915

2839---

2916---

2917+

2840### `++grd:ff`

2918### `++grd:ff`

2841

2919

2842Decimal float to `@r`

2920Decimal float to `@r`

@@ -2867,7 +2945,8 @@ A `@r`, an IEEE float.

2867```

2945```

2868

2946

2869---

2947---

2948+

2870−### `++rlyd`

2949+## `++rlyd`

2871

2950

2872Prep `@rd` for print

2951Prep `@rd` for print

2873

2952

@@ -2895,7 +2974,8 @@ A `dn`.

2895```

2974```

2896

2975

2897---

2976---

2977+

2898−### `++rlys`

2978+## `++rlys`

2899

2979

2900Prep @rs for print

2980Prep @rs for print

2901

2981

@@ -2923,7 +3003,8 @@ A `dn`.

2923```

3003```

2924

3004

2925---

3005---

3006+

2926−### `++rlyh`

3007+## `++rlyh`

2927

3008

2928Prep `@rh` for print

3009Prep `@rh` for print

2929

3010

@@ -2951,7 +3032,8 @@ A `dn`.

2951```

3032```

2952

3033

2953---

3034---

3035+

2954−### `++rlyq`

3036+## `++rlyq`

2955

3037

2956Prep `@rq` for print

3038Prep `@rq` for print

2957

3039

@@ -2979,7 +3061,8 @@ A `dn`.

2979```

3061```

2980

3062

2981---

3063---

3064+

2982−### `++ryld`

3065+## `++ryld`

2983

3066

2984Finish parsing `@rd`

3067Finish parsing `@rd`

2985

3068

@@ -3007,7 +3090,8 @@ A a `@rd`, a double-precision float.

3007```

3090```

3008

3091

3009---

3092---

3093+

3010−### `++ryls`

3094+## `++ryls`

3011

3095

3012Finish parsing `@rs`

3096Finish parsing `@rs`

3013

3097

@@ -3038,7 +3122,8 @@ A a `@rs`, a single-precision float.

3038```

3122```

3039

3123

3040---

3124---

3125+

3041−### `++rylh`

3126+## `++rylh`

3042

3127

3043Finish parsing `@rh`

3128Finish parsing `@rh`

3044

3129

@@ -3072,7 +3157,8 @@ A a `@rh`, a half-precision float.

3072```

3157```

3073

3158

3074---

3159---

3160+

3075−### `++rylq`

3161+## `++rylq`

3076

3162

3077Finish parsing `@rq`

3163Finish parsing `@rq`

3078

3164

@@ -3100,7 +3186,8 @@ A a `@rq`, a quad-precision float.

3100```

3186```

3101

3187

3102---

3188---

3189+

3103−### `++rd`

3190+## `++rd`

3104

3191

3105Double-precision fp

3192Double-precision fp

3106

3193

@@ -3119,6 +3206,7 @@ down (`$d`), and round to zero (`$z`).

3119```

3206```

3120

3207

3121---

3208---

3209+

3122### `++ma:rd`

3210### `++ma:rd`

3123

3211

3124Initialize `ff`

3212Initialize `ff`

@@ -3143,6 +3231,7 @@ configuration of the `rd` core.

3143```

3231```

3144

3232

3145---

3233---

3234+

3146### `++sea:rd`

3235### `++sea:rd`

3147

3236

3148`@rd` to `fn`

3237`@rd` to `fn`

@@ -3162,6 +3251,7 @@ Converts `a` from a double-precision binary float to `fn`.

3162```

3251```

3163

3252

3164---

3253---

3254+

3165### `++bit:rd`

3255### `++bit:rd`

3166

3256

3167`fn` to `@rd`

3257`fn` to `@rd`

@@ -3191,6 +3281,7 @@ A `@rd`, a double-precision float.

3191```

3281```

3192

3282

3193---

3283---

3284+

3194### `++add:rd`

3285### `++add:rd`

3195

3286

3196Add

3287Add

@@ -3224,6 +3315,7 @@ A `@rd`.

3224```

3315```

3225

3316

3226---

3317---

3318+

3227### `++sub:rd`

3319### `++sub:rd`

3228

3320

3229Subtract

3321Subtract

@@ -3257,6 +3349,7 @@ A `@rd`.

3257```

3349```

3258

3350

3259---

3351---

3352+

3260### `++mul:rd`

3353### `++mul:rd`

3261

3354

3262Multiply

3355Multiply

@@ -3290,6 +3383,7 @@ A `@rd`.

3290```

3383```

3291

3384

3292---

3385---

3386+

3293### `++div:rd`

3387### `++div:rd`

3294

3388

3295Divide

3389Divide

@@ -3323,6 +3417,7 @@ A `@rd`.

3323```

3417```

3324

3418

3325---

3419---

3420+

3326### `++fma:rd`

3421### `++fma:rd`

3327

3422

3328Fused multiply-add

3423Fused multiply-add

@@ -3344,7 +3439,6 @@ A `@rd`.

3344

3439

3345#### Source

3440#### Source

3346

3441

3347−

3348#### Source

3442#### Source

3349

3443

3350```hoon

3444```hoon

@@ -3362,6 +3456,7 @@ A `@rd`.

3362```

3456```

3363

3457

3364---

3458---

3459+

3365### `++sqt:rd`

3460### `++sqt:rd`

3366

3461

3367Square root

3462Square root

@@ -3392,6 +3487,7 @@ A `@rd`.

3392```

3487```

3393

3488

3394---

3489---

3490+

3395### `++lth:rd`

3491### `++lth:rd`

3396

3492

3397Less than

3493Less than

@@ -3431,6 +3527,7 @@ A `@rd`.

3431```

3527```

3432

3528

3433---

3529---

3530+

3434### `++lte:rd`

3531### `++lte:rd`

3435

3532

3436Less than or equal

3533Less than or equal

@@ -3470,6 +3567,7 @@ A `@rd`.

3470```

3567```

3471

3568

3472---

3569---

3570+

3473### `++equ:rd`

3571### `++equ:rd`

3474

3572

3475Equals

3573Equals

@@ -3509,6 +3607,7 @@ A `@rd`.

3509```

3607```

3510

3608

3511---

3609---

3610+

3512### `++gte:rd`

3611### `++gte:rd`

3513

3612

3514Greater than or equal

3613Greater than or equal

@@ -3548,6 +3647,7 @@ A `@rd`.

3548```

3647```

3549

3648

3550---

3649---

3650+

3551### `++gth:rd`

3651### `++gth:rd`

3552

3652

3553Greater than

3653Greater than

@@ -3587,6 +3687,7 @@ A `@rd`.

3587```

3687```

3588

3688

3589---

3689---

3690+

3590### `++sun:rd`

3691### `++sun:rd`

3591

3692

3592Unsigned integer to `@rd`

3693Unsigned integer to `@rd`

@@ -3615,6 +3716,7 @@ A `@rd`.

3615```

3716```

3616

3717

3617---

3718---

3719+

3618### `++san:rd`

3720### `++san:rd`

3619

3721

3620Unsigned integer to `@rd`

3722Unsigned integer to `@rd`

@@ -3643,6 +3745,7 @@ A `@rd`.

3643```

3745```

3644

3746

3645---

3747---

3748+

3646### `++sig:rd`

3749### `++sig:rd`

3647

3750

3648Get sign

3751Get sign

@@ -3671,6 +3774,7 @@ A `flag`.

3671```

3774```

3672

3775

3673---

3776---

3777+

3674### `++exp:rd`

3778### `++exp:rd`

3675

3779

3676Get exponent

3780Get exponent

@@ -3699,6 +3803,7 @@ A `@s`.

3699```

3803```

3700

3804

3701---

3805---

3806+

3702### `++toi:rd`

3807### `++toi:rd`

3703

3808

3704Round to integer

3809Round to integer

@@ -3727,6 +3832,7 @@ A `unit` of `@s`.

3727```

3832```

3728

3833

3729---

3834---

3835+

3730### `++drg:rd`

3836### `++drg:rd`

3731

3837

3732`@rd` to decimal float

3838`@rd` to decimal float

@@ -3756,6 +3862,7 @@ A `dn`.

3756```

3862```

3757

3863

3758---

3864---

3865+

3759### `++grd:rd`

3866### `++grd:rd`

3760

3867

3761Decimal float to `@rd`

3868Decimal float to `@rd`

@@ -3785,7 +3892,8 @@ A `@rd`.

3785```

3892```

3786

3893

3787---

3894---

3895+

3788−### `++rs`

3896+## `++rs`

3789

3897

3790Single-precision fp

3898Single-precision fp

3791

3899

@@ -3804,6 +3912,7 @@ down (`$d`), and round to zero (`$z`).

3804```

3912```

3805

3913

3806---

3914---

3915+

3807### `++ma:rs`

3916### `++ma:rs`

3808

3917

3809Initialize `ff`

3918Initialize `ff`

@@ -3828,6 +3937,7 @@ configuration of the `rs` core.

3828```

3937```

3829

3938

3830---

3939---

3940+

3831### `++sea:rs`

3941### `++sea:rs`

3832

3942

3833`@rs` to `fn`

3943`@rs` to `fn`

@@ -3857,6 +3967,7 @@ An `fn`.

3857```

3967```

3858

3968

3859---

3969---

3970+

3860### `++bit:rs`

3971### `++bit:rs`

3861

3972

3862`fn` to `@rs`

3973`fn` to `@rs`

@@ -3886,6 +3997,7 @@ A `@rs`, a single-precision float.

3886```

3997```

3887

3998

3888---

3999---

4000+

3889### `++add:rs`

4001### `++add:rs`

3890

4002

3891Add

4003Add

@@ -3919,6 +4031,7 @@ A `@rs`.

3919```

4031```

3920

4032

3921---

4033---

4034+

3922### `++sub:rs`

4035### `++sub:rs`

3923

4036

3924Subtract

4037Subtract

@@ -3942,6 +4055,7 @@ Subtracts `a` from `b`.

3942```

4055```

3943

4056

3944---

4057---

4058+

3945### `++mul:rs`

4059### `++mul:rs`

3946

4060

3947Multiply

4061Multiply

@@ -3975,6 +4089,7 @@ A `@rs`.

3975```

4089```

3976

4090

3977---

4091---

4092+

3978### `++div:rs`

4093### `++div:rs`

3979

4094

3980Divide

4095Divide

@@ -4008,6 +4123,7 @@ A `@rs`.

4008```

4123```

4009

4124

4010---

4125---

4126+

4011### `++fma:rs`

4127### `++fma:rs`

4012

4128

4013Fused multiply-add

4129Fused multiply-add

@@ -4044,6 +4160,7 @@ A `@rs`.

4044```

4160```

4045

4161

4046---

4162---

4163+

4047### `++sqt:rs`

4164### `++sqt:rs`

4048

4165

4049Square root

4166Square root

@@ -4075,6 +4192,7 @@ A `@rs`.

4075```

4192```

4076

4193

4077---

4194---

4195+

4078### `++lth:rs`

4196### `++lth:rs`

4079

4197

4080Less than

4198Less than

@@ -4111,6 +4229,7 @@ A `@rs`.

4111```

4229```

4112

4230

4113---

4231---

4232+

4114### `++lte:rs`

4233### `++lte:rs`

4115

4234

4116Less than or equal

4235Less than or equal

@@ -4147,6 +4266,7 @@ A `@rs`.

4147```

4266```

4148

4267

4149---

4268---

4269+

4150### `++equ:rs`

4270### `++equ:rs`

4151

4271

4152Equals

4272Equals

@@ -4183,6 +4303,7 @@ A `@rs`.

4183```

4303```

4184

4304

4185---

4305---

4306+

4186### `++gte:rs`

4307### `++gte:rs`

4187

4308

4188Greater than or equal

4309Greater than or equal

@@ -4219,6 +4340,7 @@ A `@rs`.

4219```

4340```

4220

4341

4221---

4342---

4343+

4222### `++gth:rs`

4344### `++gth:rs`

4223

4345

4224Greater than

4346Greater than

@@ -4258,6 +4380,7 @@ A `@rs`.

4258```

4380```

4259

4381

4260---

4382---

4383+

4261### `++sun:rs`

4384### `++sun:rs`

4262

4385

4263Unsigned integer to `@rs`

4386Unsigned integer to `@rs`

@@ -4286,6 +4409,7 @@ A `@rs`.

4286```

4409```

4287

4410

4288---

4411---

4412+

4289### `++san:rs`

4413### `++san:rs`

4290

4414

4291Signed integer to `@rs`'

4415Signed integer to `@rs`'

@@ -4344,6 +4468,7 @@ A `flag`.

4344```

4468```

4345

4469

4346---

4470---

4471+

4347### `++exp:rs`

4472### `++exp:rs`

4348

4473

4349Get exponent

4474Get exponent

@@ -4372,6 +4497,7 @@ A signed integer.

4372```

4497```

4373

4498

4374---

4499---

4500+

4375### `++toi:rs`

4501### `++toi:rs`

4376

4502

4377Round to integer

4503Round to integer

@@ -4400,6 +4526,7 @@ A `unit` of `@s`.

4400```

4526```

4401

4527

4402---

4528---

4529+

4403### `++drg:rs`

4530### `++drg:rs`

4404

4531

4405`@rs` to decimal float

4532`@rs` to decimal float

@@ -4429,6 +4556,7 @@ A `dn`.

4429```

4556```

4430

4557

4431---

4558---

4559+

4432### `++grd:rs`

4560### `++grd:rs`

4433

4561

4434Decimal float to `@rs`

4562Decimal float to `@rs`

@@ -4458,7 +4586,8 @@ A `@rs`.

4458```

4586```

4459

4587

4460---

4588---

4589+

4461−### `++rq`

4590+## `++rq`

4462

4591

4463Quadruple-precision fp

4592Quadruple-precision fp

4464

4593

@@ -4491,6 +4620,7 @@ configuration of the `rq` core.

4491```

4620```

4492

4621

4493---

4622---

4623+

4494### `++sea:rq`

4624### `++sea:rq`

4495

4625

4496`@rq` to `fn`

4626`@rq` to `fn`

@@ -4520,6 +4650,7 @@ An `fn`.

4520```

4650```

4521

4651

4522---

4652---

4653+

4523### `++bit:rq`

4654### `++bit:rq`

4524

4655

4525`fn` to `@rq`

4656`fn` to `@rq`

@@ -4549,6 +4680,7 @@ A `@rq`, a quad-precision float.

4549```

4680```

4550

4681

4551---

4682---

4683+

4552### `++add:rq`

4684### `++add:rq`

4553

4685

4554Add

4686Add

@@ -4582,6 +4714,7 @@ A `@rq`.

4582```

4714```

4583

4715

4584---

4716---

4717+

4585### `++sub:rq`

4718### `++sub:rq`

4586

4719

4587Subtract

4720Subtract

@@ -4618,6 +4751,7 @@ A `@rq`.

4618```

4751```

4619

4752

4620---

4753---

4754+

4621### `++mul:rq`

4755### `++mul:rq`

4622

4756

4623Multiply

4757Multiply

@@ -4651,6 +4785,7 @@ A `@rq`.

4651```

4785```

4652

4786

4653---

4787---

4788+

4654### `++div:rq`

4789### `++div:rq`

4655

4790

4656Divide

4791Divide

@@ -4684,6 +4819,7 @@ A `@rq`.

4684```

4819```

4685

4820

4686---

4821---

4822+

4687### `++fma:rq`

4823### `++fma:rq`

4688

4824

4689Fused multiply-add

4825Fused multiply-add

@@ -4720,6 +4856,7 @@ A `@rq`.

4720```

4856```

4721

4857

4722---

4858---

4859+

4723### `++sqt:rq`

4860### `++sqt:rq`

4724

4861

4725Square root

4862Square root

@@ -4751,6 +4888,7 @@ A `@rq`.

4751```

4888```

4752

4889

4753---

4890---

4891+

4754### `++lth:rq`

4892### `++lth:rq`

4755

4893

4756Less than

4894Less than

@@ -4776,7 +4914,6 @@ A `@rq`.

4776 (lth:ma a b)

4914 (lth:ma a b)

4777```

4915```

4778

4916

4779−

4780#### Examples

4917#### Examples

4781

4918

4782```

4919```

@@ -4788,6 +4925,7 @@ A `@rq`.

4788```

4925```

4789

4926

4790---

4927---

4928+

4791### `++lte:rq`

4929### `++lte:rq`

4792

4930

4793Less than or equal

4931Less than or equal

@@ -4827,6 +4965,7 @@ A `@rq`.

4827```

4965```

4828

4966

4829---

4967---

4968+

4830### `++equ:rq`

4969### `++equ:rq`

4831

4970

4832Equals

4971Equals

@@ -4863,6 +5002,7 @@ A `@rq`.

4863```

5002```

4864

5003

4865---

5004---

5005+

4866### `++gte:rq`

5006### `++gte:rq`

4867

5007

4868Greater than or equal

5008Greater than or equal

@@ -4902,6 +5042,7 @@ A `@rq`.

4902```

5042```

4903

5043

4904---

5044---

5045+

4905### `++gth:rq`

5046### `++gth:rq`

4906

5047

4907Tests whether `a` is greater than `b`.

5048Tests whether `a` is greater than `b`.

@@ -4939,6 +5080,7 @@ A `@rq`.

4939```

5080```

4940

5081

4941---

5082---

5083+

4942### `++sun:rq`

5084### `++sun:rq`

4943

5085

4944Unsigned integer to `@rq`

5086Unsigned integer to `@rq`

@@ -4967,6 +5109,7 @@ A `@rq`, a quad-precision float.

4967```

5109```

4968

5110

4969---

5111---

5112+

4970### `++san:rq`

5113### `++san:rq`

4971

5114

4972Signed integer to `rq`

5115Signed integer to `rq`

@@ -4995,6 +5138,7 @@ A `@rq`, a quad-precision float.

4995```

5138```

4996

5139

4997---

5140---

5141+

4998### `++sig:rq`

5142### `++sig:rq`

4999

5143

5000Get sign

5144Get sign

@@ -5023,6 +5167,7 @@ A `flag`.

5023```

5167```

5024

5168

5025---

5169---

5170+

5026### `++exp:rq`

5171### `++exp:rq`

5027

5172

5028Get exponent

5173Get exponent

@@ -5051,6 +5196,7 @@ A `@s`, a signed integer.

5051```

5196```

5052

5197

5053---

5198---

5199+

5054### `++toi:rq`

5200### `++toi:rq`

5055

5201

5056Round to integer

5202Round to integer

@@ -5082,6 +5228,7 @@ A `unit` of `@s`.

5082```

5228```

5083

5229

5084---

5230---

5231+

5085### `++drg:rq`

5232### `++drg:rq`

5086

5233

5087`@rq` to decimal float

5234`@rq` to decimal float

@@ -5114,6 +5261,7 @@ A `dn`.

5114```

5261```

5115

5262

5116---

5263---

5264+

5117### `++grd:rq`

5265### `++grd:rq`

5118

5266

5119Decimal float to `@rq`

5267Decimal float to `@rq`

@@ -5145,7 +5293,8 @@ A `@rq`, a quad-precision float.

5145```

5293```

5146

5294

5147---

5295---

5296+

5148−### `++rh`

5297+## `++rh`

5149

5298

5150Half-precision fp

5299Half-precision fp

5151

5300

@@ -5164,6 +5313,7 @@ down (`$d`), and round to zero (`$z`).

5164```

5313```

5165

5314

5166---

5315---

5316+

5167### `++ma:rh`

5317### `++ma:rh`

5168

5318

5169Initialize `ff`

5319Initialize `ff`

@@ -5179,6 +5329,7 @@ configuration of the `rh` core.

5179```

5329```

5180

5330

5181---

5331---

5332+

5182### `++sea:rh`

5333### `++sea:rh`

5183

5334

5184`@rh` to `fn`

5335`@rh` to `fn`

@@ -5208,6 +5359,7 @@ An `fn`.

5208```

5359```

5209

5360

5210---

5361---

5362+

5211### `++bit:rh`

5363### `++bit:rh`

5212

5364

5213`fn` to `@rh`

5365`fn` to `@rh`

@@ -5237,6 +5389,7 @@ A `@rh`, a half-precision float.

5237```

5389```

5238

5390

5239---

5391---

5392+

5240### `++add:rh`

5393### `++add:rh`

5241

5394

5242Produces the sum of `a` plus `b`.

5395Produces the sum of `a` plus `b`.

@@ -5268,6 +5421,7 @@ A `@rh`.

5268```

5421```

5269

5422

5270---

5423---

5424+

5271### `++sub:rh`

5425### `++sub:rh`

5272

5426

5273Subtract

5427Subtract

@@ -5304,6 +5458,7 @@ A `@rh`.

5304```

5458```

5305

5459

5306---

5460---

5461+

5307### `++mul:rh`

5462### `++mul:rh`

5308

5463

5309Multiply

5464Multiply

@@ -5337,6 +5492,7 @@ A `@rh`.

5337```

5492```

5338

5493

5339---

5494---

5495+

5340### `++div:rh`

5496### `++div:rh`

5341

5497

5342Divide

5498Divide

@@ -5370,6 +5526,7 @@ A `@rh`.

5370```

5526```

5371

5527

5372---

5528---

5529+

5373### `++fma:rh`

5530### `++fma:rh`

5374

5531

5375Fused multiply-add

5532Fused multiply-add

@@ -5406,6 +5563,7 @@ A `@rh`.

5406```

5563```

5407

5564

5408---

5565---

5566+

5409### `++sqt:rh`

5567### `++sqt:rh`

5410

5568

5411Square root

5569Square root

@@ -5437,6 +5595,7 @@ A `@rh`.

5437```

5595```

5438

5596

5439---

5597---

5598+

5440### `++lth:rh`

5599### `++lth:rh`

5441

5600

5442Less than

5601Less than

@@ -5473,6 +5632,7 @@ A `@rh`.

5473```

5632```

5474

5633

5475---

5634---

5635+

5476### `++lte:rh`

5636### `++lte:rh`

5477

5637

5478Less than or equal

5638Less than or equal

@@ -5512,6 +5672,7 @@ A `@rh`.

5512```

5672```

5513

5673

5514---

5674---

5675+

5515### `++equ:rh`

5676### `++equ:rh`

5516

5677

5517Equals

5678Equals

@@ -5548,6 +5709,7 @@ A `@rh`.

5548```

5709```

5549

5710

5550---

5711---

5712+

5551### `++gte:rh`

5713### `++gte:rh`

5552

5714

5553Greater than or equal

5715Greater than or equal

@@ -5587,6 +5749,7 @@ A `@rh`.

5587```

5749```

5588

5750

5589---

5751---

5752+

5590### `++gth:rh`

5753### `++gth:rh`

5591

5754

5592Tests whether `a` is greater than `b`.

5755Tests whether `a` is greater than `b`.

@@ -5653,6 +5816,7 @@ A `@rs`, a single-precision float.

5653```

5816```

5654

5817

5655---

5818---

5819+

5656### `++fos:rh`

5820### `++fos:rh`

5657

5821

5658`@rs` to `@rh`

5822`@rs` to `@rh`

@@ -5681,6 +5845,7 @@ A `@rh`, a half-precision float.

5681```

5845```

5682

5846

5683---

5847---

5848+

5684### `++sun:rh`

5849### `++sun:rh`

5685

5850

5686Unsigned integer to `@rh`

5851Unsigned integer to `@rh`

@@ -5709,6 +5874,7 @@ A `@rh`, a half-precision float.

5709```

5874```

5710

5875

5711---

5876---

5877+

5712### `++san:rh`

5878### `++san:rh`

5713

5879

5714Signed integer to `@rh`

5880Signed integer to `@rh`

@@ -5737,6 +5903,7 @@ A `@rh`, a half-precision float.

5737```

5903```

5738

5904

5739---

5905---

5906+

5740### `++sig:rh`

5907### `++sig:rh`

5741

5908

5742Get sign

5909Get sign

@@ -5765,6 +5932,7 @@ A `flag`.

5765```

5932```

5766

5933

5767---

5934---

5935+

5768### `++exp:rh`

5936### `++exp:rh`

5769

5937

5770Get exponent

5938Get exponent

@@ -5793,6 +5961,7 @@ A `@s`, a signed integer.

5793```

5961```

5794

5962

5795---

5963---

5964+

5796### `++toi:rh`

5965### `++toi:rh`

5797

5966

5798Round to integer

5967Round to integer

@@ -5824,6 +5993,7 @@ A `unit` of `@s`.

5824```

5993```

5825

5994

5826---

5995---

5996+

5827### `++drg:rh`

5997### `++drg:rh`

5828

5998

5829`@rh` to decimal float

5999`@rh` to decimal float

@@ -5856,6 +6026,7 @@ A `dn`.

5856```

6026```

5857

6027

5858---

6028---

6029+

5859### `++grd:rh`

6030### `++grd:rh`

5860

6031

5861Decimal float to `@rh`

6032Decimal float to `@rh`

@@ -5886,4 +6057,4 @@ A `@rh`, a a half-precision float.

5886 .~~-3.43e2

6057 .~~-3.43e2

5887```

6058```

5888

6059

5889−---

6060+---

content/docs/hoon/reference/stdlib/3c.md+26−10

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

4template = "doc.html"

5+++

7−### `++yall`

7+## `++yall`

9Time since beginning of time

@@ -60,9 +60,9 @@ A cell of unsigned decimals.

60 [y=0 m=1 d=1]

61```

63−

64---

63---

64+

65−### `++yawn`

65+## `++yawn`

67Days since beginning of time

@@ -124,7 +124,8 @@ An unsigned decimal.

124```

125

126---

127+

127−### `++year`

128+## `++year`

128

129

129Date to @d

130Date to @d

130

131

@@ -161,7 +162,8 @@ A `@d`.

161```

162```

162

163

163---

164---

165+

164−### `++yell`

166+## `++yell`

165

167

166Tarp from atomic date

168Tarp from atomic date

167

169

@@ -212,7 +214,8 @@ A `tarp`.

212```

214```

213

215

214---

216---

217+

215−### `++yelp`

218+## `++yelp`

216

219

217Leap-week?

220Leap-week?

218

221

@@ -251,7 +254,8 @@ A flag.

251```

254```

252

255

253---

256---

257+

254−### `++yore`

258+## `++yore`

255

259

256Date from atomic date

260Date from atomic date

257

261

@@ -287,7 +291,8 @@ A `date`.

287```

291```

288

292

289---

293---

294+

290−### `++yule`

295+## `++yule`

291

296

292Daily time to time atom

297Daily time to time atom

293

298

@@ -349,7 +354,8 @@ A time atom, `@d`.

349```

354```

350

355

351---

356---

357+

352−### `++yo`

358+## `++yo`

353

359

354Time constants core

360Time constants core

355

361

@@ -362,6 +368,7 @@ Core whose arms contain constants for interacting with earth time.

362```

368```

363

369

364---

370---

371+

365### `++cet:yo`

372### `++cet:yo`

366

373

367Days in a century

374Days in a century

@@ -394,6 +401,7 @@ An atom.

394```

401```

395

402

396---

403---

404+

397### `++day:yo`

405### `++day:yo`

398

406

399Seconds in day

407Seconds in day

@@ -421,6 +429,7 @@ An atom.

421```

429```

422

430

423---

431---

432+

424### `++era:yo`

433### `++era:yo`

425

434

426Leap-year period

435Leap-year period

@@ -458,6 +467,7 @@ A year is a leap-year if:

458- **or** if it's divisible by 400.

467- **or** if it's divisible by 400.

459

468

460---

469---

470+

461### `++hor:yo`

471### `++hor:yo`

462

472

463Seconds in hour

473Seconds in hour

@@ -486,6 +496,7 @@ An atom.

486```

496```

487

497

488---

498---

499+

489### `++jes:yo`

500### `++jes:yo`

490

501

491Maximum 64-bit timestamp

502Maximum 64-bit timestamp

@@ -515,6 +526,7 @@ An atom.

515The date is December 4, 292,277,026,596.

526The date is December 4, 292,277,026,596.

516

527

517---

528---

529+

518### `++mit:yo`

530### `++mit:yo`

519

531

520Seconds in minute

532Seconds in minute

@@ -539,6 +551,7 @@ An atom.

539```

551```

540

552

541---

553---

554+

542### `++moh:yo`

555### `++moh:yo`

543

556

544Days in month

557Days in month

@@ -568,6 +581,7 @@ A `list` of `@ud`

568```

581```

569

582

570---

583---

584+

571### `++moy:yo`

585### `++moy:yo`

572

586

573Days in months of leap-year

587Days in months of leap-year

@@ -597,6 +611,7 @@ A `list` of `@ud`.

597```

611```

598

612

599---

613---

614+

600### `++qad:yo`

615### `++qad:yo`

601

616

602Seconds in 4 years

617Seconds in 4 years

@@ -622,6 +637,7 @@ An atom.

622```

637```

623

638

624---

639---

640+

625### `++yer:yo`

641### `++yer:yo`

626

642

627Seconds in year

643Seconds in year

@@ -646,4 +662,4 @@ An atom.

646 31.536.000

662 31.536.000

647```

663```

648

664

649−---

665+---

content/docs/hoon/reference/stdlib/3d.md+26−12

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

4template = "doc.html"

5+++

7−### `++shad`

7+## `++shad`

9Double SHA-256

@@ -34,7 +34,8 @@ An atom.

34```

36---

37+

37−### `++shaf`

38+## `++shaf`

39Half SHA-256

40Half SHA-256

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

69```

70```

71---

72---

73+

72−### `++shal`

74+## `++shal`

74SHA-512 with length

76SHA-512 with length

@@ -225,7 +227,8 @@ as a way of saying that the atom `ruz` is shorter than its representative

225byte-string.

227byte-string.

226

228

227---

229---

230+

228−### `++sham`

231+## `++sham`

229

232

230128-bit noun hash

233128-bit noun hash

231

234

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

263```

266```

264

267

265---

268---

269+

266−### `++shan`

270+## `++shan`

267

271

268SHA-1

272SHA-1

269

273

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

359SHA-1 is a deprecated function; it is not considered secure.

363SHA-1 is a deprecated function; it is not considered secure.

360

364

361---

365---

366+

362−### `++shas`

367+## `++shas`

363

368

364Salted hash

369Salted hash

365

370

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

391```

396```

392

397

393---

398---

399+

394−### `++shaw`

400+## `++shaw`

395

401

396Hash to nbits

402Hash to nbits

397

403

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

429```

435```

430

436

431---

437---

438+

432−### `++shax`

439+## `++shax`

433

440

434SHA-256

441SHA-256

435

442

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

454```

461```

455

462

456---

463---

464+

457−### `++shay`

465+## `++shay`

458

466

459SHA-256 with length

467SHA-256 with length

460

468

@@ -578,7 +586,8 @@ as a way of saying that the atom `ruz` is shorter than its representative

578byte-string.

586byte-string.

579

587

580---

588---

589+

581−### `++shaz`

590+## `++shaz`

582

591

583SHA-512

592SHA-512

584

593

@@ -611,7 +620,8 @@ An atom.

611```

620```

612

621

613---

622---

623+

614−### `++og`

624+## `++og`

615

625

616Container arm for SHA-256-powered random-number generation. Its sample `a` is an

626Container arm for SHA-256-powered random-number generation. Its sample `a` is an

617atom that is used as a seed for the hash.

627atom that is used as a seed for the hash.

@@ -646,6 +656,7 @@ result every time it is run. Use `eny`, 256 bits of entropy, for a

646non-deterministic product.

656non-deterministic product.

647

657

648---

658---

659+

649### `++rad:og`

660### `++rad:og`

650

661

651Random in range

662Random in range

@@ -687,6 +698,7 @@ An atom.

687```

698```

688

699

689---

700---

701+

690### `++rads:og`

702### `++rads:og`

691

703

692Random continuation

704Random continuation

@@ -732,6 +744,7 @@ generate separate random values from the same seed. Notice how we jump from

732one `rads` function call to another in the above example.

744one `rads` function call to another in the above example.

733

745

734---

746---

747+

735### `++raw:og`

748### `++raw:og`

736

749

737Random bits

750Random bits

@@ -781,12 +794,13 @@ An atom.

781```

794```

782

795

783---

796---

797+

784### `++raws:og`

798### `++raws:og`

785

799

786Random bits continuation

800Random bits continuation

787

801

788Produces a cell. The head of the cell is an atom with a bitwidth `b` that is

802Produces a cell. The head of the cell is an atom with a bitwidth `b` that is

789−composed of random bits. The tail is a new core produced from hashing the

803+composed of random bits. The tail is a new core produced from hashing the

790parent core with `(raw b)`.

804parent core with `(raw b)`.

791

805

792#### Source

806#### Source

content/docs/hoon/reference/stdlib/3f.md+20−4

@@ -3,7 +3,8 @@ title = "3f: Scrambling"

3weight = 26

4template = "doc.html"

5+++

6−### `++un`

7+## `++un`

8Reversible scrambling

9Reversible scrambling

@@ -18,6 +19,7 @@ Used in the `@p` phonetic base.

18```

19```

20---

21---

22+

21### `++wren:un`

23### `++wren:un`

23Conceal structure

25Conceal structure

@@ -70,6 +72,7 @@ An atom.

70```

72```

72---

74---

75+

73### `++wred:un`

76### `++wred:un`

75Restore structure

78Restore structure

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

122```

125```

123

126

124---

127---

128+

125### `++xafo:un`

129### `++xafo:un`

126

130

127Add modulo 255

131Add modulo 255

@@ -159,6 +163,7 @@ An atom.

159```

163```

160

164

161---

165---

166+

162### `++xaro:un`

167### `++xaro:un`

163

168

164Subtract modulo 255

169Subtract modulo 255

@@ -196,6 +201,7 @@ An atom.

196```

201```

197

202

198---

203---

204+

199### `++zaft:un`

205### `++zaft:un`

200

206

201Look up in 255 sub box

207Look up in 255 sub box

@@ -248,6 +254,7 @@ An atom.

248```

254```

249

255

250---

256---

257+

251### `++zart:un`

258### `++zart:un`

252

259

253Reverse look up in 255 sub box

260Reverse look up in 255 sub box

@@ -298,6 +305,7 @@ An atom.

298```

305```

299

306

300---

307---

308+

301### `++zyft:un`

309### `++zyft:un`

302

310

303Lookup byte in 256 sub box

311Lookup byte in 256 sub box

@@ -351,6 +359,7 @@ An atom.

351```

359```

352

360

353---

361---

362+

354### `++zyrt:un`

363### `++zyrt:un`

355

364

356Reverse lookup byte in 256 sub box

365Reverse lookup byte in 256 sub box

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

403```

412```

404

413

405---

414---

415+

406−### `++ob`

416+## `++ob`

407

417

408Reversible scrambling, v2

418Reversible scrambling, v2

409

419

@@ -416,6 +426,7 @@ A core for performing reversible scrambling operations for the `@p` phonetic

416base.

426base.

417

427

418---

428---

429+

419### `++feen:ob`

430### `++feen:ob`

420

431

421Conceal structure, v2

432Conceal structure, v2

@@ -465,6 +476,7 @@ An atom.

465```

476```

466

477

467---

478---

479+

468### `++fend:ob`

480### `++fend:ob`

469

481

470Restore structure, v2

482Restore structure, v2

@@ -518,6 +530,7 @@ An atom.

518```

530```

519

531

520---

532---

533+

521### `++fice:ob`

534### `++fice:ob`

522

535

523Feistel-like cipher

536Feistel-like cipher

@@ -561,6 +574,7 @@ An atom.

561```

574```

562

575

563---

576---

577+

564### `++teil:ob`

578### `++teil:ob`

565

579

566Reverse Feistel-like cipher

580Reverse Feistel-like cipher

@@ -593,7 +607,6 @@ An atom.

593 ::

607 ::

594```

608```

595

609

596−

597#### Examples

610#### Examples

598

611

599```

612```

@@ -605,6 +618,7 @@ An atom.

605```

618```

606

619

607---

620---

621+

608### `++rynd:ob`

622### `++rynd:ob`

609

623

610Reverse Feistel-like cipher

624Reverse Feistel-like cipher

@@ -647,6 +661,7 @@ A cell of two atoms.

647```

661```

648

662

649---

663---

664+

650### `++rund:ob`

665### `++rund:ob`

651

666

652Reverse single Feistel-like

667Reverse single Feistel-like

@@ -689,6 +704,7 @@ A cell of two atoms.

689```

704```

690

705

691---

706---

707+

692### `++raku:ob`

708### `++raku:ob`

693

709

694Key list

710Key list

@@ -719,4 +735,4 @@ A list of atoms of aura `@ux` (hexadecimal).

719 ~[0xb76d.5eed 0xee28.1300 0x85bc.ae01 0x4b38.7af7]

735 ~[0xb76d.5eed 0xee28.1300 0x85bc.ae01 0x4b38.7af7]

720```

736```

721

737

722−---

738+---

content/docs/hoon/reference/stdlib/3g.md+12−12

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

4template = "doc.html"

5+++

7−### `++coin`

7+## `++coin`

9Noun-literal syntax cases

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

49---

51−### `++dime`

51+## `++dime`

53Aura-atom pair

@@ -72,7 +72,7 @@ to parse atoms of specific auras.

73---

75−### `++edge`

75+## `++edge`

77Parsing location metadata. Parsing location input `p` and optional result `p.q` and parsing continuation `q.q`.

@@ -98,7 +98,7 @@ See also: [Section 3g](/docs/hoon/reference/stdlib/3g#rule), `++rule`

99---

100

101−### `++hair`

101+## `++hair`

102

103Parsing line and column

104

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

128

129---

130

131−### `++like`

131+## `++like`

132

133Generic edge

134

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

163

164---

165

166−### `++nail`

166+## `++nail`

167

168Location, remainder of parsed text

169

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

184

185---

186

187−### `++pint`

187+## `++pint`

188

189Parsing range

190

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

209

210---

211

212−### `++rule`

212+## `++rule`

213

214Parsing rule

215

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

230

231---

232

233−### `++spot`

233+## `++spot`

234

235Stack trace line

236

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

252

253---

254

255−### `++tone`

255+## `++tone`

256

257Nock result, error report

258

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

300

301---

302

303−### `++toon`

303+## `++toon`

304

305Nock result, stack trace

306

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

328

329---

330

331−### `++wonk`

331+## `++wonk`

332

333Product from edge

334

content/docs/hoon/reference/stdlib/4a.md+5−1

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

4template = "doc.html"

5+++

7−### `++po`

7+## `++po`

9Phonetic base

@@ -54,6 +54,7 @@ contained arms.

54```

56---

57+

57### `++ind:po`

58### `++ind:po`

59Parse suffix

60Parse suffix

@@ -92,6 +93,7 @@ A `unit`.

92```

93```

94---

95---

96+

95### `++ins:po`

97### `++ins:po`

97Parse prefix

99Parse prefix

@@ -133,6 +135,7 @@ A `unit` of an atom.

133```

135```

134

136

135---

137---

138+

136### `++tod:po`

139### `++tod:po`

137

140

138Fetch suffix

141Fetch suffix

@@ -177,6 +180,7 @@ An atom.

177```

180```

178

181

179---

182---

183+

180### `++tos:po`

184### `++tos:po`

181

185

182Fetch prefix

186Fetch prefix

content/docs/hoon/reference/stdlib/4b.md+36−37

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

4template = "doc.html"

5+++

7−### `++at`

7+## `++at`

9```hoon

10 ++ at

@@ -13,8 +13,6 @@ template = "doc.html"

14XX document

16−

17−

18### `++r:at`

16### `++r:at`

20```hoon

18```hoon

@@ -34,7 +32,6 @@ XX document

34 rux

32 rux

35```

33```

37−

38XX document

35XX document

40### `++rf:at`

37### `++rf:at`

@@ -43,7 +40,6 @@ XX document

43 ++ rf `tape`[?-(a $& '&', $| '|', * !!) ~]

40 ++ rf `tape`[?-(a $& '&', $| '|', * !!) ~]

44```

41```

46−

47XX document

43XX document

49### `++rn:at`

45### `++rn:at`

@@ -179,10 +175,9 @@ XX document

179

175

180---

176---

181

177

182−

183---

178---

184

179

185−### `++cass`

180+## `++cass`

186

181

187To lowercase

182To lowercase

188

183

@@ -220,7 +215,8 @@ A `++tape`.

220```

215```

221

216

222---

217---

218+

223−### `++crip`

219+## `++crip`

224

220

225Tape to cord

221Tape to cord

226

222

@@ -254,7 +250,8 @@ A `++cord`.

254```

250```

255

251

256---

252---

253+

257−### `++cuss`

254+## `++cuss`

258

255

259To uppercase

256To uppercase

260

257

@@ -292,7 +289,8 @@ A `++tape`.

292```

289```

293

290

294---

291---

292+

295−### `++mesc`

293+## `++mesc`

296

294

297Escape special chars

295Escape special chars

298

296

@@ -332,9 +330,9 @@ A `++tape`.

332 "as\0x27/sa\0xc3/\0x9f/"

330 "as\0x27/sa\0xc3/\0x9f/"

333```

331```

334

332

335−

336---

333---

334+

337−### `++runt`

335+## `++runt`

338

336

339Prepend `n` times

337Prepend `n` times

340

338

@@ -371,9 +369,9 @@ A `++tape`.

371 "aaaaaaaaaa"

369 "aaaaaaaaaa"

372```

370```

373

371

374−

375---

372---

373+

376−### `++sand`

374+## `++sand`

377

375

378Soft-cast by aura

376Soft-cast by aura

379

377

@@ -408,9 +406,9 @@ A `(unit @)`.

408 ~

406 ~

409```

407```

410

408

411−

412---

409---

410+

413−### `++sane`

411+## `++sane`

414

412

415Check aura validity

413Check aura validity

416

414

@@ -477,9 +475,9 @@ A boolean.

477 %.n

475 %.n

478```

476```

479

477

480−

481---

478---

479+

482−### `++teff`

480+## `++teff`

483

481

484UTF8 Length

482UTF8 Length

485

483

@@ -514,9 +512,9 @@ An atom.

514 2

512 2

515```

513```

516

514

517−

518---

515---

516+

519−### `++trim`

517+## `++trim`

520

518

521Tape split

519Tape split

522

520

@@ -555,9 +553,9 @@ A cell of `++tape`s, `p` and `q`.

555 [p="zam" q=""]

553 [p="zam" q=""]

556```

554```

557

555

558−

559---

556---

557+

560−### `++trip`

558+## `++trip`

561

559

562Cord to tape

560Cord to tape

563

561

@@ -594,9 +592,9 @@ A `++tape`.

594 "abc"

592 "abc"

595```

593```

596

594

597−

598---

595---

596+

599−### `++tuba`

597+## `++tuba`

600

598

601UTF8 to UTF32 tape

599UTF8 to UTF32 tape

602

600

@@ -629,9 +627,9 @@ A `++list` of codepoints `@c`.

629 ~[~-c ~-h ~-a ~-r ~-s]

627 ~[~-c ~-h ~-a ~-r ~-s]

630```

628```

631

629

632−

633---

630---

631+

634−### `++tufa`

632+## `++tufa`

635

633

636UTF32 to UTF8 tape

634UTF32 to UTF8 tape

637

635

@@ -665,9 +663,9 @@ A `++tape`.

665 "ab±c"

663 "ab±c"

666```

664```

667

665

668−

669---

666---

667+

670−### `++tuft`

668+## `++tuft`

671

669

672UTF32 to UTF8 text

670UTF32 to UTF8 text

673

671

@@ -724,9 +722,9 @@ A `++cord`.

724 '¶'

722 '¶'

725```

723```

726

724

727−

728---

725---

726+

729−### `++turf`

727+## `++turf`

730

728

731UTF8 to UTF32 cord

729UTF8 to UTF32 cord

732

730

@@ -781,9 +779,9 @@ A `@c`, UTF-32 codepoint.

781 0x442.0000.0443.0000.0442.0000.0020.0000.044f

779 0x442.0000.0443.0000.0442.0000.0020.0000.044f

782```

780```

783

781

784−

785---

782---

783+

786−### `++wack`

784+## `++wack`

787

785

788Coin format encode

786Coin format encode

789

787

@@ -831,7 +829,8 @@ A `++span` (`@ta`).

831```

829```

832

830

833---

831---

832+

834−### `++wick`

833+## `++wick`

835

834

836Coin format decode

835Coin format decode

837

836

@@ -877,9 +876,9 @@ A `++span` `@ta`.

877 '~20_sam~'

876 '~20_sam~'

878```

877```

879

878

880−

881---

879---

880+

882−### `++woad`

881+## `++woad`

883

882

884Unescape cord

883Unescape cord

885

884

@@ -938,9 +937,9 @@ A `++cord`.

938 '¶20 as'

937 '¶20 as'

939```

938```

940

939

941−

942---

940---

941+

943−### `++wood`

942+## `++wood`

944

943

945Escape cord

944Escape cord

946

945

content/docs/hoon/reference/stdlib/4c.md+12−16

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

4template = "doc.html"

5+++

7−### `++re`

7+## `++re`

9Pretty-printing engine

@@ -29,6 +29,7 @@ Pretty-printing engine that accepts a `++tank` sample and contains arms that per

29```

31---

32+

32### `++ram:re`

33### `++ram:re`

34Flatten to tape

35Flatten to tape

@@ -71,7 +72,9 @@ A `++tape`.

71 > ~(ram re rose+["." "(" ")"]^~[leaf+"bar" leaf+"baz" leaf+"bam"])

72 > ~(ram re rose+["." "(" ")"]^~[leaf+"bar" leaf+"baz" leaf+"bam"])

72 "(bar.baz.bam)"

73 "(bar.baz.bam)"

73```

74```

75+

74---

76---

77+

75### `++win:re`

78### `++win:re`

77Render at indent

80Render at indent

@@ -136,6 +139,7 @@ A `++wall` (`++list` of `++tapes`).

136```

139```

137

140

138---

141---

142+

139### `++din:re`

143### `++din:re`

140

144

141XX document

145XX document

@@ -148,7 +152,6 @@ XX document

148

152

149 ++ din (mod (add 2 tab) (mul 2 (div edg 3)))

153 ++ din (mod (add 2 tab) (mul 2 (div edg 3)))

150

154

151−

152---

155---

153

156

154### `++fit:re`

157### `++fit:re`

@@ -163,14 +166,10 @@ Determine whether `tac` fits on one line. Internal to `++win`

163

166

164#### Source

167#### Source

165

168

166−++ fit (lte (lent ram) (sub edg tab))

169+++ fit (lte (lent ram) (sub edg tab))

167−

168

170

169#### Examples

171#### Examples

170

172

171−

172−

173−

174---

173---

175

174

176### `++rig:re`

175### `++rig:re`

@@ -216,6 +215,7 @@ A `++wall` (list of `++tape`s).

216#### Examples

215#### Examples

217

216

218---

217---

218+

219### `++wig:re`

220

221`++win` render tape

@@ -248,10 +248,9 @@ Render `++tape`. Internal to `++win`.

248 --

249```

250

251−

252−

253---

251---

252+

254−### `++show`

253+## `++show`

255

254

256```hoon

255```hoon

257 ++ show :: XX deprecated, use span

256 ++ show :: XX deprecated, use span

@@ -314,7 +313,7 @@ Render `++tape`. Internal to `++win`.

314

313

315XX document

314XX document

316

315

317−### `++shep`

316+## `++shep`

318

317

319```hoon

318```hoon

320 ++ shep

319 ++ shep

@@ -338,7 +337,7 @@ XX document

338

337

339XX document

338XX document

340

339

341−### `++shop`

340+## `++shop`

342

341

343```hoon

342```hoon

344 ++ shop

343 ++ shop

@@ -356,9 +355,6 @@ XX document

356 ::

355 ::

357```

356```

358

357

359−

360XX document

358XX document

361

359

362−

363−

364−---

360+---

content/docs/hoon/reference/stdlib/4d.md+4−4

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

4template = "doc.html"

5+++

7−### `++last`

7+## `++last`

9Further trace

@@ -48,7 +48,8 @@ A `hair`.

48```

50---

51+

51−### `++lust`

52+## `++lust`

53Detect newline

54Detect newline

@@ -73,7 +74,6 @@ A hair.

73 ?:(=(`@`10 weq) [+(p.naz) 1] [p.naz +(q.naz)])

74 ?:(=(`@`10 weq) [+(p.naz) 1] [p.naz +(q.naz)])

74```

75```

76−

77#### Examples

79```

@@ -97,4 +97,4 @@ A hair.

97 [2 6]

98```

100−---

100+---

content/docs/hoon/reference/stdlib/4e.md+20−33

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

4template = "doc.html"

5+++

7−### `++bend`

7+## `++bend`

9Conditional composer

@@ -70,9 +70,9 @@ A `++rule`.

70 [~ %sep]

71```

73−

74---

73---

74+

75−### `++comp`

75+## `++comp`

77Arbitrary compose

@@ -123,7 +123,8 @@ A `++rule`.

123```

124

125---

126+

126−### `++fail`

127+## `++fail`

127

128

128Never parse

129Never parse

129

130

@@ -154,9 +155,9 @@ An `++edge`.

154 [p=[p=1.337 q=70] q=~]

155 [p=[p=1.337 q=70] q=~]

155```

156```

156

157

157−

158---

159+

159−### `++glue`

160+## `++glue`

160

161

161Skip delimiter

162Skip delimiter

162

163

@@ -174,8 +175,6 @@ result.

174

175

175#### Produces

176#### Produces

176

177

177−

178−

179#### Source

178#### Source

180

179

181```hoon

180```hoon

@@ -205,7 +204,8 @@ result.

205```

204```

206

205

207---

206---

207+

208−### `++less`

208+## `++less`

209

210Parse unless

211

@@ -220,8 +220,6 @@ connect `vex` with the following `++rule`.

220

221#### Produces

222

223−

224−

225#### Source

223#### Source

226

224

227```hoon

225```hoon

@@ -249,9 +247,9 @@ connect `vex` with the following `++rule`.

249 ! exit

247 ! exit

250```

248```

251

249

252−

253---

250---

251+

254−### `++pfix`

252+## `++pfix`

255

253

256Discard first rule

254Discard first rule

257

255

@@ -264,8 +262,6 @@ ignoring the result of the first and producing the result of the second.

264

262

265#### Produces

263#### Produces

266

264

267−

268−

269#### Source

265#### Source

270

266

271```hoon

267```hoon

@@ -284,9 +280,9 @@ ignoring the result of the first and producing the result of the second.

284 q=10

280 q=10

285```

281```

286

282

287−

288---

283---

284+

289−### `++plug`

285+## `++plug`

290

286

291Parse to tuple

287Parse to tuple

292

288

@@ -302,8 +298,6 @@ more detailed explanation.

302

298

303#### Produces

299#### Produces

304

300

305−

306−

307#### Source

301#### Source

308

302

309```hoon

303```hoon

@@ -333,9 +327,9 @@ more detailed explanation.

333 [%moke '/' ~ %da ~2014.1.1]

327 [%moke '/' ~ %da ~2014.1.1]

334```

328```

335

329

336−

337---

330---

331+

338−### `++pose`

332+## `++pose`

339

333

340Parse options

334Parse options

341

335

@@ -350,8 +344,6 @@ following rule `sab`. See also: the monad applicator ;\~

350

344

351#### Produces

345#### Produces

352

346

353−

354−

355#### Source

347#### Source

356

348

357```hoon

349```hoon

@@ -382,9 +374,9 @@ following rule `sab`. See also: the monad applicator ;\~

382 ! exit

374 ! exit

383```

375```

384

376

385−

386---

377---

378+

387−### `++sfix`

379+## `++sfix`

388

380

389Discard second rule

381Discard second rule

390

382

@@ -399,8 +391,6 @@ result of the first and discarding the result of the second.

399

391

400#### Produces

392#### Produces

401

393

402−

403−

404#### Source

394#### Source

405

395

406```hoon

396```hoon

@@ -419,9 +409,9 @@ result of the first and discarding the result of the second.

419 q=10

409 q=10

420```

410```

421

411

422−

423---

412---

413+

424−### `++simu`

414+## `++simu`

425

415

426First and second

416First and second

427

417

@@ -436,8 +426,6 @@ connect `vex` with the following `++rule`.

436

426

437#### Produces

427#### Produces

438

428

439−

440−

441#### Source

429#### Source

442

430

443```hoon

431```hoon

@@ -467,5 +455,4 @@ connect `vex` with the following `++rule`.

467 ! exit

455 ! exit

468```

456```

469

457

470−

471−---

458+---

content/docs/hoon/reference/stdlib/4f.md+49−53

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

4template = "doc.html"

5+++

7−### `++bass`

7+## `++bass`

9Parser modifier: LSB

10ordered `++list` as atom of a `++base`.

@@ -44,10 +44,9 @@ A `++rule`.

44 0b101.0011

45```

47−

48---

47---

50−### `++boss`

49+## `++boss`

52Parser modifier: LSB

51Parser modifier: LSB

@@ -91,7 +90,8 @@ A `++rule`.

91```

90```

93---

92---

93+

94−### `++cold`

94+## `++cold`

96Replace with constant

@@ -132,9 +132,9 @@ An `++edge`.

132 [p=[p=1 q=1] q=~]

133```

134

135−

136---

135---

136+

137−### `++cook`

137+## `++cook`

138

139Apply gate

140

@@ -182,9 +182,9 @@ An `++rule`.

182 [p=[p=1 q=2] q=[~ u=[p='b' q=[p=[p=1 q=2] q="bc"]]]]

183```

184

185−

186---

185---

186+

187−### `++easy`

187+## `++easy`

188

189Always parse

190

@@ -225,9 +225,9 @@ A `++rule`.

225 [p=[p=1 q=1] q=[~ [p='a' q=[p=[p=1 q=1] q="bc"]]]]

226```

227

228−

229---

228---

229+

230−### `++full`

230+## `++full`

231

232Parse to end

233

@@ -266,9 +266,9 @@ A `++rule`.

266 [p=[p=1 q=3] q=[~ u=[p=[~~a ~~b] q=[p=[p=1 q=3] q=""]]]]

267```

268

269−

270---

269---

270+

271−### `++funk`

271+## `++funk`

272

273Add to tape

274

@@ -303,9 +303,9 @@ A `++rule`.

303 [p=[p=1 q=4] q=~]

304```

305

306−

307---

306---

307+

308−### `++here`

308+## `++here`

309

310Place-based apply

311

@@ -351,9 +351,9 @@ A `++rule`.

351 ~[[[[p=1 q=1] p=1 q=2] ~~a] [[[p=1 q=2] p=1 q=3] ~~b] [[[p=1 q=3] p=1 q=4] ~~c]]

352```

353

354−

355---

354---

355+

356−### `++ifix`

356+## `++ifix`

357

358Infix

359

@@ -392,9 +392,9 @@ A `++rule`.

392 "my"

393```

394

395−

396---

395---

396+

397−### `++jest`

397+## `++jest`

398

399Match a cord

400

@@ -445,9 +445,9 @@ An `++edge`.

445 [p=[p=1 q=9] q=[~ [p='john doe' q=[p=[p=1 q=9] q=""]]]]

446```

447

448−

449---

448---

449+

450−### `++just`

450+## `++just`

451

452Match a char

453

@@ -496,9 +496,9 @@ A `++rule`.

496 ~~~25.

497```

498

499−

500---

499---

500+

501−### `++knee`

501+## `++knee`

502

503Recursive parsers

504

@@ -552,9 +552,9 @@ A `++rule`.

552 [~~a "bcd"]

553```

554

555−

556---

555---

556+

557−### `++mask`

557+## `++mask`

558

559Match char

560

@@ -603,7 +603,8 @@ A `++rule`.

603```

604

605---

606+

606−### `++more`

607+## `++more`

607

608

608Parse list with delimiter

609Parse list with delimiter

609

610

@@ -641,9 +642,9 @@ A `++rule`.

641 [q=40 ~[q=20 q=60 q=1 q=5]]

642 [q=40 ~[q=20 q=60 q=1 q=5]]

642```

643```

643

644

644−

645---

646+

646−### `++most`

647+## `++most`

647

648

648Parse list of at least one match

649Parse list of at least one match

649

650

@@ -682,9 +683,9 @@ A `++rule`.

682 ! exit

683 ! exit

683```

684```

684

685

685−

686---

687+

687−### `++next`

688+## `++next`

688

689

689Consume char

690Consume char

690

691

@@ -721,10 +722,9 @@ An `++edge`.

721 [p=[p=1 q=2] q=[~ [p=~~j q=[p=[p=1 q=2] q="ohn jumps jones"]]]]

722 [p=[p=1 q=2] q=[~ [p=~~j q=[p=[p=1 q=2] q="ohn jumps jones"]]]]

722```

723```

723

724

724−

725---

726

727−### `++plus`

727+## `++plus`

728

729List of at least one match.

730

@@ -760,9 +760,9 @@ A `++rule`.

760 ['-' [' ' [' ' ['-' [' ' ~]]]]]

761```

762

763−

764---

763---

764+

765−### `++sear`

765+## `++sear`

766

767Conditional `++cook`

768

@@ -803,9 +803,9 @@ A `++rule`.

803 [p=[p=1 q=2] q=~]

804```

805

806−

807---

806---

807+

808−### `++shim`

808+## `++shim`

809

810Char in range

811

@@ -851,9 +851,9 @@ A `++rule`.

851 [p=[p=1 q=2] q=[~ [p=~~~41. q=[p=[p=1 q=2] q="bc"]]]]

852```

853

854−

855---

854---

855+

856−### `++slug` {#slug}

856+## `++slug` {#slug}

857

858Use gate to parse delimited list

859

@@ -890,9 +890,9 @@ A `++rule`.

890 'abc'

891```

892

893−

894---

893---

894+

895−### `++stag`

895+## `++stag`

896

897Add label

898

@@ -936,9 +936,9 @@ A `++rule`.

936 [p=[p=1 q=2] q=[~ u=[p=[10.000 ~~a] q=[p=[p=1 q=2] q="bc"]]]]

937```

938

939−

940---

939---

940+

941−### `++star`

941+## `++star`

942

943List of matches

944

@@ -979,9 +979,9 @@ Parser modifier: parse `++list` of matches.

979 "john smith"

980```

981

982−

983---

982---

983+

984−### `++stet`

984+## `++stet`

985

986Add faces

987

@@ -993,8 +993,6 @@ Add faces `[p q]` to range-parser pairs in a list.

993

994#### Produces

995

996−

997−

998#### Source

996#### Source

999

997

1000```hoon

998```hoon

@@ -1030,9 +1028,9 @@ Add faces `[p q]` to range-parser pairs in a list.

1030 ]

1028 ]

1031```

1029```

1032

1030

1033−

1034---

1031---

1032+

1035−### `++stew`

1033+## `++stew`

1036

1034

1037Switch by first

1035Switch by first

1038

1036

@@ -1083,15 +1081,13 @@ Switch by first

1083 ::

1081 ::

1084```

1082```

1085

1083

1086−

1087Parser generator. From an associative `++list` of characters or character

1084Parser generator. From an associative `++list` of characters or character

1088ranges to `++rule`s, construct a `++map`, and parse `++tape`s only

1085ranges to `++rule`s, construct a `++map`, and parse `++tape`s only

1089with `++rules` associated with a range that the `++tape`'s first character falls in.

1086with `++rules` associated with a range that the `++tape`'s first character falls in.

1090

1087

1091−

1092−

1093---

1088---

1089+

1094−### `++stir`

1090+## `++stir`

1095

1091

1096Parse repeatedly

1092Parse repeatedly

1097

1093

@@ -1137,9 +1133,9 @@ A rule.

1137 b=294

1133 b=294

1138```

1134```

1139

1135

1140−

1141---

1136---

1137+

1142−### `++stun`

1138+## `++stun`

1143

1139

1144Parse several times

1140Parse several times

1145

1141

content/docs/hoon/reference/stdlib/4g.md+8−8

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

4template = "doc.html"

5+++

7−### `++rash`

7+## `++rash`

9Parse or crash

@@ -47,9 +47,9 @@ The value of the parse result, or crash.

47 ! exit

48```

50−

51---

50---

51+

52−### `++rush`

52+## `++rush`

54Parse or null

@@ -91,9 +91,9 @@ The value of the parse result, or null.

91 ~

92```

94−

95---

94---

95+

96−### `++rust`

96+## `++rust`

98Parse tape or null

@@ -131,9 +131,9 @@ A `(unit ,@t)`

131 ~

132```

133

134−

135---

134---

135+

136−### `++scan`

136+## `++scan`

137

138Parse tape or crash

139

@@ -176,4 +176,4 @@ Either a `++tape` or a crash.

176 ! exit

177```

178

179−---

179+---

content/docs/hoon/reference/stdlib/4h.md+66−64

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

4template = "doc.html"

5+++

7−### `++ace`

7+## `++ace`

9Parse space

@@ -33,9 +33,9 @@ Parses ASCII character 32, space.

33 [p=[p=1 q=2] q=[~ [p=~~. q=[p=[p=1 q=2] q="abc "]]]]

34```

36−

37---

36---

37+

38−### `++bar`

38+## `++bar`

40Parse vertical bar

@@ -63,9 +63,9 @@ Parses ASCII character 124, the vertical bar.

63 [p=[p=1 q=2] q=[~ [p=~~~7c. q=[p=[p=1 q=2] q="="]]]]

64```

66−

67---

66---

67+

68−### `++bas`

68+## `++bas`

70Parse backslash

@@ -98,9 +98,9 @@ character, `\`.

98 [p=[p=1 q=1] q=~]

99```

100

101−

102---

101---

102+

103−### `++buc`

103+## `++buc`

104

105Parse dollar sign

106

@@ -128,9 +128,9 @@ Parses ASCII character 36, the dollar sign.

128 [p=[p=1 q=2] q=[~ [p=~~~24. q=[p=[p=1 q=2] q="%"]]]]

129```

130

131−

132---

131---

132+

133−### `++cab`

133+## `++cab`

134

135Parse underscore

136

@@ -158,9 +158,9 @@ Parses ASCII character 95, the underscore.

158 [p=[p=1 q=1] q=~]

159```

160

161−

162---

161---

162+

163−### `++cen`

163+## `++cen`

164

165Parses percent sign

166

@@ -188,9 +188,9 @@ Parses ASCII character 37, the percent sign.

188 [p=[p=1 q=2] q=[~ [p=~~~25. q=[p=[p=1 q=2] q="^"]]]]

189```

190

191−

192---

191---

192+

193−### `++col`

193+## `++col`

194

195Parse colon

196

@@ -219,7 +219,8 @@ Parses ASCII character 58, the colon

219```

220

221---

222+

222−### `++com`

223+## `++com`

223

224

224Parse comma

225Parse comma

225

226

@@ -247,9 +248,9 @@ Parses ASCII character 44, the comma.

247 [p=[p=1 q=1] q=~]

248 [p=[p=1 q=1] q=~]

248```

249```

249

250

250−

251---

252+

252−### `++doq`

253+## `++doq`

253

254

254Parse double quote

255Parse double quote

255

256

@@ -282,9 +283,9 @@ Parses ASCII character 34, the double quote.

282 ! exit

283 ! exit

283```

284```

284

285

285−

286---

287+

287−### `++dot`

288+## `++dot`

288

289

289Parse period

290Parse period

290

291

@@ -312,9 +313,9 @@ Parses ASCII character 46, the period.

312 [p=[p=1 q=2] q=[~ [p=~~~. q=[p=[p=1 q=2] q="^"]]]]

313 [p=[p=1 q=2] q=[~ [p=~~~. q=[p=[p=1 q=2] q="^"]]]]

313```

314```

314

315

315−

316---

317+

317−### `++fas`

318+## `++fas`

318

319

319Parse forward slash

320Parse forward slash

320

321

@@ -339,9 +340,9 @@ Parses ASCII character 47, the forward slash.

339 [p=[p=1 q=1] q=~]

340 [p=[p=1 q=1] q=~]

340```

341```

341

342

342−

343---

344+

344−### `++gal`

345+## `++gal`

345

346

346Parse less-than sign

347Parse less-than sign

347

348

@@ -369,9 +370,9 @@ Parses ASCII character 60, the less-than sign.

369 [p=[p=1 q=1] q=~]

370 [p=[p=1 q=1] q=~]

370```

371```

371

372

372−

373---

374+

374−### `++gar`

375+## `++gar`

375

376

376Parse greater-than sign

377Parse greater-than sign

377

378

@@ -399,9 +400,9 @@ Parses ASCII character 62, the greater-than sign.

399 [p=[p=1 q=1] q=~]

400 [p=[p=1 q=1] q=~]

400```

401```

401

402

402−

403---

404+

404−### `++hax`

405+## `++hax`

405

406

406Parse number sign

407Parse number sign

407

408

@@ -426,9 +427,9 @@ Parses ASCII character 35, the number sign.

426 [p=[p=1 q=2] q=[~ [p=~~~23. q=[p=[p=1 q=2] q="!"]]]]

427 [p=[p=1 q=2] q=[~ [p=~~~23. q=[p=[p=1 q=2] q="!"]]]]

427```

428```

428

429

429−

430---

431+

431−### `++hep`

432+## `++hep`

432

433

433Parse hyphen

434Parse hyphen

434

435

@@ -453,9 +454,9 @@ Parses ASCII character 45, the hyphen.

453 [p=[p=1 q=1] q=~]

454 [p=[p=1 q=1] q=~]

454```

455```

455

456

456−

457---

458+

458−### `++kel`

459+## `++kel`

459

460

460Parse left curley bracket

461Parse left curley bracket

461

462

@@ -482,9 +483,9 @@ interpolation. To parse either of them, they must be escaped.

482 [p=[p=1 q=1] q=~]

483 [p=[p=1 q=1] q=~]

483```

484```

484

485

485−

486---

487+

487−### `++ker`

488+## `++ker`

488

489

489Parse right curley bracket

490Parse right curley bracket

490

491

@@ -511,9 +512,9 @@ interpolation. To parse either of them, they must be escaped.

511 [p=[p=1 q=1] q=~]

512 [p=[p=1 q=1] q=~]

512```

513```

513

514

514−

515---

516+

516−### `++ket`

517+## `++ket`

517

518

518Parse caret

519Parse caret

519

520

@@ -539,7 +540,8 @@ Parses ASCII character 94, the caret.

539```

540```

540

541

541---

542---

543+

542−### `++lus`

544+## `++lus`

543

545

544Parse plus sign

546Parse plus sign

545

547

@@ -567,9 +569,9 @@ Parses ASCII character 43, the plus sign.

567 [p=[p=1 q=1] q=~]

569 [p=[p=1 q=1] q=~]

568```

570```

569

571

570−

571---

572---

573+

572−### `++pam`

574+## `++pam`

573

575

574Parse ampersand

576Parse ampersand

575

577

@@ -597,9 +599,9 @@ Parses ASCII character 38, the ampersand.

597 [p=[p=1 q=1] q=~]

599 [p=[p=1 q=1] q=~]

598```

600```

599

601

600−

601---

602---

603+

602−### `++pat`

604+## `++pat`

603

605

604Parse "at" sign

606Parse "at" sign

605

607

@@ -627,9 +629,9 @@ Parses ASCII character 64, the "at" sign.

627 [p=[p=1 q=1] q=~]

629 [p=[p=1 q=1] q=~]

628```

630```

629

631

630−

631---

632---

633+

632−### `++pel`

634+## `++pel`

633

635

634Parse left parenthesis

636Parse left parenthesis

635

637

@@ -654,9 +656,9 @@ Parses ASCII character 40, the left parenthesis.

654 [p=[p=1 q=1] q=~]

656 [p=[p=1 q=1] q=~]

655```

657```

656

658

657−

658---

659---

660+

659−### `++per`

661+## `++per`

660

662

661Parse right parenthesis

663Parse right parenthesis

662

664

@@ -681,9 +683,9 @@ Parses ASCII character 41, the right parenthesis.

681 [p=[p=1 q=1] q=~]

683 [p=[p=1 q=1] q=~]

682```

684```

683

685

684−

685---

686---

687+

686−### `++sel`

688+## `++sel`

687

689

688Parse left square bracket

690Parse left square bracket

689

691

@@ -708,9 +710,9 @@ Parses ASCII character 91, the left square bracket.

708 [p=[p=1 q=1] q=~]

710 [p=[p=1 q=1] q=~]

709```

711```

710

712

711−

712---

713---

714+

713−### `++sem`

715+## `++sem`

714

716

715Parse semicolon

717Parse semicolon

716

718

@@ -735,9 +737,9 @@ Parses ASCII character 59, the semicolon.

735 [p=[p=1 q=1] q=~]

737 [p=[p=1 q=1] q=~]

736```

738```

737

739

738−

739---

740---

741+

740−### `++ser`

742+## `++ser`

741

743

742Parse right square bracket

744Parse right square bracket

743

745

@@ -762,9 +764,9 @@ Parses ASCII character 93, the right square bracket.

762 [p=[p=1 q=1] q=~]

764 [p=[p=1 q=1] q=~]

763```

765```

764

766

765−

766---

767---

768+

767−### `++sig`

769+## `++sig`

768

770

769Parse tilde

771Parse tilde

770

772

@@ -789,9 +791,9 @@ Parses ASCII character 126, the tilde.

789 [p=[p=1 q=1] q=~]

791 [p=[p=1 q=1] q=~]

790```

792```

791

793

792−

793---

794---

795+

794−### `++soq`

796+## `++soq`

795

797

796Parse single quote

798Parse single quote

797

799

@@ -817,9 +819,9 @@ Parses ASCII character 39, soq. Note the extra '' is to escape the first

817 [p=[p=1 q=1] q=~]

819 [p=[p=1 q=1] q=~]

818```

820```

819

821

820−

821---

822---

823+

822−### `++tar`

824+## `++tar`

823

825

824Parse asterisk

826Parse asterisk

825

827

@@ -847,9 +849,9 @@ Parses ASCII character 42, the asterisk.

847 [p=[p=1 q=1] q=~]

849 [p=[p=1 q=1] q=~]

848```

850```

849

851

850−

851---

852---

853+

852−### `++tec`

854+## `++tec`

853

855

854Parse backtick

856Parse backtick

855

857

@@ -878,9 +880,9 @@ accent").

878 [p=[p=1 q=1] q=~]

880 [p=[p=1 q=1] q=~]

879```

881```

880

882

881−

882---

883---

884+

883−### `++tis`

885+## `++tis`

884

886

885Parse equals sign

887Parse equals sign

886

888

@@ -906,7 +908,8 @@ Parses ASCII character 61, the equals sign.

906```

908```

907

909

908---

910---

911+

909−### `++wut`

912+## `++wut`

910

913

911Parses question mark

914Parses question mark

912

915

@@ -931,9 +934,9 @@ Parses ASCII character 63, the question mark.

931 [p=[p=1 q=1] q=~]

934 [p=[p=1 q=1] q=~]

932```

935```

933

936

934−

935---

937---

938+

936−### `++zap`

939+## `++zap`

937

940

938Exclamation point

941Exclamation point

939

942

@@ -958,5 +961,4 @@ Parses ASCII character 33, the exclamation point zap.

958 [p=[p=1 q=1] q=~]

961 [p=[p=1 q=1] q=~]

959```

962```

960

963

961−

962−---

964+---

content/docs/hoon/reference/stdlib/4i.md+70−72

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

4template = "doc.html"

5+++

7−### `++alf`

7+## `++alf`

9Alphabetic characters

@@ -29,9 +29,9 @@ Parse alphabetic characters, both upper and lowercase.

29 "AaBbCc"

30```

32−

33---

32---

33+

34−### `++aln`

34+## `++aln`

36Alphanumeric characters

@@ -56,9 +56,9 @@ Parse alphanumeric characters - both alphabetic characters and numbers.

56 "0123456789abcdef"

57```

59−

60---

59---

60+

61−### `++alp`

61+## `++alp`

63Alphanumeric and `-`

@@ -83,10 +83,9 @@ Parse alphanumeric strings and hep, "-".

83 "123abc-"

84```

86−

87---

86---

89−### `++bet`

88+## `++bet`

91Axis syntax `-`, `+`

90Axis syntax `-`, `+`

@@ -108,9 +107,9 @@ Parse the hep and lus axis syntax.

108 3

107 3

109```

108```

110

109

111−

112---

110---

111+

113−### `++bin`

112+## `++bin`

114

113

115Binary to atom

114Binary to atom

116

115

@@ -138,9 +137,9 @@ Parse a tape of binary (0s and 1s) and produce its atomic representation.

138 2.063

137 2.063

139```

138```

140

139

141−

142---

140---

141+

143−### `++but`

142+## `++but`

144

143

145Binary digit

144Binary digit

146

145

@@ -167,9 +166,9 @@ Parse a single binary digit.

167 ~[0 1]

166 ~[0 1]

168```

167```

169

168

170−

171---

169---

170+

172−### `++cit`

171+## `++cit`

173

172

174Octal digit

173Octal digit

175

174

@@ -196,9 +195,9 @@ Parse a single octal digit.

196 ~[6 0]

195 ~[6 0]

197```

196```

198

197

199−

200---

198---

199+

201−### `++dem`

200+## `++dem`

202

201

203Decimal to atom

202Decimal to atom

204

203

@@ -223,9 +222,9 @@ Parse a decimal number to an atom.

223 12.456

222 12.456

224```

223```

225

224

226−

227---

225---

226+

228−### `++dit`

227+## `++dit`

229

228

230Decimal digit

229Decimal digit

231

230

@@ -248,9 +247,9 @@ Parse a single decimal digit.

248 ~[2 6 0 0 0]

247 ~[2 6 0 0 0]

249```

248```

250

249

251−

252---

250---

251+

253−### `++dog`

252+## `++dog`

254

253

255`.` optional gap

254`.` optional gap

256

255

@@ -273,9 +272,9 @@ Dot followed by an optional gap, used with numbers.

273 [~~~. ~]

272 [~~~. ~]

274```

273```

275

274

276−

277---

275---

276+

278−### `++doh`

277+## `++doh`

279

278

280`@p` separator

279`@p` separator

281

280

@@ -301,9 +300,9 @@ Phonetic base phrase separator

301 [[~~- ~~-] ~]

300 [[~~- ~~-] ~]

302```

301```

303

302

304−

305---

303---

304+

306−### `++dun`

305+## `++dun`

307

306

308`--` to `~`

307`--` to `~`

309

308

@@ -324,10 +323,9 @@ Parse phep, `--`, to null, `~`.

324 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=""]]]]

323 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=""]]]]

325```

324```

326

325

327−

328---

326---

329

327

330−### `++duz`

328+## `++duz`

331

329

332`==` to `~`

330`==` to `~`

333

331

@@ -348,10 +346,9 @@ Parse stet, `==`, to null `~`.

348 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=" |=..."]]]]

346 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=" |=..."]]]]

349```

347```

350

348

351−

352---

349---

353

350

354−### `++gah`

351+## `++gah`

355

352

356Newline or ' '

353Newline or ' '

357

354

@@ -386,9 +383,9 @@ Whitespace component, either newline or space.

386 ~[32 32 32 10 32 10 32 32]

383 ~[32 32 32 10 32 10 32 32]

387```

384```

388

385

389−

390---

386---

387+

391−### `++gap`

388+## `++gap`

392

389

393Plural whitespace

390Plural whitespace

394

391

@@ -400,9 +397,9 @@ Separates tall runes

400 ++ gap (cold ~ ;~(plug gaq (star ;~(pose vul gah)))) :: plural whitespace

397 ++ gap (cold ~ ;~(plug gaq (star ;~(pose vul gah)))) :: plural whitespace

401```

398```

402

399

403−

404---

400---

401+

405−### `++gaq`

402+## `++gaq`

406

403

407End of line

404End of line

408

405

@@ -418,10 +415,9 @@ Two spaces, a newline, or comment.

418 ==

415 ==

419```

416```

420

417

421−

422−

423---

418---

419+

424−### `++gaw`

420+## `++gaw`

425

421

426Classic whitespace

422Classic whitespace

427

423

@@ -433,9 +429,9 @@ Terran whitespace.

433 ++ gaw (cold ~ (star ;~(pose vul gah))) :: classic white

429 ++ gaw (cold ~ (star ;~(pose vul gah))) :: classic white

434```

430```

435

431

436−

437---

432---

433+

438−### `++gay`

434+## `++gay`

439

435

440Optional gap

436Optional gap

441

437

@@ -448,7 +444,8 @@ Optional gap.

448```

444```

449

445

450---

446---

447+

451−### `++gon`

448+## `++gon`

452

449

453Long numbers

450Long numbers

454

451

@@ -470,9 +467,9 @@ Parse long numbers - Numbers which wrap around the shell with the line

470 [p=[p=1 q=3] q=[~ u=[p=[~~~5c. ~ ~~~2f.] q=[p=[p=1 q=3] q=""]]]]

467 [p=[p=1 q=3] q=[~ u=[p=[~~~5c. ~ ~~~2f.] q=[p=[p=1 q=3] q=""]]]]

471```

468```

472

469

473−

474---

470---

471+

475−### `++gul`

472+## `++gul`

476

473

477Axis syntax `<` or `>`

474Axis syntax `<` or `>`

478

475

@@ -494,9 +491,9 @@ Parse the axis gal and gar axis syntax.

494 3

491 3

495```

492```

496

493

497−

498---

494---

495+

499−### `++hex`

496+## `++hex`

500

497

501Hex to atom

498Hex to atom

502

499

@@ -528,7 +525,8 @@ Parse any hexadecimal number to an atom.

528```

525```

529

526

530---

527---

528+

531−### `++hig`

529+## `++hig`

532

530

533Uppercase

531Uppercase

534

532

@@ -556,9 +554,9 @@ Parse a single uppercase letter.

556 [p=[p=1 q=2] q=[~ [p=~~~47. q=[p=[p=1 q=2] q=""]]]]

554 [p=[p=1 q=2] q=[~ [p=~~~47. q=[p=[p=1 q=2] q=""]]]]

557```

555```

558

556

559−

560---

557---

558+

561−### `++hit`

559+## `++hit`

562

560

563Hex digits

561Hex digits

564

562

@@ -588,7 +586,8 @@ Parse a single hexadecimal digit.

588```

586```

589

587

590---

588---

589+

591−### `++iny`

590+## `++iny`

592

591

593Indentation block

592Indentation block

594

593

@@ -645,9 +644,9 @@ A `++rule`.

645 de"

644 de"

646```

645```

647

646

648−

649---

647---

648+

650−### `++low`

649+## `++low`

651

650

652Lowercase

651Lowercase

653

652

@@ -672,9 +671,9 @@ Parse a single lowercase letter.

672 [p=[p=1 q=2] q=[~ [p=~~g q=[p=[p=1 q=2] q=""]]]]

671 [p=[p=1 q=2] q=[~ [p=~~g q=[p=[p=1 q=2] q=""]]]]

673```

672```

674

673

675−

676---

674---

675+

677−### `++mes`

676+## `++mes`

678

677

679Hexbyte

678Hexbyte

680

679

@@ -699,9 +698,9 @@ Parse a hexbyte.

699 66

698 66

700```

699```

701

700

702−

703---

701---

702+

704−### `++nix`

703+## `++nix`

705

704

706Letters and `-`

705Letters and `-`

707

706

@@ -723,10 +722,9 @@ Parse Letters and `-`.

723 'as_me'

722 'as_me'

724```

723```

725

724

726−

727---

725---

728

726

729−### `++nud`

727+## `++nud`

730

728

731Numeric

729Numeric

732

730

@@ -752,7 +750,8 @@ Parse a numeric character - A number.

752```

750```

753

751

754---

752---

753+

755−### `++prn`

754+## `++prn`

756

755

757Printable character

756Printable character

758

757

@@ -776,9 +775,9 @@ Parse any printable character.

776 ! exit

775 ! exit

777```

776```

778

777

779−

780---

778---

779+

781−### `++qit`

780+## `++qit`

782

781

783Chars in cord

782Chars in cord

784

783

@@ -814,9 +813,9 @@ Parse an individual character to its cord atom representation.

814 ~[99 111 114 100]

813 ~[99 111 114 100]

815```

814```

816

815

817−

818---

816---

817+

819−### `++qit`

818+## `++qit`

820

819

821Chars in cord

820Chars in cord

822

821

@@ -852,10 +851,9 @@ Parse an individual character to its cord atom representation.

852 ~[99 111 114 100]

851 ~[99 111 114 100]

853```

852```

854

853

855−

856−

857---

854---

855+

858−### `++qut`

856+## `++qut`

859

857

860Cord

858Cord

861

859

@@ -894,9 +892,9 @@ quote (aka triple-soq) cord, between which must be in an indented block.

894 'Heredoc isn't prohibited from containing quotes'

892 'Heredoc isn't prohibited from containing quotes'

895```

893```

896

894

897−

898---

895---

896+

899−### `++soz`

897+## `++soz`

900

898

901Delimiting `'''`

899Delimiting `'''`

902

900

@@ -918,9 +916,9 @@ Parse a triple-single quote, used for multiline strings.

918 ! exit

916 ! exit

919```

917```

920

918

921−

922---

919---

920+

923−### `++sym`

921+## `++sym`

924

922

925Term

923Term

926

924

@@ -947,9 +945,9 @@ A term: a letter(lowercase), followed by letters, numbers, or `-`.

947 7.174.515

945 7.174.515

948```

946```

949

947

950−

951---

948---

949+

952−### `++ven`

950+## `++ven`

953

951

954`+>-` axis syntax

952`+>-` axis syntax

955

953

@@ -988,9 +986,9 @@ Axis syntax parser

988 [3 4]

986 [3 4]

989```

987```

990

988

991−

992---

989---

990+

993−### `++vit`

991+## `++vit`

994

992

995Base64 digit

993Base64 digit

996

994

@@ -1023,7 +1021,8 @@ Parse a standard base64 digit.

1023```

1021```

1024

1022

1025---

1023---

1024+

1026−### `++vul`

1025+## `++vul`

1027

1026

1028Comments to null

1027Comments to null

1029

1028

@@ -1050,5 +1049,4 @@ with a newline character.

1050 ! exit

1049 ! exit

1051```

1050```

1052

1051

1053−

1054−---

1052+---

content/docs/hoon/reference/stdlib/4j.md+62−64

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

4template = "doc.html"

5+++

7−### `++ab`

7+## `++ab`

9Primitive parser engine

@@ -24,7 +24,7 @@ A core containing numeric parser primitives.

24 <36.ecc 414.gly 100.xkc 1.ypj %164>

25```

27−------------------------------------------------------------------------

27+---

29### `++bix:ab`

@@ -57,7 +57,7 @@ A an atom. XX

57 q=163

58```

60−------------------------------------------------------------------------

60+---

62### `++hif:ab`

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

89 q=48.626

90```

92−------------------------------------------------------------------------

92+---

94### `++huf:ab`

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

125 0x1.0100

126```

127

128−------------------------------------------------------------------------

128+---

129

130### `++hyf:ab`

131

@@ -157,7 +157,7 @@ An atom. XX

157 365.637.097.828.335.095

158```

159

160−------------------------------------------------------------------------

160+---

161

162### `++pev:ab`

163

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

193 ~ <syntax error at [1 11]>

194```

195

196−------------------------------------------------------------------------

196+---

197

198### `++pew:ab`

199

@@ -207,8 +207,6 @@ Up to five @uw (base 64) digits.

207

208#### Produces

209

210−

211−

212#### Source

210#### Source

213

211

214```hoon

212```hoon

@@ -232,7 +230,7 @@ Up to five @uw (base 64) digits.

232 ! exit

230 ! exit

233```

231```

234

232

235−------------------------------------------------------------------------

233+---

236

234

237### `++piv:ab`

235### `++piv:ab`

238

236

@@ -260,7 +258,7 @@ Parsing `++rule`. Parses exactly five base-32 digits.

260 ! exit

258 ! exit

261```

259```

262

260

263−------------------------------------------------------------------------

261+---

264

262

265### `++piw:ab`

263### `++piw:ab`

266

264

@@ -288,8 +286,7 @@ Parsing `++rule`. Parses exactly five base-64 digits.

288 ! exit

286 ! exit

289```

287```

290

288

291−

289+---

292−------------------------------------------------------------------------

293

290

294### `++qeb:ab`

291### `++qeb:ab`

295

292

@@ -325,7 +322,7 @@ a leading zero.

325 ! exit

322 ! exit

326```

323```

327

324

328−------------------------------------------------------------------------

325+---

329

326

330### `++qex:ab`

327### `++qex:ab`

331

328

@@ -359,7 +356,7 @@ without a leading zero.

359 ! exit

356 ! exit

360```

357```

361

358

362−------------------------------------------------------------------------

359+---

363

360

364### `++qib:ab`

361### `++qib:ab`

365

362

@@ -389,7 +386,7 @@ Parsing `++rule`. Parses exactly four binary digits.

389 ! exit

386 ! exit

390```

387```

391

388

392−------------------------------------------------------------------------

389+---

393

390

394### `++qix:ab`

391### `++qix:ab`

395

392

@@ -419,7 +416,7 @@ Parsing `++rule`. Parses exactly four hexadecimal digits.

419 ! exit

416 ! exit

420```

417```

421

418

422−------------------------------------------------------------------------

419+---

423

420

424### `++seb:ab`

421### `++seb:ab`

425

422

@@ -450,7 +447,7 @@ Parsing `++rule`. Parses the number 1.

450 ! {1 1}

447 ! {1 1}

451```

448```

452

449

453−------------------------------------------------------------------------

450+---

454

451

455### `++sed:ab`

452### `++sed:ab`

456

453

@@ -478,7 +475,7 @@ Parsing `++rule`. Parses a nonzero decimal digit.

478 ! exit

475 ! exit

479```

476```

480

477

481−------------------------------------------------------------------------

478+---

482

479

483### `++sev:ab`

480### `++sev:ab`

484

481

@@ -506,7 +503,7 @@ Parsing `++rule`. Parses a nonzero base-32 digit

506 ! exit

503 ! exit

507```

504```

508

505

509−------------------------------------------------------------------------

506+---

510

507

511### `++sew:ab`

508### `++sew:ab`

512

509

@@ -534,7 +531,7 @@ Parsing `++rule`. Parses a nonzero base-64 digit

534 ! exit

531 ! exit

535```

532```

536

533

537−------------------------------------------------------------------------

534+---

538

535

539### `++sex:ab`

536### `++sex:ab`

540

537

@@ -562,7 +559,7 @@ Parsing `++rule`. Parses a nonzero hexadecimal digit.

562 ! exit

559 ! exit

563```

560```

564

561

565−------------------------------------------------------------------------

562+---

566

563

567### `++sib:ab`

564### `++sib:ab`

568

565

@@ -589,7 +586,7 @@ Parsing `++rule`. Parses a binary digit.

589 0

586 0

590```

587```

591

588

592−------------------------------------------------------------------------

589+---

593

590

594### `++sid:ab`

591### `++sid:ab`

595

592

@@ -614,7 +611,7 @@ Parsing `++rule`. Parses a decimal digit.

614 5

611 5

615```

612```

616

613

617−------------------------------------------------------------------------

614+---

618

615

619### `++siv:ab`

616### `++siv:ab`

620

617

@@ -639,7 +636,7 @@ Parsing `++rule`. Parses a base-32 digit.

639 12

636 12

640```

637```

641

638

642−------------------------------------------------------------------------

639+---

643

640

644### `++siw:ab`

641### `++siw:ab`

645

642

@@ -664,7 +661,7 @@ Parsing `++rule`. Parses a base-64 digit.

664 48

661 48

665```

662```

666

663

667−------------------------------------------------------------------------

664+---

668

665

669### `++six:ab`

666### `++six:ab`

670

667

@@ -689,7 +686,7 @@ Parsing `++rule`. Parses a hexadecimal digit.

689 14

686 14

690```

687```

691

688

692−------------------------------------------------------------------------

689+---

693

690

694### `++sov:ab`

691### `++sov:ab`

695

692

@@ -713,7 +710,8 @@ Parsing `++rule`. Parses a base-32 letter.

713 > (scan "c" sov:ab)

710 > (scan "c" sov:ab)

714 12

711 12

715```

712```

716−------------------------------------------------------------------------

713+

714+---

717

715

718### `++sow:ab`

716### `++sow:ab`

719

717

@@ -743,7 +741,7 @@ Parsing `++rule`. Parses a base-64 letter/symbol.

743 48

741 48

744```

742```

745

743

746−------------------------------------------------------------------------

744+---

747

745

748### `++sox:ab`

746### `++sox:ab`

749

747

@@ -768,7 +766,7 @@ Parsing `++rule`. Parses a hexadecimal letter.

768 14

766 14

769```

767```

770

768

771−------------------------------------------------------------------------

769+---

772

770

773### `++ted:ab`

771### `++ted:ab`

774

772

@@ -801,7 +799,7 @@ leading zero.

801 ! exit

799 ! exit

802```

800```

803

801

804−------------------------------------------------------------------------

802+---

805

803

806### `++tip:ab`

804### `++tip:ab`

807

805

@@ -830,7 +828,7 @@ syllable.

830 242

828 242

831```

829```

832

830

833−------------------------------------------------------------------------

831+---

834

832

835### `++tiq:ab`

833### `++tiq:ab`

836

834

@@ -849,6 +847,7 @@ syllable.

849 ++ tiq (sear |=(a/@ (ind:po a)) til)

847 ++ tiq (sear |=(a/@ (ind:po a)) til)

850

848

851```

849```

850+

852#### Examples

851#### Examples

853

852

854```

853```

@@ -858,7 +857,7 @@ syllable.

858 1

857 1

859```

858```

860

859

861−------------------------------------------------------------------------

860+---

862

861

863### `++tid:ab`

862### `++tid:ab`

864

863

@@ -886,7 +885,7 @@ Parsing `++rule`. Parses exactly three decimal digits.

886 ! exit

885 ! exit

887```

886```

888

887

889−------------------------------------------------------------------------

888+---

890

889

891### `++til:ab`

890### `++til:ab`

892

891

@@ -916,7 +915,7 @@ Parsing `++rule`. Parses exactly three lowercase letters.

916 ! exit

915 ! exit

917```

916```

918

917

919−------------------------------------------------------------------------

918+---

920

919

921### `++urs:ab`

920### `++urs:ab`

922

921

@@ -945,7 +944,7 @@ Parsing rule. Parses characters from an atom of the span aura `@ta`.

945 'asa-lom_tak'

944 'asa-lom_tak'

946```

945```

947

946

948−------------------------------------------------------------------------

947+---

949

948

950### `++urt:ab`

949### `++urt:ab`

951

950

@@ -973,7 +972,7 @@ for cab, `_`.

973 'asa-lom.t0k'

972 'asa-lom.t0k'

974```

973```

975

974

976−------------------------------------------------------------------------

975+---

977

976

978### `++voy:ab`

977### `++voy:ab`

979

978

@@ -1001,9 +1000,9 @@ byte.

1001 q=39

1000 q=39

1002```

1001```

1003

1002

1004−------------------------------------------------------------------------

1003+---

1005

1004

1006−### `++ag`

1005+## `++ag`

1007

1006

1008Top-level atom parser engine

1007Top-level atom parser engine

1009

1008

@@ -1027,7 +1026,7 @@ A core containing top-level atom parsers.

1027 <14.vpu 414.mof 100.xkc 1.ypj %164>

1026 <14.vpu 414.mof 100.xkc 1.ypj %164>

1028```

1027```

1029

1028

1030−------------------------------------------------------------------------

1029+---

1031

1030

1032### `++ape:ag`

1031### `++ape:ag`

1033

1032

@@ -1054,7 +1053,7 @@ Parser modifier. Parses 0 or the sample rule `fel`.

1054 ~[2 0 2]

1053 ~[2 0 2]

1055```

1054```

1056

1055

1057−------------------------------------------------------------------------

1056+---

1058

1057

1059### `++bay:ag`

1058### `++bay:ag`

1060

1059

@@ -1079,7 +1078,7 @@ Parsing rule. Parses a binary number without a leading zero.

1079 q=38

1078 q=38

1080```

1079```

1081

1080

1082−------------------------------------------------------------------------

1081+---

1083

1082

1084### `++bip:ag`

1083### `++bip:ag`

1085

1084

@@ -1107,7 +1106,7 @@ Parsing rule. Parses a `@is`, an IPv6 address.

1107 .0.0.ea.3e6c.0.0.0.0

1106 .0.0.ea.3e6c.0.0.0.0

1108```

1107```

1109

1108

1110−------------------------------------------------------------------------

1109+---

1111

1110

1112### `++dem:ag`

1111### `++dem:ag`

1113

1112

@@ -1134,7 +1133,7 @@ Parsing rule. Parses a decimal number that includes dot separators.

1134 q=13.507

1133 q=13.507

1135```

1134```

1136

1135

1137−------------------------------------------------------------------------

1136+---

1138

1137

1139### `++dim:ag`

1138### `++dim:ag`

1140

1139

@@ -1162,7 +1161,7 @@ Parsing rule. Parses a decimal number without a leading zero.

1162 ! exit

1161 ! exit

1163```

1162```

1164

1163

1165−------------------------------------------------------------------------

1164+---

1166

1165

1167### `++dum:ag`

1166### `++dum:ag`

1168

1167

@@ -1191,7 +1190,7 @@ Parsing rule. Parses a decmial number with leading zeroes.

1191 q=13.507

1190 q=13.507

1192```

1191```

1193

1192

1194−------------------------------------------------------------------------

1193+---

1195

1194

1196### `++fed:ag`

1195### `++fed:ag`

1197

1196

@@ -1233,7 +1232,7 @@ Parsing rule. Parses an atom of aura `@p`, the phonetic base.

1233 282.810.089.790.159.633.869.501.053.313.363.681.181

1232 282.810.089.790.159.633.869.501.053.313.363.681.181

1234```

1233```

1235

1234

1236−------------------------------------------------------------------------

1235+---

1237

1236

1238### `++hex:ag`

1237### `++hex:ag`

1239

1238

@@ -1264,7 +1263,7 @@ Parsing rule. Parses a hexadecimal number

1264 0x3.ac8d

1263 0x3.ac8d

1265```

1264```

1266

1265

1267−------------------------------------------------------------------------

1266+---

1268

1267

1269### `++lip:ag`

1268### `++lip:ag`

1270

1269

@@ -1294,7 +1293,7 @@ Parsing rule. Parses an IPv4 address.

1294 .8.8.8.8

1293 .8.8.8.8

1295```

1294```

1296

1295

1297−------------------------------------------------------------------------

1296+---

1298

1297

1299### `++viz:ag`

1298### `++viz:ag`

1300

1299

@@ -1319,7 +1318,7 @@ Parsing rule. Parses a Base-32 number with dot separators.

1319 q=15.125.353.270

1318 q=15.125.353.270

1320```

1319```

1321

1320

1322−------------------------------------------------------------------------

1321+---

1323

1322

1324### `++vum:ag`

1323### `++vum:ag`

1325

1324

@@ -1344,7 +1343,7 @@ Parsing rule. Parses a raw base-32 string.

1344 q=15.125.353.270

1343 q=15.125.353.270

1345```

1344```

1346

1345

1347−------------------------------------------------------------------------

1346+---

1348

1347

1349### `++wiz:ag`

1348### `++wiz:ag`

1350

1349

@@ -1372,7 +1371,8 @@ Parsing rule. Parses a base-64 number.

1372```

1371```

1373

1372

1374---

1373---

1374+

1375−### `++mu`

1375+## `++mu`

1376

1377Core used to scramble 16-bit atoms

1378

@@ -1402,7 +1402,7 @@ relationship between a planet and its star.

1402 <3.sjm [[@ux @ux] <414.hhh 100.xkc 1.ypj %164>]>

1403```

1404

1405−------------------------------------------------------------------------

1405+---

1406

1407### `++zag:mu`

1408

@@ -1433,7 +1433,7 @@ planet.

1433 [0x22e1 0x201]

1434```

1435

1436−------------------------------------------------------------------------

1436+---

1437

1438### `++zig:mu`

1439

@@ -1465,7 +1465,7 @@ planet.

1465 [0x1f04 0x1042]

1466```

1467

1468−------------------------------------------------------------------------

1468+---

1469

1470### `++zug:mu`

1471

@@ -1495,14 +1495,13 @@ planet name.

1495 0x10e1.00fa

1496```

1497

1498−

1499---

1498---

1499+

1500−### `++ne`

1500+## `++ne`

1501

1502Digit rendering engine

1503

1504−A door containing arms that render digits at bases 10, 16, 32, and

1504+A door containing arms that render digits at bases 10, 16, 32, and 64.

1505−64.

1506

1505

1507#### Accepts

1506#### Accepts

1508

1507

@@ -1524,7 +1523,7 @@ A door containing arms that render digits at bases 10, 16, 32, and

1524 <4.gut [@ud <414.hhh 100.xkc 1.ypj %164>]>

1523 <4.gut [@ud <414.hhh 100.xkc 1.ypj %164>]>

1525```

1524```

1526

1525

1527−------------------------------------------------------------------------

1526+---

1528

1527

1529### `++d:ne`

1528### `++d:ne`

1530

1529

@@ -1552,7 +1551,7 @@ Renders a decimal digit as an atom of an ACII byte value.

1552

1551

1553```

1552```

1554

1553

1555−------------------------------------------------------------------------

1554+---

1556

1555

1557### `++x:ne`

1556### `++x:ne`

1558

1557

@@ -1582,7 +1581,7 @@ Renders a hexadecimal digit as an atom of an ASCII byte value.

1582 'e'

1581 'e'

1583```

1582```

1584

1583

1585−------------------------------------------------------------------------

1584+---

1586

1585

1587### `++v:ne`

1586### `++v:ne`

1588

1587

@@ -1611,7 +1610,7 @@ Renders a base-32 digit as an atom of an ASCII byte value.

1611 'p'

1610 'p'

1612```

1611```

1613

1612

1614−------------------------------------------------------------------------

1613+---

1615

1614

1616### `++w:ne`

1615### `++w:ne`

1617

1616

@@ -1652,5 +1651,4 @@ Renders a base-64 digit as an atom of an ASCII byte value.

1652 '-'

1651 '-'

1653```

1652```

1654

1653

1655−

1656---

1654---

content/docs/hoon/reference/stdlib/4k.md+5−5

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

4template = "doc.html"

5+++

7−### `++co`

7+## `++co`

9Literal rendering engine

@@ -34,7 +34,7 @@ A door that contains arms that operate on the sample coin `lot`.

34 >

35```

37−------------------------------------------------------------------------

37+---

39### `++rear:co`

@@ -63,7 +63,7 @@ Renders a coin `lot` as a tape prepended to the sample tape `rom`.

63 "0xc8--ha"

64```

66−------------------------------------------------------------------------

66+---

68### `++rent:co`

@@ -92,7 +92,8 @@ Renders a coin `lot` as a span.

92 > `@t`~(rent co %$ %ux 200)

93 '0xc8'

94```

95−------------------------------------------------------------------------

95+

96+---

97### `++rend:co`

98### `++rend:co`

@@ -272,5 +273,4 @@ Renders a coin `lot` as a tape.

272 0vph

273 0vph

273```

274```

274

275

275−

276---

content/docs/hoon/reference/stdlib/4l.md+11−13

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

4template = "doc.html"

5+++

7−### `++so`

7+## `++so`

9Coin parser engine

@@ -28,7 +28,7 @@ Core containing arms that parse `++coin`.

28 <10.mkn 414.hhh 100.xkc 1.ypj %164>

29```

31−------------------------------------------------------------------------

31+---

33### `++bisk:so`

@@ -68,7 +68,7 @@ producing a `++dime`.

68 [%ux q=1.205.249]

69```

71−------------------------------------------------------------------------

71+---

73### `++crub:so`

@@ -260,7 +260,7 @@ and `@t`, producing a `++dime`.

260 [%ta 7.561.581]

261```

262

263−------------------------------------------------------------------------

263+---

264

265### `++nuck:so`

266

@@ -289,7 +289,6 @@ corresponding `++coin` parser.

289 ==

290```

291

292−

293#### Examples

292#### Examples

294

293

295```

294```

@@ -316,7 +315,7 @@ corresponding `++coin` parser.

316 0vph

315 0vph

317```

316```

318

317

319−------------------------------------------------------------------------

318+---

320

319

321### `++nusk:so`

320### `++nusk:so`

322

321

@@ -349,7 +348,7 @@ formatting).

349 [~ %ta ~.asd_a]

348 [~ %ta ~.asd_a]

350```

349```

351

350

352−------------------------------------------------------------------------

351+---

353

352

354### `++perd:so`

353### `++perd:so`

355

354

@@ -385,7 +384,7 @@ prefixes.

385 [%many [[% p=[p=~.ud q=20]] ~[[% p=[p=~.tas q=120]]]]]

384 [%many [[% p=[p=~.ud q=20]] ~[[% p=[p=~.tas q=120]]]]]

386```

385```

387

386

388−------------------------------------------------------------------------

387+---

389

388

390### `++royl:so`

389### `++royl:so`

391

390

@@ -456,7 +455,7 @@ Parsing rule. Parses a number into a `++dime` float.

456 .~3.13999999999999

455 .~3.13999999999999

457```

456```

458

457

459−------------------------------------------------------------------------

458+---

460

459

461### `++royl-cell:so`

460### `++royl-cell:so`

462

461

@@ -475,7 +474,7 @@ Intermediate parsed float convereter

475 ::

474 ::

476```

475```

477

476

478−------------------------------------------------------------------------

477+---

479

478

480### `++tash:so`

479### `++tash:so`

481

480

@@ -518,7 +517,7 @@ Parsing rule. Parses a signed number into a `++dime`.

518 [%sx --0x2e]

517 [%sx --0x2e]

519```

518```

520

519

521−------------------------------------------------------------------------

520+---

522

521

523### `++twid:so`

522### `++twid:so`

524

523

@@ -556,7 +555,7 @@ Parsing rule. Parses coins after a leading sig, `~`.

556 [%blob [1 1]]

555 [%blob [1 1]]

557```

556```

558

557

559−------------------------------------------------------------------------

558+---

560

559

561### `++zust:so`

560### `++zust:so`

562

561

@@ -604,5 +603,4 @@ Parsing rule. Parses an atom of either `@if` (IP address), `@f`

604 [%rd .~12.00999999999999]

603 [%rd .~12.00999999999999]

605```

604```

606

605

607−

608---

606---

content/docs/hoon/reference/stdlib/4m.md+20−18

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

4template = "doc.html"

5+++

7−### `++scot`

7+## `++scot`

9Render dime as cord

@@ -45,9 +45,9 @@ A `cord`.

45 '~.asd_a'

46```

48−

49---

48---

49+

50−### `++scow`

50+## `++scow`

52Render dime as tape

@@ -66,6 +66,7 @@ A `tape`.

66```hoon

67 ++ scow |=(mol/dime ~(rend co %$ mol))

68```

69+

69#### Examples

70#### Examples

71```

72```

@@ -79,9 +80,9 @@ A `tape`.

79 "~.asd_a"

80 "~.asd_a"

80```

81```

82−

83---

84+

84−### `++slat`

85+## `++slat`

86Curried slaw

87Curried slaw

@@ -117,9 +118,9 @@ A `gate`.

117 [~ ~.asd_a

118 [~ ~.asd_a

118```

119```

119

120

120−

121---

122+

122−### `++slav`

123+## `++slav`

123

124

124Demand: parse cord with input aura

125Demand: parse cord with input aura

125

126

@@ -164,7 +165,8 @@ The atom of a `(unit @)` from `++slaw`, or crash.

164```

165```

165

166

166---

167---

168+

167−### `++slaw`

169+## `++slaw`

168

170

169Parse cord to input aura

171Parse cord to input aura

170

172

@@ -212,9 +214,9 @@ A `(unit @)`.

212 ~

214 ~

213```

215```

214

216

215−

216---

217---

218+

217−### `++slay`

219+## `++slay`

218

220

219Parse cord to coin

221Parse cord to coin

220

222

@@ -272,9 +274,9 @@ A `(unit coin)`.

272 0vph

274 0vph

273```

275```

274

276

275−

276---

277---

278+

277−### `++smyt`

279+## `++smyt`

278

280

279Render path as tank

281Render path as tank

280

282

@@ -318,9 +320,9 @@ A `tank`.

318 ]

320 ]

319```

321```

320

322

321−

322---

323---

324+

323−### `++spat`

325+## `++spat`

324

326

325Render path as cord

327Render path as cord

326

328

@@ -351,9 +353,9 @@ A `cord`.

351 '/as/les/top'

353 '/as/les/top'

352```

354```

353

355

354−

355---

356---

357+

356−### `++spud`

358+## `++spud`

357

359

358Render path as tape

360Render path as tape

359

361

@@ -384,9 +386,9 @@ A `tape`.

384 "/as/les/top"

386 "/as/les/top"

385```

387```

386

388

387−

388---

389---

390+

389−### `++stab`

391+## `++stab`

390

392

391Parse cord to path

393Parse cord to path

392

394

content/docs/hoon/reference/stdlib/4n.md+15−13

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

4template = "doc.html"

5+++

7−### `++mack`

7+## `++mack`

9Nock subject to unit

@@ -48,9 +48,9 @@ The `++unit` of a noun.

48 [~ %no]

49```

51−

52---

51---

52+

53−### `++mink`

53+## `++mink`

55Mock interpreter

@@ -174,7 +174,8 @@ A `++tone`.

174```

175

176---

177+

177−### `++mock`

178+## `++mock`

178

179

179Compute formula on subject with hint

180Compute formula on subject with hint

180

181

@@ -223,9 +224,9 @@ The `++unit` of a noun.

223 "14"

224 "14"

224```

225```

225

226

226−

227---

228+

228−### `++mong`

229+## `++mong`

229

230

230Slam gate with sample

231Slam gate with sample

231

232

@@ -279,9 +280,9 @@ A `++toon`.

279 [%0 p=[8 6]]

280 [%0 p=[8 6]]

280```

281```

281

282

282−

283---

284+

284−### `++mook`

285+## `++mook`

285

286

286Intelligently render crash annotation

287Intelligently render crash annotation

287

288

@@ -351,9 +352,9 @@ A `++toon`.

351 [%2 p=~[[%leaf p="/b/repl/:<[1 1].[1 2]>"] [%leaf p="####"]]]

352 [%2 p=~[[%leaf p="/b/repl/:<[1 1].[1 2]>"] [%leaf p="####"]]]

352```

353```

353

354

354−

355---

356+

356−### `++mule`

357+## `++mule`

357

358

358Typed virtual

359Typed virtual

359

360

@@ -404,9 +405,9 @@ XX

404 ]

405 ]

405```

406```

406

407

407−

408---

409+

409−### `++mute`

410+## `++mute`

410

411

411Untyped virtual

412Untyped virtual

412

413

@@ -417,6 +418,7 @@ information.

417#### Accepts

418#### Accepts

418

419

419`taq` is a `++trap`.

420`taq` is a `++trap`.

421+

420#### Produces

422#### Produces

421

423

422Either a noun or a `++list` of `++tank`.

424Either a noun or a `++list` of `++tank`.

@@ -444,4 +446,4 @@ Either a noun or a `++list` of `++tank`.

444 [%.n p=~]

446 [%.n p=~]

445```

447```

446

448

447−---

449+---

content/docs/hoon/reference/stdlib/4o.md+27−27

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

4template = "doc.html"

5+++

7−### `++abel`

7+## `++abel`

9Biblical names in hoon are primarily aliases for the compiler.

@@ -23,7 +23,7 @@ Biblical names in hoon are primarily aliases for the compiler.

24---

26−### `++aura`

26+## `++aura`

28'type' of atom

@@ -48,7 +48,7 @@ See also: `++base`, aura reference

49---

51−### `++base`

51+## `++base`

53Base type

@@ -78,7 +78,7 @@ boolean or null labelled with an aura.

79---

81−### `++beer`

81+## `++beer`

83Tape builder

@@ -101,7 +101,7 @@ Used to build tapes internally.

101

102---

103

104−### `++beet`

104+## `++beet`

105

106XML interpolation cases

107

@@ -121,7 +121,7 @@ Used internally.

121

122---

123

124−### `++chum`

124+## `++chum`

125

126Jet hint information

127

@@ -153,7 +153,7 @@ XX there's a ++chum in zuse that's politely causing this not to work

153

154---

155

156−### `++coil`

156+## `++coil`

157

158Tuple of core information

159

@@ -171,7 +171,7 @@ intermediate step within Section 2fB. Converted by `++core` to %core type.

171

172---

173

174−### `++foot`

174+## `++foot`

175

176Cases of arms by variance model.

177

@@ -207,7 +207,7 @@ See also: `++ap`, `++ut`

207

208---

209

210−### `++limb`

210+## `++limb`

211

212```hoon

213 ++ limb $|(term $%([%& p=axis] [%| p=@ud q=term])) ::

@@ -230,7 +230,7 @@ See also: section 2fC-2fD

230

231---

232

233−### `++line`

233+## `++line`

234

235XX move to `++ut`

236

@@ -261,7 +261,7 @@ XX move to `++ut`

261

262---

263

264−### `++metl`

264+## `++metl`

265

266```hoon

267 ++ metl ?(%gold %iron %zinc %lead) :: core variance

@@ -273,7 +273,7 @@ See also: `++coil`

273

274---

275

276−### `++nock`

276+## `++nock`

277

278Virtual machine. See Nock.

279

@@ -304,7 +304,7 @@ Virtual machine. See Nock.

304

305---

306

307−### `++null`

307+## `++null`

308

309```hoon

310 ++ null ,~ :: null, nil, etc

@@ -320,7 +320,7 @@ Used nowhere XX

320

321---

322

323−### `++port`

323+## `++port`

324

325XX move to `++ut`

326

@@ -346,7 +346,7 @@ Type and location of core-shaped thing? XX Compiler Internals

346

347---

348

349−### `++span`

349+## `++span`

350

351ASCII atom

352

@@ -381,7 +381,7 @@ besides numbers and lowercase letters are permitted.

381

382---

383

384−### `++tiki`

384+## `++tiki`

385

386XX move to `++ut`

387

@@ -418,7 +418,7 @@ A `++wing` or `++hoon`.

418

419---

420

421−### `++toga`

421+## `++toga`

422

423Tree of faces

424

@@ -461,7 +461,7 @@ XX move to `++ut` and rune doc (for \^= examples)

461

462---

463

464−### `++tone`

464+## `++tone`

465

466Intermediate Nock computation result

467

@@ -509,7 +509,7 @@ Similar to `++toon`, but stack trace is not yet rendered.

509

510---

511

512−### `++tuna`

512+## `++tuna`

513

514XML template tree

515

@@ -535,7 +535,7 @@ See also: `++sail`

535

536---

537

538−### `++tusk`

538+## `++tusk`

539

540List of expressions

541

@@ -559,7 +559,7 @@ a `++tusk`.

559

560---

561

562−### `++hoon`

562+## `++hoon`

563

564Expression

565

@@ -569,7 +569,7 @@ See Rune section of Hoon reference

569

570---

571

572−### `++tyke`

572+## `++tyke`

573

574List of 'maybe' hoons

575

@@ -594,7 +594,7 @@ a `++tyke`, where the `=` are inferred from your current path.

594

595---

596

597−### `++typo`

597+## `++typo`

598

599Pointer for `++type`

600

@@ -613,7 +613,7 @@ See also: `++seem`, `++vise`, `++type`

613

614---

615

616−### `++tyre`

616+## `++tyre`

617

618List, term hoon

619

@@ -627,7 +627,7 @@ Associative list of `++term` `++hoon`, used in jet hint processing.

627

628---

629

630−### `++vase`

630+## `++vase`

631

632Typed data. A `++vase` is used wherever typed data is explicitly worked

633with.

@@ -647,7 +647,7 @@ with.

647

648---

649

650−### `++vise`

650+## `++vise`

651

652Convert during reboot

653

@@ -665,7 +665,7 @@ See also: `++typo`, `++seer`

665

666---

667

668−### `++wing`

668+## `++wing`

669

670```hoon

671 ++ wing (list limb) ::

content/docs/hoon/reference/stdlib/5f.md+18−23

@@ -4,11 +4,11 @@ weight = 48

4template = "doc.html"

5+++

7−### `++mane`

7+## `++mane`

9XML name

11−An XML name (tag name or attribute name) with an optional namespace. Parsed by

11+An XML name (tag name or attribute name) with an optional namespace. Parsed by

12`++name:de-xml:html` in `zuse.hoon`, rendered by `++name:en-xml:html` in `zuse.hoon`.

14#### Source

@@ -31,9 +31,9 @@ See also: `++sail`

31 [%div %namespace]

32```

34−

35---

34---

35+

36−### `++manx`

36+## `++manx`

38XML node.

@@ -49,10 +49,9 @@ Parsed by `++apex` within `++apex:de-xml:html` in `zuse.hoon`, rendered by `++ap

50See also: `++sail` doc

52−

53−

54---

52---

53+

55−### `++marl`

54+## `++marl`

57List of XML nodes

56List of XML nodes

@@ -66,10 +65,9 @@ A list of `++manx`.

67#### Examples

66#### Examples

69−

70−

71---

68---

69+

72−### `++mars`

70+## `++mars`

74XML CDATA

72XML CDATA

@@ -83,10 +81,9 @@ Implicitly produced by `++chrd` within `++chrd:de-xml:html`

84#### Examples

82#### Examples

86−

87−

88---

84---

85+

89−### `++mart`

86+## `++mart`

91List of XML attributes

88List of XML attributes

@@ -103,9 +100,9 @@ Parsed by `++attr:de-xml:html` in `zuse.hoon`, rendered by `++attr:en-xml:html`

103

100

104#### Examples

101#### Examples

105

102

106−

107---

103---

104+

108−### `++marx`

105+## `++marx`

109

106

110XML tag

107XML tag

111

108

@@ -120,10 +117,9 @@ A `++marx` is a pair of a tag name, `++mane` and a list of attributes,

120

117

121#### Examples

118#### Examples

122

119

123−

124−

125---

120---

121+

126−### `++pass`

122+## `++pass`

127

123

128Atom alias

124Atom alias

129

125

@@ -135,9 +131,9 @@ Used primarily in crypto.

135 ++ pass @ :: public key

131 ++ pass @ :: public key

136```

132```

137

133

138−

139---

134---

135+

140−### `++ring`

136+## `++ring`

141

137

142Atom alias

138Atom alias

143

139

@@ -149,9 +145,9 @@ Used primarily in crypto.

149 ++ ring @ :: private key

145 ++ ring @ :: private key

150```

146```

151

147

152−

153---

148---

149+

154−### `++time`

150+## `++time`

155

151

156Absolute date

152Absolute date

157

153

@@ -172,5 +168,4 @@ See also: `++date`, aura reference

172 ~2014.1.1

168 ~2014.1.1

173```

169```

174

170

175−

176---

171---