adds rune-form twig-expansions
... for accurately-expandable "syntax sugar" twigs
cleans up expansion formatting
corrects a couple original expansions
commitf21b8c0c508c3dec334ed53d2ffaf17229546b55
authorJoseph Bryan <joemfb@gmail.com>
dateThu 23 Jun 2016, 23:45 (10 years ago)
parent377b81b
docs/hoon/twig/bar-core/cab-door.md+6
@@ -18,6 +18,12 @@ with a sample.
1818==
1919```
2020
21+```
22+=| p
23+|% q
24+==
25+```
26+
2127## Syntax
2228
2329Regular: *1-fixed*, then *battery*.
docs/hoon/twig/bar-core/dot-trap.md+6−1
@@ -14,7 +14,12 @@ sort: 3
1414:core
1515++ $ p
1616--
17−```
17+```
18+
19+```
20+|% ++ $ p
21+--
22+```
1823
1924## Syntax
2025
docs/hoon/twig/bar-core/hep-loop.md+6−4
@@ -12,10 +12,12 @@ sort: 4
1212
1313```
1414:rap $
15−:core
16−++ $ p
17−--
18−```
15+:trap p
16+```
17+
18+```
19+=<($ |.(p))
20+```
1921
2022## Syntax
2123
docs/hoon/twig/bar-core/tar-gill.md+7−1
@@ -11,13 +11,19 @@ core with sample.
1111## Expands to
1212
1313```
14−:new p
14+:new p
1515:core
1616+- $
1717 q
1818--
1919```
2020
21+```
22+=| p
23+|% +- $ q
24+--
25+```
26+
2127## Syntax
2228
2329Regular: *2-fixed*.
docs/hoon/twig/bar-core/tis-gate.md+7−1
@@ -11,13 +11,19 @@ sort: 2
1111## Expands to
1212
1313```
14−:new p
14+:new p
1515:core
1616++ $
1717 q
1818--
1919```
2020
21+```
22+=| p
23+|% ++ $ q
24+--
25+```
26+
2127## Syntax
2228
2329Regular: *2-fixed*.
docs/hoon/twig/buc-mold/base.md+2−2
@@ -11,8 +11,8 @@ sort: 1
1111## Produces
1212
1313A mold for the base in `p`. `$noun` is any noun; `$atom` is any
14−atom; `$cell` is a cell of nouns; `$bean` is a loobean, `?(`@f`0
15−`@f`1)`. `$null` is zero with aura `@n`.
14+atom; `$cell` is a cell of nouns; `$bean` is a loobean, ``?(`@f`0
15+`@f`1)``. `$null` is zero with aura `@n`.
1616
1717## Syntax
1818
docs/hoon/twig/buc-mold/cab-shoe.md+4
@@ -14,6 +14,10 @@ sort: 9
1414p
1515```
1616
17+```
18+|=(* p)
19+```
20+
1721## Syntax
1822
1923Regular: *1-fixed*.
docs/hoon/twig/buc-mold/hep-lamb.md+5
@@ -17,6 +17,11 @@ sort: 8
1717$:q
1818```
1919
20+```
21+$_ ^|
22+|=(p $:q)
23+```
24+
2025## Syntax
2126
2227Regular: *2-fixed*.
docs/hoon/twig/buc-mold/tis-coat.md+5
@@ -15,6 +15,11 @@ sort: 3
1515:name(p :call(q +6))
1616```
1717
18+```
19+|= *
20+^=(p %-(q +6))
21+```
22+
1823## Syntax
1924
2025Regular: *2-fixed*.
docs/hoon/twig/cen-call/cab-keep.md+4
@@ -15,6 +15,10 @@ preserving type.
1515:like(p :make(p q))
1616```
1717
18+```
19+^+(p %=(p q))
20+```
21+
1822## Syntax
1923
2024Regular: *1-fixed*, then *jogging*.
docs/hoon/twig/cen-call/dot-lace.md+7−1
@@ -9,7 +9,13 @@ sort: 5
99
1010## Expands to
1111
12−`:call(q p)`.
12+```
13+:call(q p)
14+```
15+
16+```
17+%-(q p)
18+```
1319
1420## Syntax
1521
docs/hoon/twig/cen-call/hep-call.md+7−1
@@ -9,7 +9,13 @@ sort: 4
99
1010## Expands to
1111
12−`:open($ p q)`.
12+```
13+:open($ p q)
14+```
15+
16+```
17+%~($ p q)
18+```
1319
1420## Syntax
1521
docs/hoon/twig/cen-call/ket-calq.md+7−1
@@ -9,7 +9,13 @@ sort: 7
99
1010## Expands to
1111
12−`:call(p [q r s])`.
12+```
13+:call(p [q r s])
14+```
15+
16+```
17+%-(p [q r s])
18+```
1319
1420## Syntax
1521
docs/hoon/twig/cen-call/lus-calt.md+7−1
@@ -9,7 +9,13 @@ sort: 6
99
1010## Expands to
1111
12−`:call(p [q r])`.
12+```
13+:call(p [q r])
14+```
15+
16+```
17+%-(p [q r])
18+```
1319
1420## Syntax
1521
docs/hoon/twig/col-cell/cab-scon.md+4
@@ -13,6 +13,10 @@ sort: 6
1313:cons(q p)
1414```
1515
16+```
17+:-(q p)
18+```
19+
1620### Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/col-cell/ket-conq.md+4
@@ -13,6 +13,10 @@ sort: 3
1313:cons(p :cons(q :cons(r s)))
1414```
1515
16+```
17+:-(p :-(q :-(r s)))
18+```
19+
1620## Syntax
1721
1822Regular: *4-fixed*.
docs/hoon/twig/col-cell/lus-cont.md+4
@@ -13,6 +13,10 @@ sort: 2
1313:cons(p :cons(q r))
1414```
1515
16+```
17+:-(p :-(q r))
18+```
19+
1620## Syntax
1721
1822Regular: *3-fixed*.
docs/hoon/twig/ket-cast/hep-cast.md+4
@@ -13,6 +13,10 @@ sort: 2
1313:like(:bunt(p) q)
1414```
1515
16+```
17+^+(*p q)
18+```
19+
1620## Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/sem-make/fas-nub.md+7−3
@@ -10,11 +10,15 @@ sort: 4
1010## Expands to
1111
1212```
13−[%$ [%$ p ~] ~]
13+:conl(%$ :conl(%$ p))
14+```
15+
16+```
17+~[%$ ~[%$ 'p']]
1418```
1519
1620## Examples
1721```
18−~zod/try=> :/("foo"
19−[[%$ [%$ "foo] ~] ~]
22+~zod/try=> :/"foo"
23+[[%~. [%~. "foo] ~] ~]
2024```
docs/hoon/twig/sem-make/sem-fry.md+9−1
@@ -10,7 +10,15 @@ sort: 1
1010## Expands to
1111
1212```
13−:pin(:name(a (p q)) :sure(=(a (p a)) a))
13+:pin :name(a (p q))
14+:sure =(a (p a))
15+a
16+```
17+
18+```
19+=+ a=(p q)
20+?> =(a (p a))
21+a
1422```
1523
1624## Syntax
docs/hoon/twig/sig-hint/fas-funk.md+4
@@ -14,6 +14,10 @@ registered context.
1414:fast(p +7 ~ q)
1515```
1616
17+```
18+~%(p +7 ~ q)
19+```
20+
1721## Syntax
1822
1923Regular: *2-fixed*.
docs/hoon/twig/tis-flow/bar-new.md+4
@@ -13,6 +13,10 @@ sort: 5
1313:pin(:bunt(p) q)
1414```
1515
16+```
17+=+(*p q)
18+```
19+
1620## Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/tis-flow/col-fix.md+5−1
@@ -10,7 +10,11 @@ sort: 9
1010## Expands to
1111
1212```
13−:per(:keep(. p q) r)
13+:per(:keep(. p) q)
14+```
15+
16+```
17+=>(%_(. p) q)
1418```
1519
1620## Syntax
docs/hoon/twig/tis-flow/dot-set.md+4
@@ -13,6 +13,10 @@ sort: 8
1313:per(:keep(. p q) r)
1414```
1515
16+```
17+=>(%_(. p q) r)
18+```
19+
1620## Syntax
1721
1822Regular: *3-fixed*.
docs/hoon/twig/tis-flow/gal-rap.md+4
@@ -13,6 +13,10 @@ sort: 2
1313:per(q p)
1414```
1515
16+```
17+=>(q p)
18+```
19+
1620## Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/tis-flow/hep-nip.md+4
@@ -13,6 +13,10 @@ sort: 4
1313:per(:cons(q .) p)
1414```
1515
16+```
17+=>([q .] p)
18+```
19+
1620## Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/tis-flow/ket-sip.md+4
@@ -14,6 +14,10 @@ a leg with the tail.
1414:var(p -.r :set(q +.r s))
1515```
1616
17+```
18+=/(p -.r =.(q +.r s))
19+```
20+
1721## Syntax
1822
1923Regular: *4-fixed*.
docs/hoon/twig/tis-flow/lus-pin.md+4
@@ -13,6 +13,10 @@ sort: 3
1313:per(:cons(p .) q)
1414```
1515
16+```
17+=>([p .] q)
18+```
19+
1620## Syntax
1721
1822Regular: *2-fixed*.
docs/hoon/twig/tis-flow/sem-rev.md+5−1
@@ -11,7 +11,11 @@ subject, inverted.
1111## Expands to
1212
1313```
14−?@(p :pin(:name(p r) q) :pin(:cast(:coat(p r) q)
14+:var(p r q)
15+```
16+
17+```
18+=/(p r q)
1519```
1620
1721## Syntax
docs/hoon/twig/wut-test/dot-lest.md+4
@@ -15,6 +15,10 @@ sort: 2
1515q
1616```
1717
18+```
19+?:(p r q)
20+```
21+
1822## Syntax
1923
2024Regular: *3-fixed*.
docs/hoon/twig/wut-test/gal-deny.md+5−1
@@ -11,10 +11,14 @@ sort: 10
1111
1212```
1313:if p
14− :zpzp
14+ !!
1515q
1616```
1717
18+```
19+?:(p !! q)
20+```
21+
1822## Syntax
1923
2024Regular: *2-fixed*.
docs/hoon/twig/wut-test/gar-sure.md+5−1
@@ -11,10 +11,14 @@ sort: 11
1111
1212```
1313:lest p
14− :zpzp
14+ !!
1515q
1616```
1717
18+```
19+?.(p !! q)
20+```
21+
1822## Syntax
1923
2024Regular: *2-fixed*.
docs/hoon/twig/wut-test/ket-ifcl.md+4
@@ -16,6 +16,10 @@ of the subject is null.
1616r
1717```
1818
19+```
20+?:(?=(^ p) q r)
21+```
22+
1923## Syntax
2024
2125Regular: *3-fixed*.
docs/hoon/twig/wut-test/pat-ifat.md+5−1
@@ -11,11 +11,15 @@ of the subject is an atom.
1111## Expands to
1212
1313```
14−:if :fits($~ p)
14+:if :fits(@ p)
1515 q
1616r
1717```
1818
19+```
20+?:(?=(@ p) q r)
21+```
22+
1923## Syntax
2024
2125Regular: *3-fixed*.
docs/hoon/twig/wut-test/sig-ifno.md+4
@@ -16,6 +16,10 @@ of the subject is null.
1616r
1717```
1818
19+```
20+?:(?=($~ p) q r)
21+```
22+
1923## Syntax
2024
2125Regular: *3-fixed*.
docs/hoon/twig/wut-test/zap-not.md+4
@@ -13,6 +13,10 @@ sort: 7
1313:same(%.n p)
1414```
1515
16+```
17+.=(| p)
18+```
19+
1620Produces the logical "not" of `p`.
1721
1822## Syntax