b9c77f5 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

Use new docs structure

commitb9c77f54686e127ac279a17d9f07ec1ad29c1b02 authorAlec Brickner <alec@primer.ai> dateSun 28 Mar 2021, 13:52 (6 years ago) parentd7950b5

2 files changed+53−53

compare with master

unifiedsplit

hoon/reference/stdlib/1c.md+7−7 hoon/reference/stdlib/2a.md+46−46

hoon/reference/stdlib/1c.md+7−7

@@ -130,7 +130,7 @@ A `gate` is analogous to a function in other programming languages. We created

130130this new jargon because other constructs in Urbit are "functions" in the

131131mathematical sense. Any `gate` normalizes to an iron `gate`.

132132

133−See also: [`++lift`](@/docs/reference/library/2a.md#lift), [`++cork`](@/docs/reference/library/2n.md#cork)

133+See also: [`++lift`](@/docs/hoon/reference/stdlib/2a.md#lift), [`++cork`](@/docs/hoon/reference/stdlib/2n.md#cork)

134134

135135---

136136### `++list`

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

166166```

167167#### Discussion

168168

169−See also: [`++turn`](@/docs/reference/library/2b.md#turn), [`++snag`](@/docs/reference/library/2b.md#snag)

169+See also: [`++turn`](@/docs/hoon/reference/stdlib/2b.md#turn), [`++snag`](@/docs/hoon/reference/stdlib/2b.md#snag)

170170

171171---

172172### `++lone`

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

229229---

230230### `++pole`

231231

232−Faceless [`list`](@/docs/reference/library/1c.md#list)

232+Faceless [`list`](@/docs/hoon/reference/stdlib/1c.md#list)

233233

234−A mold generator. A [`list`](@/docs/reference/library/1c.md#list) without the faces `i` and `t`.

234+A mold generator. A [`list`](@/docs/hoon/reference/stdlib/1c.md#list) without the faces `i` and `t`.

235235

236236#### Source

237237

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

280280---

281281### `++quip`

282282

283−Mold of pair of [`list`](@/docs/reference/library/1c.md#list) and type

283+Mold of pair of [`list`](@/docs/hoon/reference/stdlib/1c.md#list) and type

284284

285−A mold generator. Produces a tuple of a [`list`](@/docs/reference/library/1c.md#list) of `a` and the mold of `b`.

285+A mold generator. Produces a tuple of a [`list`](@/docs/hoon/reference/stdlib/1c.md#list) of `a` and the mold of `b`.

286286

287287#### Source

288288

@@ -416,6 +416,6 @@ type that was passed in.

416416

417417Using a `unit` allows you to specify something that may not be there.

418418

419−See also: [`++bind`](@/docs/reference/library/2b.md#bind)

419+See also: [`++bind`](@/docs/hoon/reference/stdlib/2b.md#bind)

420420

421421---

hoon/reference/stdlib/2a.md+46−46

@@ -6,20 +6,20 @@ template = "doc.html"

77### `++biff`

9−[`Unit`](@/docs/reference/library/1c.md#unit) as argument

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

1010

11−Applies a function `b` that produces a [`unit`](@/docs/reference/library/1c.md#unit) to the unwrapped value of [`unit`](@/docs/reference/library/1c.md#unit)

11+Applies a function `b` that produces a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) to the unwrapped value of [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)

1212`a` (`u.a`). If `a` is empty, `~` is produced.

1313

1414#### Accepts

1515

16−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

16+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

1717

18−`b` is a function that accepts a [`noun`](@/docs/glossary/noun.md) and produces a [`unit`](@/docs/reference/library/1c.md#unit).

18+`b` is a function that accepts a [`noun`](@/docs/glossary/noun.md) and produces a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

1919

2020#### Produces

2121

22−A [`unit`](@/docs/reference/library/1c.md#unit).

22+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

2323

2424#### Source

2525

@@ -44,21 +44,21 @@ A [`unit`](@/docs/reference/library/1c.md#unit).

4444---

4545### `++bind`

4646

47−Non-unit function to [`unit`](@/docs/reference/library/1c.md#unit), producing [`unit`](@/docs/reference/library/1c.md#unit)

47+Non-unit function to [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit), producing [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)

4848

49−Applies a function `b` to the value (`u.a`) of a [`unit`](@/docs/reference/library/1c.md#unit) `a`, producing

50−a [`unit`](@/docs/reference/library/1c.md#unit). Used when you want a function that does not accept or produce a

51−[`unit`](@/docs/reference/library/1c.md#unit) to both accept and produce a [`unit`](@/docs/reference/library/1c.md#unit).

49+Applies a function `b` to the value (`u.a`) of a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `a`, producing

50+a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit). Used when you want a function that does not accept or produce a

51+[`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) to both accept and produce a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

5252

5353#### Accepts

5454

55−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

55+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

5656

5757`b` is a function.

5858

5959#### Produces

6060

61−A [`unit`](@/docs/reference/library/1c.md#unit).

61+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

6262

6363#### Source

6464

@@ -87,18 +87,18 @@ A [`unit`](@/docs/reference/library/1c.md#unit).

8787

8888Replace null

8989

90−Replaces an empty [`unit`](@/docs/reference/library/1c.md#unit) `b` with the product of a called [`trap`](@/docs/glossary/trap.md)

91−`a`. If the [`unit`](@/docs/reference/library/1c.md#unit) is not empty, then the original [`unit`](@/docs/reference/library/1c.md#unit) is produced.

90+Replaces an empty [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `b` with the product of a called [`trap`](@/docs/glossary/trap.md)

91+`a`. If the [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) is not empty, then the original [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) is produced.

9292

9393#### Accepts

9494

9595`a` is a [`trap`](@/docs/glossary/trap.md).

9696

97−`b` is a [`unit`](@/docs/reference/library/1c.md#unit).

97+`b` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

9898

9999#### Produces

100100

101−Either the product of `a` or the value inside of [`unit`](@/docs/reference/library/1c.md#unit) `b`.

101+Either the product of `a` or the value inside of [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `b`.

102102

103103#### Source

104104

@@ -126,21 +126,21 @@ Either the product of `a` or the value inside of [`unit`](@/docs/reference/libra

126126---

127127### `++both`

128128

129−Group [`unit`](@/docs/reference/library/1c.md#unit) values into pair

129+Group [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) values into pair

130130

131131Produces `~` if either `a` or `b` are empty. Otherwise, produces a

132−[`unit`](@/docs/reference/library/1c.md#unit) whose value is a cell of the values of two input [`units`](@/docs/reference/library/1c.md#unit) `a` and

132+[`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) whose value is a cell of the values of two input [`units`](@/docs/hoon/reference/stdlib/1c.md#unit) `a` and

133133`b`.

134134

135135#### Accepts

136136

137−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

137+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

138138

139−`b` is a [`unit`](@/docs/reference/library/1c.md#unit).

139+`b` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

140140

141141#### Produces

142142

143−A [`unit`](@/docs/reference/library/1c.md#unit) of the two initial values.

143+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) of the two initial values.

144144

145145#### Source

146146

@@ -165,22 +165,22 @@ A [`unit`](@/docs/reference/library/1c.md#unit) of the two initial values.

165165---

166166### `++clap`

167167

168−Apply function to two [`units`](@/docs/reference/library/1c.md#unit)

168+Apply function to two [`units`](@/docs/hoon/reference/stdlib/1c.md#unit)

169169

170170Applies a binary function `c`--which does not usually accept or produce a

171−[`unit`](@/docs/reference/library/1c.md#unit)-- to the values of two [`units`](@/docs/reference/library/1c.md#unit), `a` and `b`, producing a [`unit`](@/docs/reference/library/1c.md#unit).

171+[`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)-- to the values of two [`units`](@/docs/hoon/reference/stdlib/1c.md#unit), `a` and `b`, producing a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

172172

173173#### Accepts

174174

175−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

175+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

176176

177−`b` is a [`unit`](@/docs/reference/library/1c.md#unit).

177+`b` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

178178

179179`c` is a function that performs a binary operation.

180180

181181#### Produces

182182

183−A [`unit`](@/docs/reference/library/1c.md#unit).

183+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

184184

185185#### Source

186186

@@ -212,13 +212,13 @@ A [`unit`](@/docs/reference/library/1c.md#unit).

212212---

213213### `++drop`

214214

215−[`Unit`](@/docs/reference/library/1c.md#unit) to list

215+[`Unit`](@/docs/hoon/reference/stdlib/1c.md#unit) to list

216216

217−Makes a [`++list`](@/docs/reference/library/1c.md#list) of the unwrapped value (`u.a`) of a [`unit`](@/docs/reference/library/1c.md#unit) `a`.

217+Makes a [`++list`](@/docs/hoon/reference/stdlib/1c.md#list) of the unwrapped value (`u.a`) of a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `a`.

218218

219219#### Accepts

220220

221−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

221+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

222222

223223#### Produces

224224

@@ -249,19 +249,19 @@ A list.

249249---

250250### `++fall`

251251

252−Give [`unit`](@/docs/reference/library/1c.md#unit) a default value

252+Give [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) a default value

253253

254−Produces a default value `b` for a [`unit`](@/docs/reference/library/1c.md#unit) `a` in cases where `a` is null.

254+Produces a default value `b` for a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `a` in cases where `a` is null.

255255

256256#### Accepts

257257

258−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

258+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

259259

260260`b` is a [`noun`](@/docs/glossary/noun.md) that's used as the default value.

261261

262262#### Produces

263263

264−Either a [`noun`](@/docs/glossary/noun.md) `b` or the unwrapped value of [`unit`](@/docs/reference/library/1c.md#unit) `a`.

264+Either a [`noun`](@/docs/glossary/noun.md) `b` or the unwrapped value of [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) `a`.

265265

266266#### Source

267267

@@ -285,19 +285,19 @@ Either a [`noun`](@/docs/glossary/noun.md) `b` or the unwrapped value of [`unit`

285285

286286Curried bind

287287

288−Accepts a `++gate` `a` and produces a function that accepts [`unit`](@/docs/reference/library/1c.md#unit)

288+Accepts a `++gate` `a` and produces a function that accepts [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)

289289`b` to which it applies `a`. Used when you want a function that does not accept

290−or produce a [`unit`](@/docs/reference/library/1c.md#unit) to both accept and produce a [`unit`](@/docs/reference/library/1c.md#unit).

290+or produce a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) to both accept and produce a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

291291

292292#### Accepts

293293

294294`a` is a gate.

295295

296−`b` is a [`unit`](@/docs/reference/library/1c.md#unit).

296+`b` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

297297

298298#### Produces

299299

300−A [`unit`](@/docs/reference/library/1c.md#unit).

300+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

301301

302302#### Source

303303

@@ -324,7 +324,7 @@ A [`unit`](@/docs/reference/library/1c.md#unit).

324324

325325Choose

326326

327−Accepts two [`units`](@/docs/reference/library/1c.md#unit) `a` and `b` whose values are expected to be

327+Accepts two [`units`](@/docs/hoon/reference/stdlib/1c.md#unit) `a` and `b` whose values are expected to be

328328equivalent. If either is empty, then the value of the other is produced.

329329If neither are empty, it asserts that both values are the same and

330330produces that value. If the assertion fails, `++mate` crashes with

@@ -332,13 +332,13 @@ produces that value. If the assertion fails, `++mate` crashes with

332332

333333#### Accepts

334334

335−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

335+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

336336

337−`b` is a [`unit`](@/docs/reference/library/1c.md#unit).

337+`b` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

338338

339339#### Produces

340340

341−A [`unit`](@/docs/reference/library/1c.md#unit) or crash.

341+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) or crash.

342342

343343#### Source

344344

@@ -374,13 +374,13 @@ A [`unit`](@/docs/reference/library/1c.md#unit) or crash.

374374---

375375### `++need`

376376

377−Unwrap [`unit`](@/docs/reference/library/1c.md#unit)

377+Unwrap [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)

378378

379−Retrieve the value from a [`unit`](@/docs/reference/library/1c.md#unit) and crash if the [`unit`](@/docs/reference/library/1c.md#unit) is null.

379+Retrieve the value from a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) and crash if the [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) is null.

380380

381381#### Accepts

382382

383−`a` is a [`unit`](@/docs/reference/library/1c.md#unit).

383+`a` is a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

384384

385385#### Produces

386386

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

415415---

416416### `++some`

417417

418−Wrap value in a [`unit`](@/docs/reference/library/1c.md#unit)

418+Wrap value in a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit)

419419

420−Takes any [`noun`](@/docs/glossary/noun.md) `a` and produces a [`unit`](@/docs/reference/library/1c.md#unit) with the value set to `a`.

420+Takes any [`noun`](@/docs/glossary/noun.md) `a` and produces a [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit) with the value set to `a`.

421421

422422#### Accepts

423423

@@ -425,7 +425,7 @@ Takes any [`noun`](@/docs/glossary/noun.md) `a` and produces a [`unit`](@/docs/r

425425

426426#### Produces

427427

428−A [`unit`](@/docs/reference/library/1c.md#unit).

428+A [`unit`](@/docs/hoon/reference/stdlib/1c.md#unit).

429429

430430#### Source

431431