b9c77f5 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

Use new docs structure

b9c77f5Alec Brickner6 years ago

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

compare with master

unifiedsplit

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

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

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

132

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)

134

135---

136### `++list`

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

166```

167#### Discussion

168

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)

170

171---

172### `++lone`

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

229---

230### `++pole`

231

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

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

233

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`.

235

236#### Source

237

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

280---

281### `++quip`

282

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

284

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`.

286

287#### Source

288

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

416

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

418

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

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

420

421---

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

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

7### `++biff`

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

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

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)

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

14#### Accepts

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

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

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).

20#### Produces

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

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

24#### Source

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

44---

45### `++bind`

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)

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

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/reference/library/1c.md#unit). Used when you want a function that does not accept or produce a

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/reference/library/1c.md#unit) to both accept and produce a [`unit`](@/docs/reference/library/1c.md#unit).

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

53#### Accepts

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

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

57`b` is a function.

59#### Produces

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

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

63#### Source

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

88Replace null

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

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/reference/library/1c.md#unit) is not empty, then the original [`unit`](@/docs/reference/library/1c.md#unit) is produced.

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.

93#### Accepts

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

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

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

99#### Produces

100

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`.

102

103#### Source

104

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

126---

127### `++both`

128

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

130

131Produces `~` 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

133`b`.

134

135#### Accepts

136

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

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

138

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

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

140

141#### Produces

142

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.

144

145#### Source

146

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

165---

166### `++clap`

167

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)

169

170Applies 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).

172

173#### Accepts

174

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

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

176

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

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

178

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

180

181#### Produces

182

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

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

184

185#### Source

186

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

212---

213### `++drop`

214

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

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

216

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`.

218

219#### Accepts

220

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

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

222

223#### Produces

224

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

249---

250### `++fall`

251

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

253

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.

255

256#### Accepts

257

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

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

259

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

261

262#### Produces

263

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`.

265

266#### Source

267

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

285

286Curried bind

287

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)

289`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).

291

292#### Accepts

293

294`a` is a gate.

295

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

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

297

298#### Produces

299

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

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

301

302#### Source

303

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

324

325Choose

326

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

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

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

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

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

332

333#### Accepts

334

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

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

336

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

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

338

339#### Produces

340

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

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

342

343#### Source

344

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

374---

375### `++need`

376

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

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

378

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.

380

381#### Accepts

382

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

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

384

385#### Produces

386

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

415---

416### `++some`

417

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)

419

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`.

421

422#### Accepts

423

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

425

426#### Produces

427

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

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

429

430#### Source

431