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

Factor out %cnts for some adjustments.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-08 12:22:42 -08:00
parent cd9a958dab
commit f30e070043
1 changed files with 60 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

94
arvo/hoon.hoon
View File

@ -7763,6 +7763,9 @@
%duck duck
%dune dune
%dunk dunk
%epla epla
%emin emin
%emul emul
%fire fire
%fish fish
%fuse fuse
@ -7888,6 +7891,59 @@
[['.' ~] ['-' ~] ~ ~]
[[%leaf (mesc (trip paz))] duck ~]
::
++ et
|_ {hyp/wing rig/(list (pair wing twig))}
++ play
^- span
=+ lar=(seek %read hyp)
=+ rag=q.q.lar
%- fire
|- ^- (list {p/span q/foot})
?~ rig
rag
$(rig t.rig, rag q:(toss p.i.rig (^play q.i.rig) rag))
::
++ 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
|= {gol/span dox/span}
^- {span span}
=+ lar=(seek %read hyp)
=+ vug=(seek(sut dox) %read hyp)
?. &(=(p.lar p.vug) =(p.q.lar p.q.vug))
~|(%mull-bonk-e !!)
=- :- =+ typ=(fire p.muy)
?>(?|(!vet (nest(sut gol) & typ)) typ)
(fire(vet |) q.muy)
^= muy
|- ^- {p/(list {p/span q/foot}) q/(list {p/span q/foot})}
?~ rig
[q.q.lar q.q.vug]
=+ zil=(^mull %noun dox q.i.rig)
=+ cuf=(toss p.i.rig p.zil q.q.lar)
=+ dof=(toss p.i.rig q.zil q.q.vug)
?. .=(p.cuf p.dof)
~|(%mull-bonk-f !!)
$(rig t.rig, q.q.lar q.cuf, q.q.vug q.dof)
--
::
++ epla ~/(%epla |=({wing (list (pair wing twig))} ~(play et +<)))
++ emin ~/(%emin |=({wing (list (pair wing twig))} ~(mint et +<)))
++ emul ~/(%emul |=({wing (list (pair wing twig))} ~(mull et +<)))
::
++ find
|= {way/vial hyp/wing}
~+
@ -8028,7 +8084,7 @@
:: ~_ (dunk(sut [%cell q.q.p p.p]) %fire-wet)
?> ?| !vet
(~(has in rib) [sut dox p.q])
(mull(sut p, rib (~(put in rib) [sut dox p.q])) %noun dox p.q)
!=(~ (mull(sut p, rib (~(put in rib) [sut dox p.q])) %noun dox p.q))
==
[p p.q]
::
@ -8154,18 +8210,7 @@
::
{$brcn *} (grow %gold [%$ 1] p.gen)
::
{$cnts *}
=+ lar=(seek %read p.gen)
=- [(nice 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}
?~ q.gen
[(fire q.q.lar) (hike p.lar hej)]
=+ zil=^$(gen q.i.q.gen, gol %noun)
=+ wip=(toss p.i.q.gen p.zil q.q.lar)
$(q.gen t.q.gen, q.q.lar q.wip, hej [[p.wip q.zil] hej])
::
{$cnts *} (~(mint et p.gen q.gen) gol)
{$dtkt *} [(nice %noun) [%11 q:$(gen p.gen, gol %noun)]]
{$dtls *} [(nice [%atom %$ ~]) [%4 q:$(gen p.gen, gol [%atom %$ ~])]]
{$sand *} [(nice (play gen)) [%1 q.gen]]
@ -8288,10 +8333,6 @@
++ mull
~/ %mull
|= {gol/span dox/span gen/twig}
^- ?
?. vet
&
=< &
|^ ^- {p/span q/span}
?: =(%void sut)
~|(%mull-none !!)
@ -8303,23 +8344,7 @@
[(nice (cell p.hed p.tal)) (cell q.hed q.tal)]
::
{$brcn *} (grow %gold [%$ 1] p.gen)
{$cnts *}
=+ lar=(seek %read p.gen)
=+ vug=(seek(sut dox) %read p.gen)
?. &(=(p.lar p.vug) =(p.q.lar p.q.vug))
~|(%mull-bonk-e !!)
=- [(nice (fire p.yom)) (fire(vet |) q.yom)]
^= yom
|- ^- {p/(list {p/span q/foot}) q/(list {p/span q/foot})}
?~ q.gen
[q.q.lar q.q.vug]
=+ zil=^$(gen q.i.q.gen, gol %noun)
=+ cuf=(toss p.i.q.gen p.zil q.q.lar)
=+ dof=(toss p.i.q.gen q.zil q.q.vug)
?. .=(p.cuf p.dof)
~|(%mull-bonk-f !!)
$(q.gen t.q.gen, q.q.lar q.cuf, q.q.vug q.dof)
::
{$cnts *} (~(mull et p.gen q.gen) gol dox)
{$dtkt *} =+($(gen p.gen, gol %noun) (beth %noun))
{$dtls *} =+($(gen p.gen, gol [%atom %$ ~]) (beth [%atom %$ ~]))
{$sand *} (beth (play gen))
@ -8753,6 +8778,7 @@
(tuck %rite hyp |=(span mur))
::
++ toss
~/ %toss
|= {hyp/wing mur/span men/(list {p/span q/foot})}
^- {p/axis q/(list {p/span q/foot})}
=- [(need p.wib) q.wib]