on master help sign in
thru 4m
commit28613b8323cddb354726c5b20efede27474618c6 authorHenry Ault <henry@tlon.io> dateMon 21 Mar 2016, 17:25 (11 years ago) parentccd1a08
10 files changed+60−54
docs/system/hoon/library/src/4m/gate/scot.md+2−2 docs/system/hoon/library/src/4m/gate/scow.md+2−2 docs/system/hoon/library/src/4m/gate/slat.md+8−8 docs/system/hoon/library/src/4m/gate/slav.md+3−3 docs/system/hoon/library/src/4m/gate/slaw.md+15−14 docs/system/hoon/library/src/4m/gate/slay.md+13−9 docs/system/hoon/library/src/4m/gate/smyt.md+7−7 docs/system/hoon/library/src/4m/gate/spat.md+2−2 docs/system/hoon/library/src/4m/gate/spud.md+3−3 docs/system/hoon/library/src/4m/gate/stab.md+5−4
docs/system/hoon/library/src/4m/gate/scot.md+2−2
@@ -10,12 +10,12 @@ Accepts
1010Produces
1111--------
1212
13−`mol` is a [`++dime`]().
13+`mol` is a `++dime`.
1414
1515Source
1616------
1717
18− ++ scot |=(mol=dime ~(rent co %$ mol))
18+ ++ scot |=(mol/dime ~(rent co %$ mol))
1919
2020Examples
2121--------
docs/system/hoon/library/src/4m/gate/scow.md+2−2
@@ -10,12 +10,12 @@ Accepts
1010Produces
1111--------
1212
13−`mol` is a [`++dime`]().
13+`mol` is a `++dime`.
1414
1515Source
1616------
1717
18− ++ scow |=(mol=dime ~(rend co %$ mol))
18+ ++ scow |=(mol/dime ~(rend co %$ mol))
1919
2020Examples
2121--------
docs/system/hoon/library/src/4m/gate/slat.md+8−8
@@ -2,7 +2,7 @@
22
33Curried slaw
44
5−Produces a [`gate`]() that parses a [`term`]() `txt` to an atom of the
5+Produces a `gate` that parses a `term` `txt` to an atom of the
66odor specified by `mod`.
77
88Accepts
@@ -11,25 +11,25 @@ Accepts
1111Produces
1212--------
1313
14−`mod` is a term, an atom of odor [`@tas`]().
14+`mod` is a term, an atom of odor `@tas`.
1515
16−`txt` is a span, an atom of odor [`@ta`]().
16+`txt` is a span, an atom of odor `@ta`.
1717
1818Source
1919------
2020
21− ++ slat |=(mod=@tas |=(txt=@ta (slaw mod txt)))
21+ ++ slat |=(mod/@tas |=(txt/@ta (slaw mod txt)))
2222
2323Examples
2424--------
2525
26− ~zod/try=> `(unit ,@p)`((slat %p) '~pillyt')
26+ ~zod/try=> `(unit @p)`((slat %p) '~pillyt')
2727 [~ ~pillyt]
28− ~zod/try=> `(unit ,@ux)`((slat %ux) '0x12')
28+ ~zod/try=> `(unit @ux)`((slat %ux) '0x12')
2929 [~ 0x12]
30− ~zod/try=> `(unit ,@if)`((slat %if) '.127.0.0.1')
30+ ~zod/try=> `(unit @if)`((slat %if) '.127.0.0.1')
3131 [~ .127.0.0.1]
32− ~zod/try=> `(unit ,@ta)`((slat %ta) '~.asd_a')
32+ ~zod/try=> `(unit @ta)`((slat %ta) '~.asd_a')
3333 [~ ~.asd_a
3434
3535
docs/system/hoon/library/src/4m/gate/slav.md+3−3
@@ -11,14 +11,14 @@ Accepts
1111Produces
1212--------
1313
14−`mod` is a term, an atom of odor [`@tas`]().
14+`mod` is a term, an atom of odor `@tas`.
1515
16−`txt` is a span, an atom of odor [`@ta`]().
16+`txt` is a span, an atom of odor `@ta`.
1717
1818Source
1919------
2020
21− ++ slav |=([mod=@tas txt=@ta] (need (slaw mod txt)))
21+ ++ slav |=([mod/@tas txt/@ta] (need (slaw mod txt)))
2222
2323Examples
2424--------
docs/system/hoon/library/src/4m/gate/slaw.md+15−14
@@ -10,38 +10,39 @@ Accepts
1010Produces
1111--------
1212
13−`mod` is a term, an atom of odor [`@tas`]().
13+`mod` is a term, an atom of odor `@tas`.
1414
15−`txt` is a span, an atom of odor [`@ta`]().
15+`txt` is a span, an atom of odor `@ta`.
1616
1717Source
1818------
1919
2020 ++ slaw
21− |= [mod=@tas txt=@ta]
22− ^- (unit ,@)
21+ ~/ %slaw
22+ |= {mod/@tas txt/@ta}
23+ ^- (unit @)
2324 =+ con=(slay txt)
24− ?.(&(?=([~ %$ @ @] con) =(p.p.u.con mod)) ~ [~ q.p.u.con])
25− ::
25+ ?.(&(?=({$~ $$ @ @} con) =(p.p.u.con mod)) ~ [~ q.p.u.con])
26+
2627
2728Examples
2829--------
2930
30− ~zod/try=> `(unit ,@p)`(slaw %p '~pillyt')
31+ ~zod/try=> `(unit @p)`(slaw %p '~pillyt')
3132 [~ ~pillyt]
32− ~zod/try=> `(unit ,@p)`(slaw %p '~pillam')
33+ ~zod/try=> `(unit @p)`(slaw %p '~pillam')
3334 ~
34− ~zod/try=> `(unit ,@ux)`(slaw %ux '0x12')
35+ ~zod/try=> `(unit @ux)`(slaw %ux '0x12')
3536 [~ 0x12]
36− ~zod/try=> `(unit ,@ux)`(slaw %ux '0b10')
37+ ~zod/try=> `(unit @ux)`(slaw %ux '0b10')
3738 ~
38− ~zod/try=> `(unit ,@if)`(slaw %if '.127.0.0.1')
39+ ~zod/try=> `(unit @if)`(slaw %if '.127.0.0.1')
3940 [~ .127.0.0.1]
40− ~zod/try=> `(unit ,@if)`(slaw %if '.fe80.0.0.202')
41+ ~zod/try=> `(unit @if)`(slaw %if '.fe80.0.0.202')
4142 ~
42− ~zod/try=> `(unit ,@ta)`(slaw %ta '~.asd_a')
43+ ~zod/try=> `(unit @ta)`(slaw %ta '~.asd_a')
4344 [~ ~.asd_a]
44− ~zod/try=> `(unit ,@ta)`(slaw %ta '~~asd-a')
45+ ~zod/try=> `(unit @ta)`(slaw %ta '~~asd-a')
4546 ~
4647
4748
docs/system/hoon/library/src/4m/gate/slay.md+13−9
@@ -2,7 +2,7 @@
22
33Parse span to coin
44
5−Parses a span `txt` to the unit of a [`++coin`]().
5+Parses a span `txt` to the unit of a `++coin`.
66
77Accepts
88-------
@@ -10,18 +10,22 @@ Accepts
1010Produces
1111--------
1212
13−`txt` is a [`@ta`]().
13+`txt` is a `@ta`.
1414
1515Source
1616------
1717
18− ++ slay
19− |= txt=@ta ^- (unit coin)
20− =+ vex=((full nuck:so) [[1 1] (trip txt)])
21− ?~ q.vex
22− ~
23− [~ p.u.q.vex]
24− ::
18+ ++ slay
19+ |= txt/@ta ^- (unit coin)
20+ =+ ^= vex
21+ ?: (gth 0x7fff.ffff txt) :: XX petty cache
22+ ~+ ((full nuck:so) [[1 1] (trip txt)])
23+ ((full nuck:so) [[1 1] (trip txt)])
24+ ?~ q.vex
25+ ~
26+ [~ p.u.q.vex]
27+ ::
28+
2529
2630Examples
2731--------
docs/system/hoon/library/src/4m/gate/smyt.md+7−7
@@ -2,7 +2,7 @@
22
33Render path as tank
44
5−Renders the path `bon` as a [`tank`](), which is used for
5+Renders the path `bon` as a `tank`, which is used for
66pretty-printing.
77
88Accepts
@@ -11,16 +11,16 @@ Accepts
1111Produces
1212--------
1313
14−`bon` is a [`++path`]().
14+`bon` is a `++path`.
1515
1616Source
1717------
1818
19− ++ smyt
20− |= bon=path ^- tank
21− :+ %rose [['/' ~] ['/' ~] ['/' ~]]
22− |- ^- (list tank)
23− (turn bon |=(a=@ [%leaf (rip 3 a)]))
19+ ++ smyt :: pretty print path
20+ |= bon/path ^- tank
21+ :+ %rose [['/' ~] ['/' ~] ~]
22+ (turn bon |=(a/@ [%leaf (trip a)]))
23+ ::
2424
2525Examples
2626--------
docs/system/hoon/library/src/4m/gate/spat.md+2−2
@@ -10,12 +10,12 @@ Accepts
1010Produces
1111--------
1212
13−`pax` is a [`path`]().
13+`pax` is a `path`.
1414
1515Source
1616------
1717
18− ++ spat |=(pax=path (crip (spud pax))) :: path to cord
18+ ++ spat |=(pax/path (crip (spud pax))) :: path to cord
1919
2020Examples
2121--------
docs/system/hoon/library/src/4m/gate/spud.md+3−3
@@ -2,7 +2,7 @@
22
33Render path as tape
44
5−Renders a path `pax` as [tape]().
5+Renders a path `pax` as tape.
66
77Accepts
88-------
@@ -10,12 +10,12 @@ Accepts
1010Produces
1111--------
1212
13−`pax` is a [`path`]().
13+`pax` is a `path`.
1414
1515Source
1616------
1717
18− ++ spud |=(pax=path ~(ram re (smyt pax))) :: path to tape
18+ ++ spud |=(pax/path ~(ram re (smyt pax))) :: path to tape
1919
2020Examples
2121--------
docs/system/hoon/library/src/4m/gate/stab.md+5−4
@@ -2,7 +2,7 @@
22
33Parse span to path
44
5−Parsing rule. Parses a span `zep` to a static [`++path`](/doc/hoon/library/1#++path).
5+Parsing rule. Parses a span `zep` to a static `++path`.
66
77Accepts
88-------
@@ -13,9 +13,10 @@ Produces
1313Source
1414------
1515
16− ++ stab :: parse span to path
17− |= zep=@ta ^- path
18− (rash zep ;~(pfix fas ;~(sfix (more fas urs:ab) fas)))
16+ ++ stab :: parse cord to path
17+ =+ fel=;~(pfix fas (more fas urs:ab))
18+ |=(zep/@t `path`(rash zep fel))
19+
1920
2021Examples
2122--------