69e3acf · urbit.org · git.iko.soy

git.iko.soy/urbit.org

thru 5f, first pass complete

commit69e3acfbad13367abbebba43846ffd2f0df0f79f authorHenry Ault <henry@tlon.io> dateTue 22 Mar 2016, 13:30 (11 years ago) parent28613b8

23 files changed+126−142

compare with master

unifiedsplit

docs/system/hoon/library/src/4n/gate/mack.md+7−6

@@ -2,14 +2,14 @@

33Nock subject to unit

5−Accepts a nock subject-formula cell and wraps it into a [`++unit`]().

5+Accepts a nock subject-formula cell and wraps it into a `++unit`.

66`fol` is pure nock, meaning that nock `11` operations result in a block,

77producing a `~`.

99Accepts

1010-------

1111

12−`sub` is a subject [noun]().

12+`sub` is a subject noun.

1313

1414`fol` is a formula noun, which is generally a `++nock`.

1515

@@ -22,12 +22,13 @@ Source

2222------

2323

2424 ++ mack

25− |= [sub=* fol=*]

25+ |= {sub/* fol/*}

2626 ^- (unit)

27− =+ ton=(mink [sub fol] |=(* ~))

28− ?.(?=([0 *] ton) ~ [~ p.ton])

27+ =+ ton=(mink [sub fol] |=({* *} ~))

28+ ?.(?=({$0 *} ton) ~ [~ p.ton])

2929 ::

3030

31+

3132Examples

3233--------

3334

@@ -39,7 +40,7 @@ Examples

3940 ~

4041 ~zod/try=> (mack [[[0 2] [1 3]] 4 4 4 4 0 5])

4142 [~ 6]

42− ~zod/try=> ;;((unit ,@tas) (mack [[1 %yes %no] 6 [0 2] [0 6] 0 7]))

43+ ~zod/try=> ;;((unit @tas) (mack [[1 %yes %no] 6 [0 2] [0 6] 0 7]))

4344 [~ %no]

4445

4546

docs/system/hoon/library/src/4n/gate/mink.md+44−42

@@ -2,19 +2,19 @@

33Mock interpreter

5−Bottom-level [mock]() (virtual nock) interpreter. Produces a

6−[`++tone`](), a nock computation result. If nock 11 is invoked, `sky`

7−computes on the subject and produces a [`++unit`]() result. An empty

5+Bottom-level mock (virtual nock) interpreter. Produces a

6+`++tone`, a nock computation result. If nock 11 is invoked, `sky`

7+computes on the subject and produces a `++unit` result. An empty

88result becomes a `%1` `++tone`, indicating a block.

1010Accepts

1111-------

1212

13−`sub` is the subject as a [noun]().

13+`sub` is the subject as a noun.

1414

1515`fol` is the formula as a noun.

1616

17−`sky` is an [`%iron`]() gate invoked with [nock operator 11]().

17+`sky` is an `%iron` gate invoked with nock operator 11.

1818

1919Produces

2020--------

@@ -26,98 +26,100 @@ Source

2626

2727 ++ mink

2828 ~/ %mink

29− |= [[sub=* fol=*] sky=$+(* (unit))]

30− =+ tax=*(list ,[@ta *])

29+ |= {{sub/* fol/*} gul/$-({* *} (unit (unit)))}

30+ =+ tax=*(list {@ta *})

3131 |- ^- tone

3232 ?@ fol

3333 [%2 tax]

3434 ?: ?=(^ -.fol)

3535 =+ hed=$(fol -.fol)

36− ?: ?=(%2 -.hed)

36+ ?: ?=($2 -.hed)

3737 hed

3838 =+ tal=$(fol +.fol)

3939 ?- -.tal

40− %0 ?-(-.hed %0 [%0 p.hed p.tal], %1 hed)

41− %1 ?-(-.hed %0 tal, %1 [%1 (weld p.hed p.tal)])

42− %2 tal

40+ $0 ?-(-.hed $0 [%0 p.hed p.tal], $1 hed)

41+ $1 ?-(-.hed $0 tal, $1 [%1 (weld p.hed p.tal)])

42+ $2 tal

4343 ==

4444 ?+ fol

4545 [%2 tax]

4646 ::

47− [0 b=@]

47+ {$0 b/@}

4848 ?: =(0 b.fol) [%2 tax]

4949 ?: =(1 b.fol) [%0 sub]

5050 ?: ?=(@ sub) [%2 tax]

5151 =+ [now=(cap b.fol) lat=(mas b.fol)]

5252 $(b.fol lat, sub ?:(=(2 now) -.sub +.sub))

5353 ::

54− [1 b=*]

54+ {$1 b/*}

5555 [%0 b.fol]

5656 ::

57− [2 b=[^ *]]

57+ {$2 b/{^ *}}

5858 =+ ben=$(fol b.fol)

59− ?. ?=(%0 -.ben) ben

59+ ?. ?=($0 -.ben) ben

6060 ?>(?=(^ p.ben) $(sub -.p.ben, fol +.p.ben))

6161 ::?>(?=(^ p.ben) $([sub fol] p.ben)

6262 ::

63− [3 b=*]

63+ {$3 b/*}

6464 =+ ben=$(fol b.fol)

65− ?. ?=(%0 -.ben) ben

65+ ?. ?=($0 -.ben) ben

6666 [%0 .?(p.ben)]

6767 ::

68− [4 b=*]

68+ {$4 b/*}

6969 =+ ben=$(fol b.fol)

70− ?. ?=(%0 -.ben) ben

70+ ?. ?=($0 -.ben) ben

7171 ?. ?=(@ p.ben) [%2 tax]

7272 [%0 .+(p.ben)]

7373 ::

74− [5 b=*]

74+ {$5 b/*}

7575 =+ ben=$(fol b.fol)

76− ?. ?=(%0 -.ben) ben

76+ ?. ?=($0 -.ben) ben

7777 ?. ?=(^ p.ben) [%2 tax]

7878 [%0 =(-.p.ben +.p.ben)]

7979 ::

80− [6 b=* c=* d=*]

80+ {$6 b/* c/* d/*}

8181 $(fol =>(fol [2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]))

8282 ::

83− [7 b=* c=*] $(fol =>(fol [2 b 1 c]))

84− [8 b=* c=*] $(fol =>(fol [7 [[0 1] b] c]))

85− [9 b=* c=*] $(fol =>(fol [7 c 0 b]))

86− [10 @ c=*] $(fol c.fol)

87− [10 [b=* c=*] d=*]

83+ {$7 b/* c/*} $(fol =>(fol [2 b 1 c]))

84+ {$8 b/* c/*} $(fol =>(fol [7 [[0 1] b] c]))

85+ {$9 b/* c/*} $(fol =>(fol [7 c 0 b]))

86+ {$10 @ c/*} $(fol c.fol)

87+ {$10 {b/* c/*} d/*}

8888 =+ ben=$(fol c.fol)

89− ?. ?=(%0 -.ben) ben

90− ?: ?=(?(%hunk %lose %mean %spot) b.fol)

89+ ?. ?=($0 -.ben) ben

90+ ?: ?=(?($hunk $hand $lose $mean $spot) b.fol)

9191 $(fol d.fol, tax [[b.fol p.ben] tax])

9292 $(fol d.fol)

9393 ::

94− [11 b=*]

95− =+ ben=$(fol b.fol)

96− ?. ?=(%0 -.ben) ben

97− =+ val=(sky p.ben)

98− ?~(val [%1 p.ben ~] [%0 u.val])

99− ::

94+ {$11 b/* c/*}

95+ =+ ref=$(fol b.fol)

96+ =+ ben=$(fol c.fol)

97+ ?. ?=($0 -.ref) ref

98+ ?. ?=($0 -.ben) ben

99+ =+ val=(gul p.ref p.ben)

100+ ?~(val [%1 p.ben ~] ?~(u.val [%2 [[%hunk (mush p.ben)] tax]] [%0 u.u.val]))

100101 ==

101102 ::

102103

104+

103105Examples

104106--------

105107

106− ~zod/try=> (mink [20 [4 0 1]] ,~)

108+ ~zod/try=> (mink [20 [4 0 1]] $~)

107109 [%0 p=21]

108− ~zod/try=> (mink [[90 5 3] [0 3]] ,~)

110+ ~zod/try=> (mink [[90 5 3] [0 3]] $~)

109111 [%0 p=[5 3]]

110− ~zod/try=> (mink 20^[4 0 1] ,~)

112+ ~zod/try=> (mink 20^[4 0 1] $~)

111113 [%0 p=21]

112− ~zod/try=> (mink [90 5 3]^[0 3] ,~)

114+ ~zod/try=> (mink [90 5 3]^[0 3] $~)

113115 [%0 p=[5 3]]

114− ~zod/try=> (mink [0]^[11 1 20] ,~)

116+ ~zod/try=> (mink [0]^[11 1 20] $~)

115117 [%1 p=~[20]]

116118 ~zod/try=> (mink [0]^[11 1 20] |=(a=* `[40 a]))

117119 [%0 p=[40 20]]

118− ~zod/try=> (mink [5]^[0 2] ,~)

120+ ~zod/try=> (mink [5]^[0 2] $~)

119121 [%2 p=~]

120− ~zod/try=> (mink [5]^[10 yelp/[0 1] 0 0] ,~)

122+ ~zod/try=> (mink [5]^[10 yelp/[0 1] 0 0] $~)

121123 [%2 p=~[[~.yelp 5]]]

122124

123125

docs/system/hoon/library/src/4n/gate/mock.md+7−6

@@ -2,19 +2,19 @@

33Compute formula on subject with hint

5−Produces a [`++toon`](), which is either a sucessful, blocked, or

5+Produces a `++toon`, which is either a sucessful, blocked, or

66crashed result. If nock 11 is invoked, `sky` computes on the subject and

7−produces a [`++unit`]() result. An empty result becomes a `%1` `++tune`,

7+produces a `++unit` result. An empty result becomes a `%1` `++tune`,

88indicating a block.

1010Accepts

1111-------

1212

13−`sub` is the subject as a [noun]().

13+`sub` is the subject as a noun.

1414

1515`fol` is the formula as a noun.

1616

17−`sky` is an [%iron]() gate invoked with [nock operator 11]().

17+`sky` is an %iron gate invoked with nock operator 11.

1818

1919Produces

2020--------

@@ -25,10 +25,11 @@ Source

2525------

2626

2727 ++ mock

28− |= [[sub=* fol=*] sky=$+(* (unit))]

29− (mook (mink [sub fol] sky))

28+ |= {{sub/* fol/*} gul/$-({* *} (unit (unit)))}

29+ (mook (mink [sub fol] gul))

3030 ::

3131

32+

3233Examples

3334--------

3435

docs/system/hoon/library/src/4n/gate/mong.md+13−13

@@ -2,17 +2,17 @@

33Slam gate with sample

5−Produces a [`++toon`]() computation result from slamming `gat` with

5+Produces a `++toon` computation result from slamming `gat` with

66`sam`, using `sky` to compute or block on nock 11 when applicable.

88Accepts

99-------

1010

11−`gat` is a [noun]() that is generally a [`gate`]().

11+`gat` is a noun that is generally a `gate`.

1212

13−`sam` is a [`sample`]() noun.

13+`sam` is a `sample` noun.

1414

15−`sky` is an [%iron]() gate invoked with [nock operator 11]().

15+`sky` is an %iron gate invoked with nock operator 11.

1616

1717Produces

1818--------

@@ -23,11 +23,11 @@ Source

2323------

2424

2525 ++ mong

26− |= [[gat=* sam=*] sky=$+(* (unit))]

26+ |= {{gat/* sam/*} gul/$-({* *} (unit (unit)))}

2727 ^- toon

2828 ?. &(?=(^ gat) ?=(^ +.gat))

2929 [%2 ~]

30− (mock [[-.gat [sam +>.gat]] -.gat] sky)

30+ (mock [[-.gat [sam +>.gat]] -.gat] gul)

3131 ::

3232

3333Examples

@@ -37,19 +37,19 @@ Examples

3737 [%0 p=20]

3838 ~zod/try=> (mong [|=(@ !!) ~] ,~)

3939 [%2 p=~]

40− ~zod/try=> (mong [|=(a=@ (add 20 a)) ~] ,~)

40+ ~zod/try=> (mong [|=(a/@ (add 20 a)) ~] ,~)

4141 [%0 p=20]

42− ~zod/try=> (mong [|=(a=[@ @] (add 20 -.a)) ~] ,~)

42+ ~zod/try=> (mong [|=(a/[@ @] (add 20 -.a)) ~] ,~)

4343 [%2 p=~]

44− ~zod/try=> (mong [|=(a=[@ @] (add 20 -.a)) [4 6]] ,~)

44+ ~zod/try=> (mong [|=(a/[@ @] (add 20 -.a)) [4 6]] ,~)

4545 [%0 p=24]

46− ~zod/try=> (mong [|=(a=@ .^(a)) ~] ,~)

46+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] ,~)

4747 [%1 p=~[0]]

48− ~zod/try=> (mong [|=(a=@ .^(a)) ~] ,[~ %42])

48+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] ,[~ %42])

4949 [%0 p=42]

50− ~zod/try=> (mong [|=(a=@ .^(a)) ~] |=(a=* [~ a 6]))

50+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] |=(a/* [~ a 6]))

5151 [%0 p=[0 6]]

52− ~zod/try=> (mong [|=(a=@ .^(a)) 8] |=(a=* [~ a 6]))

52+ ~zod/try=> (mong [|=(a/@ .^(a)) 8] |=(a/* [~ a 6]))

5353 [%0 p=[8 6]]

5454

5555

docs/system/hoon/library/src/4n/gate/mook.md+22−33

@@ -2,67 +2,56 @@

33Intelligently render crash annotation

5−Converts a `%2` `++tone` nock stack trace to a list of [`++tank`]().

6−Each may be a tank, cord, [`++spot`](), or trapped tank.

5+Converts a `%2` `++tone` nock stack trace to a list of `++tank`.

6+Each may be a tank, cord, `++spot`, or trapped tank.

88Accepts

99-------

1010

11−`ton` is a [`++tone`]().

11+`ton` is a `++tone`.

1212

1313Produces

1414--------

1515

16−A [`++toon`]().

16+A `++toon`.

1717

1818Source

1919------

2020

2121 ++ mook

22− |= ton=tone

22+ |= ton/tone

2323 ^- toon

24− ?. ?=([2 *] ton) ton

24+ ?. ?=({$2 *} ton) ton

2525 :- %2

26+ :: =. p.ton (moop p.ton)

2627 =+ yel=(lent p.ton)

2728 =. p.ton

2829 ?. (gth yel 256) p.ton

2930 %+ weld

3031 (scag 128 p.ton)

31− ^- (list ,[@ta *])

32+ ^- (list {@ta *})

3233 :_ (slag (sub yel 128) p.ton)

3334 :- %lose

3435 %+ rap 3

35− ;: weld

36− "[skipped "

37− ~(rend co %$ %ud (sub yel 256))

38− " frames]"

39− ==

36+ "[skipped {(scow %ud (sub yel 256))} frames]"

4037 |- ^- (list tank)

4138 ?~ p.ton ~

42− =+ rex=$(p.ton t.p.ton)

43− ?+ -.i.p.ton rex

44− %hunk [(tank +.i.p.ton) rex]

45− %lose [[%leaf (rip 3 (,@ +.i.p.ton))] rex]

46− %mean :_ rex

47− ?@ +.i.p.ton [%leaf (rip 3 (,@ +.i.p.ton))]

39+ =+ rep=$(p.ton t.p.ton)

40+ ?+ -.i.p.ton rep

41+ $hunk [(tank +.i.p.ton) rep]

42+ $lose [[%leaf (rip 3 (@ +.i.p.ton))] rep]

43+ $hand [[%leaf (scow %p (mug +.i.p.ton))] rep]

44+ $mean :_ rep

45+ ?@ +.i.p.ton [%leaf (rip 3 (@ +.i.p.ton))]

4846 =+ mac=(mack +.i.p.ton +<.i.p.ton)

4947 ?~(mac [%leaf "####"] (tank u.mac))

50− %spot :_ rex

48+ $spot :_ rep

5149 =+ sot=(spot +.i.p.ton)

52− :- %leaf

53− ;: weld

54− ~(ram re (smyt p.sot))

55− ":<["

56− ~(rend co ~ %ud p.p.q.sot)

57− " "

58− ~(rend co ~ %ud q.p.q.sot)

59− "].["

60− ~(rend co ~ %ud p.q.q.sot)

61− " "

62− ~(rend co ~ %ud q.q.q.sot)

63− "]>"

64− ==

65− ==

50+ :+ %rose [":" ~ ~]

51+ :~ (smyt p.sot)

52+ => [ud=|=(a/@u (scow %ud a)) q.sot]

53+ leaf+"<[{(ud p.p)} {(ud q.p)}].[{(ud p.q)} {(ud q.q)}]>"

54+ == ==

6655 ::

6756

6857Examples

docs/system/hoon/library/src/4n/gate/mule.md+6−5

@@ -2,13 +2,13 @@

33Typed virtual

5−Kicks a [`++trap`](), producing its results or any errors that occur along

5+Kicks a `++trap`, producing its results or any errors that occur along

66the way. Used to lazily compute stack traces.

88Accepts

99-------

1010

11−`taq` is a [`++trap`](), generally producing a list of [`++tank`]()s.

11+`taq` is a `++trap`, generally producing a list of `++tank`s.

1212

1313Produces

1414--------

@@ -20,14 +20,15 @@ Source

2020

2121 ++ mule :: typed virtual

2222 ~/ %mule

23− |* taq=_|.(_*)

23+ |* taq/_|.(**)

2424 =+ mud=(mute taq)

2525 ?- -.mud

26− & [%& p=$:taq]

27− | [%| p=p.mud]

26+ $& [%& p=$:taq] :: XX transition

27+ $| [%| p=p.mud]

2828 ==

2929 ::

3030

31+

3132Examples

3233--------

3334

docs/system/hoon/library/src/4n/gate/mute.md+10−21

@@ -3,32 +3,32 @@

33Untyped virtual

55Kicks a `++trap`, producing its result as a noun or the tanks of any

6−error that occurs. Similar to [`++mule`](), but preserves no type

6+error that occurs. Similar to `++mule`, but preserves no type

77information.

99Accepts

1010-------

1111

12−`taq` is a [`++trap`](/doc/hoon/library/1#++trap).

13−

12+`taq` is a `++trap`.

1413Produces

1514--------

1615

17−Either a noun or a [`++list`]() of [`++tank`]().

16+Either a noun or a `++list` of `++tank`.

1817

1918Source

2019------

2120

2221 ++ mute :: untyped virtual

23− |= taq=_^?(|.(_*))

24− ^- (each ,* (list tank))

25− =+ ton=(mock [taq 9 2 0 1] |=(* ~))

22+ |= taq/_^?(|.(**))

23+ ^- (each * (list tank))

24+ =+ ton=(mock [taq 9 2 0 1] |=({* *} ~))

2625 ?- -.ton

27− %0 [%& p.ton]

28− %1 [%| (turn p.ton |=(a=* (smyt (path a))))]

29− %2 [%| p.ton]

26+ $0 [%& p.ton]

27+ $1 [%| (turn p.ton |=(a/* (smyt (path a))))]

28+ $2 [%| p.ton]

3029 ==

3130

31+

3232Examples

3333--------

3434

@@ -36,17 +36,6 @@ Examples

3636 [%.y p=[1.717.658.988 104 101 108 108 111 0]]

3737 ~zod/try=> (mute |.(!!))

3838 [%.n p=~]

39− ~zod/try=> (mute |.(.^(a//=pals/1)))

40− [ %.n

41− p

42− ~[

43− [ %rose

44− p=[p="/" q="/" r="/"]

45− q=[i=[%leaf p="a"] t=[i=[%leaf p="~zod"] t=[i=[%leaf p="pals"] t=[i=[%leaf p="1"] t=~]]]]

46− ]

47− ]

48− ]

49−

5039

5140

5241***

docs/system/hoon/library/src/5f/mold/.mane.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.manx.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.marl.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.mars.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.mart.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.marx.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.pass.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.ring.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.time.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/mane.md+2−2

@@ -3,7 +3,7 @@

33XML name

55An XML name (tag name or attribute name) with an optional namespace. Parsed by

6−[`++name`]() within [`++poxa`](), rendered by [`++name`]() within `++poxo`.

6+`++name` within `++poxa`, rendered by `++name` within `++poxo`.

88Source

99------

@@ -13,7 +13,7 @@ Source

1313Examples

1414--------

1515

16−See also: [`++sail`]()

16+See also: `++sail`

1717

1818 ~zod/try=> *mane

1919 %$

docs/system/hoon/library/src/5f/mold/manx.md+3−3

@@ -2,17 +2,17 @@

33XML node.

5−Parsed by [`++apex`]() within [`++poxa`](), rendered by [`++poxo`]().

5+Parsed by `++apex` within `++poxa`, rendered by `++poxo`.

77Source

88------

10− ++ manx ,[g=marx c=marl] :: XML node

10+ ++ manx {g/marx c/marl} :: XML node

1111

1212Examples

1313--------

1414

15−See also: [`++sail`]() doc

15+See also: `++sail` doc

1616

1717

1818

docs/system/hoon/library/src/5f/mold/mars.md+3−2

@@ -2,12 +2,13 @@

33XML CDATA

5−Implicitly produced by [`++chrd`]() within [`++poxa`]()

5+Implicitly produced by `++chrd` within `++poxa`

77Source

88------

10− ++ mars ,[t=[n=%$ a=[i=[n=%$ v=tape] t=~]] c=~] :: XML cdata

10+ ++ mars {t/{n/$$ a/{i/{n/$$ v/tape} t/$~}} c/$~} :: XML cdata

11+

1112

1213Examples

1314--------

docs/system/hoon/library/src/5f/mold/mart.md+4−4

@@ -2,15 +2,15 @@

33List of XML attributes

5−Each `++mart` is a list of pairs of [`++mane`]() and

6−[`++tape`]().

5+Each `++mart` is a list of pairs of `++mane` and

6+`++tape`.

8−Parsed by [`++attr`]() within [`++poxa`](), rendered by `++attr` within [`++poxo`]()

8+Parsed by `++attr` within `++poxa`, rendered by `++attr` within `++poxo`

1010Source

1111------

1212

13− ++ mart (list ,[n=mane v=tape]) :: XML attributes

13+ ++ mart (list {n/mane v/tape}) :: XML attributes

1414

1515Examples

1616--------

docs/system/hoon/library/src/5f/mold/marx.md+2−2

@@ -3,12 +3,12 @@

33XML tag

55A `++marx` is a pair of a tag name, `++mane` and a list of attributes,

6−`++mart`. Parsed by [`++head`]() `++poxa`, rendered within `++poxo`.

6+`++mart`. Parsed by `++head` `++poxa`, rendered within `++poxo`.

88Source

99------

1010

11− ++ marx ,[n=mane a=mart] :: XML tag

11+ ++ marx {n/mane a/mart} :: XML tag

1212

1313Examples

1414--------

docs/system/hoon/library/src/5f/mold/ring.md+1−1

@@ -7,7 +7,7 @@ Used primarily in crypto.

77Source

88------

10− ++ ring ,@ :: private key

10+ ++ ring @ :: private key

1111

1212

1313

docs/system/hoon/library/src/5f/mold/time.md+2−2

@@ -7,12 +7,12 @@ The `@da` odor designates an absolute date atom.

77Source

88------

10− ++ time ,@da :: galactic time

10+ ++ time @da :: galactic time

1111

1212Examples

1313--------

1414

15−See also: [`++date`](), [odor reference]()

15+See also: `++date`, odor reference

1616

1717 ~zod/try=> `time`-<-

1818 ~2014.9.25..20.01.47..eeac