28613b8 · urbit.org · git.iko.soy

docs/system/hoon/library/src/4m/gate/scot.md+2−2

compare with master

unifiedsplit

@@ -10,12 +10,12 @@ Accepts

10Produces

11--------

12

13−`mol` is a [`++dime`]().

13+`mol` is a `++dime`.

14

15Source

16------

17

18− ++ scot |=(mol=dime ~(rent co %$ mol))

18+ ++ scot |=(mol/dime ~(rent co %$ mol))

19

20Examples

21--------

docs/system/hoon/library/src/4m/gate/scow.md+2−2

@@ -10,12 +10,12 @@ Accepts

10Produces

11--------

12

13−`mol` is a [`++dime`]().

13+`mol` is a `++dime`.

14

15Source

16------

17

18− ++ scow |=(mol=dime ~(rend co %$ mol))

18+ ++ scow |=(mol/dime ~(rend co %$ mol))

19

20Examples

21--------

docs/system/hoon/library/src/4m/gate/slat.md+8−8

@@ -2,7 +2,7 @@

2

3Curried slaw

4

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

6odor specified by `mod`.

7

8Accepts

@@ -11,25 +11,25 @@ Accepts

11Produces

12--------

13

14−`mod` is a term, an atom of odor [`@tas`]().

14+`mod` is a term, an atom of odor `@tas`.

15

16−`txt` is a span, an atom of odor [`@ta`]().

16+`txt` is a span, an atom of odor `@ta`.

17

18Source

19------

20

21− ++ slat |=(mod=@tas |=(txt=@ta (slaw mod txt)))

21+ ++ slat |=(mod/@tas |=(txt/@ta (slaw mod txt)))

22

23Examples

24--------

25

26− ~zod/try=> `(unit ,@p)`((slat %p) '~pillyt')

26+ ~zod/try=> `(unit @p)`((slat %p) '~pillyt')

27 [~ ~pillyt]

28− ~zod/try=> `(unit ,@ux)`((slat %ux) '0x12')

28+ ~zod/try=> `(unit @ux)`((slat %ux) '0x12')

29 [~ 0x12]

30− ~zod/try=> `(unit ,@if)`((slat %if) '.127.0.0.1')

30+ ~zod/try=> `(unit @if)`((slat %if) '.127.0.0.1')

31 [~ .127.0.0.1]

32− ~zod/try=> `(unit ,@ta)`((slat %ta) '~.asd_a')

32+ ~zod/try=> `(unit @ta)`((slat %ta) '~.asd_a')

