Various fixes and improvements.
commitfd4ee29bf6bf4573eed3fcd4cba15608d37f8d98
authorC. Guy Yarvin <cgyarvin@gmail.com>
dateSat 23 Apr 2016, 00:03 (11 years ago)
parent8a0491e
docs/hoon/examples.md+1−1
@@ -1,5 +1,5 @@
11---
2−sort: 9
2+sort: 8
33title: Examples
44next: true
55---
docs/hoon/exercises.md+1−1
@@ -1,5 +1,5 @@
11---
2−sort: 14
2+sort: 11
33---
44
55# Exercises
docs/hoon/library.md+3−3
@@ -1,8 +1,8 @@
11---
2−sort: 11
3−title: Std Library reference
2+sort: 10
3+title: Standard library
44---
55
6−# Library reference
6+# Standard library
77
88<list dataPreview="true" titlesOnly="true"></list>
docs/hoon/catalog.md → docs/hoon/reference.mdrenamed+1−1
@@ -1,5 +1,5 @@
11---
2−sort: 10
2+sort: 9
33title: Twig reference
44---
55
docs/hoon/troubleshooting.md+1−1
@@ -1,5 +1,5 @@
11---
2−sort: 8
2+sort: 12
33title: Troubleshooting
44next: true
55---
docs/hoon/twig.md+1−2
@@ -69,7 +69,6 @@ this mistake the hard way, but designating subexpressions as
6969
7070## Twig categories
7171
72−Fortunately, the twigs fit neatly into clear categories which
73−match their rune prefix. Read forward by category:
72+Most twigs fit into clear categories by meaning and rune prefix:
7473
7574<div><list/></div>
docs/hoon/twig/atom.md+14−4
@@ -12,6 +12,18 @@ is always `[1 constant]`.
1212(Some of the "constant" syntax below can interpolate dynamic
1313twigs. When it does, it obviously isn't constant at all.)
1414
15+## Auras
16+
17+Recall the `$atom` span, `{$atom p/aura q/(unit @)}`.
18+
19+Each atom constant syntax implies an aura, which is just a
20+textual symbol. The aura is used indiscriminately to convey
21+physical units, semantic interpretations, parsing syntax, and/or
22+printing syntax. It's soft type and can be manually overridden.
23+
24+We generally write an aura in its irregular mold syntax, such as
25+`@ud`. The syntax for the
26+
1527## Twigs
1628
1729```
@@ -19,8 +31,8 @@ twigs. When it does, it obviously isn't constant at all.)
1931++ twig
2032 {$rock p/@tas q/@}
2133 {$sand p/@tas q/@}
22− {$knit p/(list $@(@ {$~ p/twig}))}
23− {$path p/(list (each @tas twig))
34+ {$knit p/(list $@(@ {$~ p/seed}))}
35+ {$path p/(list (each @tas seed))
2436--
2537```
2638
@@ -106,5 +118,3 @@ A path can be dynamically interpolated with `[]`:
106118```
107119
108120equals `/foo/bar/baz`.
109−
110−
docs/hoon/twig/bar-core/dot-trap.md+1−1
@@ -2,7 +2,7 @@
22sort: 3
33---
44
5−# `:trap. |., "bardot", {$trap p/twig}`
5+# `:trap. |., "bardot", {$trap p/seed}`
66
77Form a trap, a core with one arm `$`.
88
docs/hoon/twig/bar-core/hep-loop.md+1−1
@@ -2,7 +2,7 @@
22sort: 4
33---
44
5−# `:loop, |-, "barhep", {$loop p/twig}`
5+# `:loop, |-, "barhep", {$loop p/seed}`
66
77Form a trap (a core with one dry arm `$`) and kick it.
88
docs/hoon/twig/bar-core/tar-gill.md+1−1
@@ -2,7 +2,7 @@
22sort: 6
33---
44
5−# `:gill, |*, "bartar", {$gill p/moss q/twig}`
5+# `:gill, |*, "bartar", {$gill p/moss q/seed}`
66
77Form a gill, a wet one-armed core with payload `{sample context}`.
88
docs/hoon/twig/bar-core/tis-gate.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:gate, |=, "bartis", {$gate p/moss q/twig}`
5+# `:gate, |=, "bartis", {$gate p/moss q/seed}`
66
77Form a gate, a dry one-armed core with payload `{sample context}`.
88
docs/hoon/twig/buc-mold/cab-shoe.md+1−1
@@ -3,7 +3,7 @@ sort: 1
33preview: Form a mold
44---
55
6−# `:shoe $_ "buccab" {$shoe p/twig}`
6+# `:shoe $_ "buccab" {$shoe p/seed}`
77
88Form a mold which normalizes to an example.
99
docs/hoon/twig/cen-call/sig-open.md+1−1
@@ -2,7 +2,7 @@
22sort: 3
33---
44
5−# `:open, %~, "censig", {$cnsg p/wing q/twig r/twig}
5+# `:open, %~, "censig", {$cnsg p/wing q/seed r/seed}
66
77## Expands to
88
docs/hoon/twig/col-cell/cab-scon.md+1−1
@@ -2,7 +2,7 @@
22sort: 6
33---
44
5−# `:scon, :_, "colcab", {$scon p/twig q/twig}`
5+# `:scon, :_, "colcab", {$scon p/seed q/seed}`
66
77Construct a cell, inverted.
88
docs/hoon/twig/col-cell/hep-cons.md+1−1
@@ -2,7 +2,7 @@
22sort: 1
33---
44
5−# `:cons, :-, "colhep", {$cons p/twig q/twig}`
5+# `:cons, :-, "colhep", {$cons p/seed q/seed}`
66
77Construct a cell (2-tuple).
88
docs/hoon/twig/col-cell/ket-conq.md+1−1
@@ -2,7 +2,7 @@
22sort: 3
33---
44
5−# `:conq, :^, "colket", {$conq p/twig q/twig r/twig s/twig}`
5+# `:conq, :^, "colket", {$conq p/seed q/seed r/seed s/seed}`
66
77Construct a quadruple (4-tuple).
88
docs/hoon/twig/col-cell/lus-cont.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:cont, :+, "collus", {$cont p/twig q/twig r/twig}`
5+# `:cont, :+, "collus", {$cont p/seed q/seed r/seed}`
66
77Construct a triple (3-tuple).
88
docs/hoon/twig/dot-nock/tar-nock.md+1−1
@@ -2,7 +2,7 @@
22sort: 1
33---
44
5−# `:nock, .*, "dottar", {$nock p/twig q/twig}`
5+# `:nock, .*, "dottar", {$nock p/seed q/seed}`
66
77Compute the Nock function.
88
docs/hoon/twig/dot-nock/tis-same.md+1−1
@@ -2,7 +2,7 @@
22sort: 4
33---
44
5−# `:same, .=, "dottis", {$same p/twig q/twig}`
5+# `:same, .=, "dottis", {$same p/seed q/seed}`
66
77Test for equality with Nock `5`.
88
docs/hoon/twig/dot-nock/wut-deep.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:deep, .?, "dotwut", {$deep p/twig}`
5+# `:deep, .?, "dotwut", {$deep p/seed}`
66
77Test for cell or atom with Nock `3`.
88
docs/hoon/twig/ket-cast/sig-burn.md+1−1
@@ -1,4 +1,4 @@
1−# `:burn`, `^~`, "ketsig", `{$burn p/twig}`
1+# `:burn`, `^~`, "ketsig", `{$burn p/seed}`
22
33Try executing `p` at compile time.
44
docs/hoon/twig/sig-hint/fas-funk.md+1−1
@@ -1,7 +1,7 @@
11---
22sort: 1
33
4−# `:funk ~/ "sigfas" {$funk p/term q/twig}`
4+# `:funk ~/ "sigfas" {$funk p/term q/seed}`
55
66Jet hint for a gate whose context is a registered core.
77
docs/hoon/twig/sig-hint/gal-thin.md+1−1
@@ -2,7 +2,7 @@
22sort: 6
33---
44
5−# :thin ~< "siggal" {$thin p/$@(term {p/term q/twig}) q/twig}
5+# :thin ~< "siggal" {$thin p/$@(term {p/term q/seed}) q/seed}
66
77Raw hint, applied to the result of computation.
88
docs/hoon/twig/sig-hint/gar-hint.md+1−1
@@ -2,7 +2,7 @@
22sort: 5
33---
44
5−# `:hint ~> "siggar", {$hint p/$@(term {p/term q/twig}) q/twig}`
5+# `:hint ~> "siggar", {$hint p/$@(term {p/term q/seed}) q/seed}`
66
77Raw hint, applied before computation.
88
docs/hoon/twig/sig-hint/wut-warn.md+1−1
@@ -2,7 +2,7 @@
22sort: 4
33---
44
5−# `:warn ~? "sigwut" `{$warn p/twig q/twig r/twig}`
5+# `:warn ~? "sigwut" `{$warn p/seed q/seed r/seed}`
66
77Conditional debugging printf.
88
docs/hoon/twig/tis-flow/col-fix.md+1−1
@@ -2,7 +2,7 @@
22sort: 9
33---
44
5−# `:fix, =:, "tiscol", {$fix p/(list (pair wing twig)) q/twig}`
5+# `:fix, =:, "tiscol", {$fix p/(list (pair wing seed)) q/seed}`
66
77Mutate multiple legs in the subject.
88
docs/hoon/twig/tis-flow/fas-var.md+1−1
@@ -2,7 +2,7 @@
22sort: 6
33---
44
5−# `:var, =/, "tisfas", {$var p/taco q/twig r/twig}`
5+# `:var, =/, "tisfas", {$var p/taco q/seed r/seed}`
66
77Combine a named and/or typed noun with the subject.
88
docs/hoon/twig/tis-flow/gal-rap.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:rap, =<, "tisgal", {$rap p/twig q/twig}`
5+# `:rap, =<, "tisgal", {$rap p/seed q/seed}`
66
77Compose two twigs, inverted.
88
docs/hoon/twig/tis-flow/gar-per.md+1−1
@@ -2,7 +2,7 @@
22sort: 1
33---
44
5−# `:per, =>, "tisgar", {$per p/twig q/twig}`
5+# `:per, =>, "tisgar", {$per p/seed q/seed}`
66
77Compose two twigs.
88
docs/hoon/twig/tis-flow/ket-sip.md+1−1
@@ -2,7 +2,7 @@
22sort: 10
33---
44
5−# `:sip, =^, "tisket", {$sip p/taco q/wing r/twig s/twig}`
5+# `:sip, =^, "tisket", {$sip p/taco q/wing r/seed s/seed}`
66
77Pin the head of a pair; mutate a leg with the tail.
88
docs/hoon/twig/tis-flow/sem-rev.md+1−1
@@ -2,7 +2,7 @@
22sort: 7
33---
44
5−# `:rev, =;, "tissem", {$rev p/taco q/twig r/twig}`
5+# `:rev, =;, "tissem", {$rev p/taco q/seed r/seed}`
66
77Combine a named and/or typed noun with the subject, inverted.
88
docs/hoon/twig/wut-test/dot-lest.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:lest`, `?.`, "wutdot" `{$lest p/twig q/twig r/twig}`
5+# `:lest`, `?.`, "wutdot" `{$lest p/seed q/seed r/seed}`
66
77Branch on a boolean test, inverted.
88
docs/hoon/twig/wut-test/ket-ifcl.md+1−1
@@ -2,7 +2,7 @@
22sort: 5
33---
44
5−# `:ifcl, ?^, "wutket", {$ifcl p/wing q/twig r/twig}`
5+# `:ifcl, ?^, "wutket", {$ifcl p/wing q/seed r/seed}`
66
77Branch on whether a wing of the subject is null.
88
docs/hoon/twig/zap-wild/gar-wrap.md+1−1
@@ -2,7 +2,7 @@
22sort: 2
33---
44
5−# `:wrap !> "zapgar" {$wrap p/twig}`
5+# `:wrap !> "zapgar" {$wrap p/seed}`
66
77Wrap a noun in its span.
88
docs/hoon/twig/zap-wild/tis-code.md+1−1
@@ -2,7 +2,7 @@
22sort: 3
33---
44
5−# `:code != "zaptis" {$code p/twig}`
5+# `:code != "zaptis" {$code p/seed}`
66
77Make the Nock formula for a twig.
88
docs/hoon/twig/zap-wild/wut-need.md+1−1
@@ -2,7 +2,7 @@
22sort: 4
33---
44
5−# `:need !? "zapwut" {$need p/@ q/twig}`
5+# `:need !? "zapwut" {$need p/@ q/seed}`
66
77Restrict Hoon version.
88