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

Merge pull request #4986 from urbit/la/hoon-sink

Browse Source
This commit is contained in:
L 2021-06-04 18:43:28 -05:00 committed by GitHub
commit 9f2be322d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 35 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pkg/arvo/sys/hoon.hoon
View File

@ -8764,6 +8764,7 @@
%peek peek %peek peek
%repo repo %repo repo
%rest rest %rest rest
%sink sink
%tack tack %tack tack
%toss toss %toss toss
%wrap wrap %wrap wrap
@ -10838,7 +10839,7 @@
|- ^- type |- ^- type
?~ lov sut ?~ lov sut
$(lov t.lov, sut (face i.lov sut)) $(lov t.lov, sut (face i.lov sut))
:: :: ::
++ sint :: reduce by reference ++ sint :: reduce by reference
|= $: :: hod: expand holds |= $: :: hod: expand holds
:: ::
@ -10911,6 +10912,39 @@
%- ~(gas in *(set type)) %- ~(gas in *(set type))
(turn leg |=([p=type q=hoon] (play(sut p) q))) (turn leg |=([p=type q=hoon] (play(sut p) q)))
:: ::
++ sink
~/ %sink
|^ ^- cord
?- sut
%void 'void'
%noun 'noun'
[%atom *] (rap 3 'atom ' p.sut ' ' ?~(q.sut '~' u.q.sut) ~)
[%cell *] (rap 3 'cell ' (mup p.sut) ' ' (mup q.sut) ~)
[%face *] (rap 3 'face ' ?@(p.sut p.sut (mup p.sut)) ' ' (mup q.sut) ~)
[%fork *] (rap 3 'fork ' (mup p.sut) ~)
[%hint *] (rap 3 'hint ' (mup p.sut) ' ' (mup q.sut) ~)
[%hold *] (rap 3 'hold ' (mup p.sut) ' ' (mup q.sut) ~)
::
[%core *]
%+ rap 3
:~ 'core '
(mup p.sut)
' '
?~(p.p.q.sut '~' u.p.p.q.sut)
' '
q.p.q.sut
' '
r.p.q.sut
' '
(mup q.q.sut)
' '
(mup p.r.q.sut)
==
==
::
++ mup |=(* (scot %p (mug +<)))
--
::
++ take ++ take
|= [vit=vein duz=$-(type type)] |= [vit=vein duz=$-(type type)]
^- (pair axis type) ^- (pair axis type)