33 [~ ~.asd_a

34

35

docs/system/hoon/library/src/4m/gate/slav.md+3−3

@@ -11,14 +11,14 @@ Accepts

11Produces

12--------

13

14−`mod` is a term, an atom of odor [`@tas`]().

14+`mod` is a term, an atom of odor `@tas`.

15

16−`txt` is a span, an atom of odor [`@ta`]().

16+`txt` is a span, an atom of odor `@ta`.

17

18Source

19------

20

21− ++ slav |=([mod=@tas txt=@ta] (need (slaw mod txt)))

21+ ++ slav |=([mod/@tas txt/@ta] (need (slaw mod txt)))

22

23Examples

24--------

docs/system/hoon/library/src/4m/gate/slaw.md+15−14

@@ -10,38 +10,39 @@ Accepts

10Produces

11--------

12

13−`mod` is a term, an atom of odor [`@tas`]().

13+`mod` is a term, an atom of odor `@tas`.

14

15−`txt` is a span, an atom of odor [`@ta`]().

15+`txt` is a span, an atom of odor `@ta`.

16

17Source

18------

19

20 ++ slaw

21+ ~/ %slaw

21− |= [mod=@tas txt=@ta]

22+ |= {mod/@tas txt/@ta}

22− ^- (unit ,@)

23+ ^- (unit @)

23 =+ con=(slay txt)

24 =+ con=(slay txt)

24− ?.(&(?=([~ %$ @ @] con) =(p.p.u.con mod)) ~ [~ q.p.u.con])

25+ ?.(&(?=({$~ $$ @ @} con) =(p.p.u.con mod)) ~ [~ q.p.u.con])

25− ::

26+

26

27

27Examples

28Examples

28--------

29--------

29

30

30− ~zod/try=> `(unit ,@p)`(slaw %p '~pillyt')

31+ ~zod/try=> `(unit @p)`(slaw %p '~pillyt')

31 [~ ~pillyt]

32 [~ ~pillyt]

32− ~zod/try=> `(unit ,@p)`(slaw %p '~pillam')

33+ ~zod/try=> `(unit @p)`(slaw %p '~pillam')

33 ~

34 ~

34− ~zod/try=> `(unit ,@ux)`(slaw %ux '0x12')

35+ ~zod/try=> `(unit @ux)`(slaw %ux '0x12')

35 [~ 0x12]

36 [~ 0x12]

36− ~zod/try=> `(unit ,@ux)`(slaw %ux '0b10')

37+ ~zod/try=> `(unit @ux)`(slaw %ux '0b10')

37 ~

38 ~

38− ~zod/try=> `(unit ,@if)`(slaw %if '.127.0.0.1')

39+ ~zod/try=> `(unit @if)`(slaw %if '.127.0.0.1')

39 [~ .127.0.0.1]

40 [~ .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')

41 ~

42 ~

42− ~zod/try=> `(unit ,@ta)`(slaw %ta '~.asd_a')

43+ ~zod/try=> `(unit @ta)`(slaw %ta '~.asd_a')

43 [~ ~.asd_a]

44 [~ ~.asd_a]

44− ~zod/try=> `(unit ,@ta)`(slaw %ta '~~asd-a')

45+ ~zod/try=> `(unit @ta)`(slaw %ta '~~asd-a')

45 ~

46 ~

46

47

48

docs/system/hoon/library/src/4m/gate/slay.md+13−9

@@ -2,7 +2,7 @@

2

3Parse span to coin

4

5−Parses a span `txt` to the unit of a [`++coin`]().

5+Parses a span `txt` to the unit of a `++coin`.

6

7Accepts

8-------

@@ -10,18 +10,22 @@ Accepts

10Produces

11--------

12

13−`txt` is a [`@ta`]().

13+`txt` is a `@ta`.

14

15Source

16------

17

18− ++ slay

18+ ++ slay

19− |= txt=@ta ^- (unit coin)

19+ |= txt/@ta ^- (unit coin)

20+ =+ ^= vex

21+ ?: (gth 0x7fff.ffff txt) :: XX petty cache

20− =+ vex=((full nuck:so) [[1 1] (trip txt)])

22+ ~+ ((full nuck:so) [[1 1] (trip txt)])

23+ ((full nuck:so) [[1 1] (trip txt)])

21− ?~ q.vex

24+ ?~ q.vex

22− ~

25+ ~

23− [~ p.u.q.vex]

26+ [~ p.u.q.vex]

24− ::

27+ ::

28+

25

29

26Examples

30Examples

27--------

31--------

docs/system/hoon/library/src/4m/gate/smyt.md+7−7

@@ -2,7 +2,7 @@

2

3Render path as tank

4

5−Renders the path `bon` as a [`tank`](), which is used for

5+Renders the path `bon` as a `tank`, which is used for

6pretty-printing.

7

8Accepts

@@ -11,16 +11,16 @@ Accepts

11Produces

12--------

13

14−`bon` is a [`++path`]().

14+`bon` is a `++path`.

15

16Source

17------

18

19− ++ smyt

19+ ++ smyt :: pretty print path

20− |= bon=path ^- tank

20+ |= bon/path ^- tank

21− :+ %rose [['/' ~] ['/' ~] ['/' ~]]

21+ :+ %rose [['/' ~] ['/' ~] ~]

22− |- ^- (list tank)

23− (turn bon |=(a=@ [%leaf (rip 3 a)]))

22+ (turn bon |=(a/@ [%leaf (trip a)]))

23+ ::

24

25Examples

26--------

docs/system/hoon/library/src/4m/gate/spat.md+2−2

@@ -10,12 +10,12 @@ Accepts

10Produces

11--------

12

13−`pax` is a [`path`]().

13+`pax` is a `path`.

14

15Source

16------

17

18− ++ spat |=(pax=path (crip (spud pax))) :: path to cord

18+ ++ spat |=(pax/path (crip (spud pax))) :: path to cord

19

20Examples

21--------

docs/system/hoon/library/src/4m/gate/spud.md+3−3

@@ -2,7 +2,7 @@

2

3Render path as tape

4

5−Renders a path `pax` as [tape]().

5+Renders a path `pax` as tape.

6

7Accepts

8-------

@@ -10,12 +10,12 @@ Accepts

10Produces

11--------

12

13−`pax` is a [`path`]().

13+`pax` is a `path`.

14

15Source

16------

17

18− ++ spud |=(pax=path ~(ram re (smyt pax))) :: path to tape

18+ ++ spud |=(pax/path ~(ram re (smyt pax))) :: path to tape

19

20Examples

21--------

docs/system/hoon/library/src/4m/gate/stab.md+5−4

@@ -2,7 +2,7 @@

2

3Parse span to path

4

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

6

7Accepts

8-------

@@ -13,9 +13,10 @@ Produces

13Source

14------

15

16− ++ stab :: parse span to path

16+ ++ stab :: parse cord to path

17− |= zep=@ta ^- path

18− (rash zep ;~(pfix fas ;~(sfix (more fas urs:ab) fas)))

17+ =+ fel=;~(pfix fas (more fas urs:ab))

18+ |=(zep/@t `path`(rash zep fel))

19+

19

20

20Examples

21Examples

21--------

22--------