ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Old seek system eradicated.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-09 16:22:25 -08:00
parent 8bb0c19d34
commit 1892f28c61
1 changed files with 46 additions and 83 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

129
arvo/hoon.hoon
View File

@ -7785,8 +7785,6 @@
%peek peek %peek peek
%repo repo %repo repo
%rest rest %rest rest
%seek seek
%sick sick
%tack tack %tack tack
%toss toss %toss toss
%wrap wrap %wrap wrap
@ -7900,80 +7898,54 @@
++ et ++ et
|_ {hyp/wing rig/(list (pair wing twig))} |_ {hyp/wing rig/(list (pair wing twig))}
++ play ++ play
~| %play-cents
^- span ^- span
=+ lar=(seek %read hyp) =+ lar=(suck hyp)
=+ rag=q.q.lar ?: ?=($| -.lar) ?>(?=($~ rig) p.p.lar)
%- fire %- fire
|- ^- (list {p/span q/foot}) |- ^- (list {p/span q/foot})
?~ rig ?~ rig
rag r.p.lar
$(rig t.rig, rag q:(toss p.i.rig (^play q.i.rig) rag)) $(rig t.rig, r.p.lar q:(toss p.i.rig (^play q.i.rig) r.p.lar))
:: ::
++ moth ++ mint
|= {axe/axis arm/(unit axis) mil/(list (pair span foot))} |= gol/span
~| %mint-cents
^- (pair span nock)
=+ lar=(suck hyp)
?: ?=($| -.lar) ?>(?=($~ rig) p.lar)
=- ?>(?|(!vet (nest(sut gol) & p.toc)) toc)
=| hej/(list (pair axis nock)) =| hej/(list (pair axis nock))
|- ^- (pair span nock) |- ^- toc/(pair span nock)
?~ rig ?~ rig
[(fire mil) =+((hike axe hej) ?~(arm - [%9 u.arm -]))] :- (fire r.p.lar)
=+((hike p.p.lar hej) ?~(q.p.lar - [%9 u.q.p.lar -]))
=+ zil=(^mint %noun q.i.rig) =+ zil=(^mint %noun q.i.rig)
=+ wip=(toss p.i.rig p.zil mil) =+ wip=(toss p.i.rig p.zil r.p.lar)
$(rig t.rig, mil q.wip, hej [[p.wip q.zil] hej]) $(rig t.rig, r.p.lar q.wip, hej [[p.wip q.zil] hej])
::
++ moda
|= gol/span
^- {p/span q/nock}
=+ toc=moin
?>(?|(!vet (nest(sut gol) & p.toc)) toc)
::
++ moin
^- {p/span q/nock}
=+ fid=(find %read hyp)
?- -.fid
$& %+ moth `axis`(tonk p.p.fid)
?- -.q.p.fid
$& [~ [`span`p.q.p.fid `foot`[%elm %$ 1]]~]
$| [`p.q.p.fid (~(tap in q.q.p.fid))]
==
$| ?- -.p.fid
$| ?^(rig ~|([%mute hyp] !!) p.p.fid)
$& ~|([%find hyp] !!)
== ==
::
++ mint
|= gol/span
^- {p/span q/nock}
=+ lar=(seek %read hyp)
=- :- ?>(?|(!vet (nest(sut gol) & p.yom)) p.yom)
?:(=(0 p.q.lar) q.yom [%9 p.q.lar q.yom])
^= yom
=+ hej=*(list {p/axis q/nock})
|- ^- {p/span q/nock}
?~ rig
[(fire q.q.lar) (hike p.lar hej)]
=+ zil=(^mint %noun q.i.rig)
=+ wip=(toss p.i.rig p.zil q.q.lar)
$(rig t.rig, q.q.lar q.wip, hej [[p.wip q.zil] hej])
:: ::
++ mull ++ mull
|= {gol/span dox/span} |= {gol/span dox/span}
^- {span span} ^- {span span}
=+ lar=(seek %read hyp) ~| %mull-cents
=+ vug=(seek(sut dox) %read hyp) =+ lar=(suck hyp)
?. &(=(p.lar p.vug) =(p.q.lar p.q.vug)) =+ vug=(suck(sut dox) hyp)
~|(%mull-bonk-e !!) ?. &(?=($& -.lar) ?=($& -.vug))
?> &(?=($| -.lar) ?=($| -.vug) =(q.p.lar q.p.vug))
?>(?=($~ rig) [p.p.lar p.p.vug])
?> &(=(p.p.lar p.p.vug) =(q.p.lar q.p.vug))
=- :- =+ typ=(fire p.muy) =- :- =+ typ=(fire p.muy)
?>(?|(!vet (nest(sut gol) & typ)) typ) ?>(?|(!vet (nest(sut gol) & typ)) typ)
(fire(vet |) q.muy) (fire(vet |) q.muy)
^= muy ^= muy
|- ^- {p/(list {p/span q/foot}) q/(list {p/span q/foot})} |- ^- {p/(list {p/span q/foot}) q/(list {p/span q/foot})}
?~ rig ?~ rig
[q.q.lar q.q.vug] [r.p.lar r.p.vug]
=+ zil=(^mull %noun dox q.i.rig) =+ zil=(^mull %noun dox q.i.rig)
=+ cuf=(toss p.i.rig p.zil q.q.lar) =+ cuf=(toss p.i.rig p.zil r.p.lar)
=+ dof=(toss p.i.rig q.zil q.q.vug) =+ dof=(toss p.i.rig q.zil r.p.vug)
?. .=(p.cuf p.dof) ?> =(p.cuf p.dof)
~|(%mull-bonk-f !!) $(rig t.rig, r.p.lar q.cuf, r.p.vug q.dof)
$(rig t.rig, q.q.lar q.cuf, q.q.vug q.dof)
-- --
:: ::
++ epla ++ epla
@ -8681,13 +8653,7 @@
?- gen ?- gen
{^ *} (cell $(gen p.gen) $(gen q.gen)) {^ *} (cell $(gen p.gen) $(gen q.gen))
{$brcn *} (core sut %gold sut [[%0 0] p.gen]) {$brcn *} (core sut %gold sut [[%0 0] p.gen])
{$cnts *} =+ lar=(seek %read p.gen) {$cnts *} ~(play et p.gen q.gen)
=+ rag=q.q.lar
%- fire
|- ^- (list {p/span q/foot})
?~ q.gen
rag
$(q.gen t.q.gen, rag q:(toss p.i.q.gen ^$(gen q.i.q.gen) rag))
{$dtkt *} %noun {$dtkt *} %noun
{$dtls *} [%atom %$ ~] {$dtls *} [%atom %$ ~]
{$rock *} |- ^- span {$rock *} |- ^- span
@ -8753,25 +8719,22 @@
~ ~
=+([p=*span q=`span`%void] |.((fork p q))) =+([p=*span q=`span`%void] |.((fork p q)))
:: ::
++ seek ++ suck
~/ %seek |= hyp/wing
|= {way/vial hyp/wing} ^- %+ each
(sick way hyp) (trel axis (unit axis) (list (pair span foot)))
:: (pair span nock)
++ sick =+ fid=(find %read hyp)
~/ %sick ?- -.fid
|= {way/vial hyp/wing} $& :+ %& (tonk p.p.fid)
^- prop ?- -.q.p.fid
%- foil $& [~ [`span`p.q.p.fid `foot`[%elm %$ 1]]~]
^- port $| [`p.q.p.fid (~(tap in q.q.p.fid))]
~| [%seek hyp] ==
=+ fid=(find way hyp) $| ?- -.p.fid
?> ?=($& -.fid) $| [%| p.p.fid]
:- (tonk p.p.fid) $& ~|([%find hyp] !!)
?- -.q.p.fid == ==
$& q.p.fid
$| [%| p.q.p.fid (~(tap in q.q.p.fid) ~)]
==
:: ::
++ tech ++ tech
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}