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

In the middle of rescuing ++low.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-31 17:01:19 -08:00
parent 70d809b558
commit 009d4945b9
1 changed files with 21 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
arvo/hoon.hoon
View File

@ -2839,18 +2839,34 @@
:: ::
++ mo :: make a map ++ mo :: make a map
|* a/(pole ^) |* a/(pole ^)
=> .(a ^.(|*(a/$@($~ ^) ?~(a ~ [i=-.a t=$(a +.a)])) a)) => .(a ^.(homo (limo a)))
=> .(a ^.(homo a))
=> .(a `(list {p/_-<.a q/_->.a})`a) => .(a `(list {p/_-<.a q/_->.a})`a)
=+ b=*(map _?>(?=(^ a) p.i.a) _?>(?=(^ a) q.i.a)) =+ b=*(map _?>(?=(^ a) p.i.a) _?>(?=(^ a) q.i.a))
(~(gas by b) a) (~(gas by b) a)
:: ::
++ ro :: make a map
|* a/(pole ^)
=> .(a ^.(|*(a/$@($~ ^) ?~(a ~ [i=-.a t=$(a +.a)])) a))
=> .(a ^#((homo a) a))
a
::
++ ry :: make a map
|* a/(pole ^)
=> .(a ^.(|*(a/$@($~ ^) ?~(a ~ [i=-.a t=$(a +.a)])) a))
a
::
++ sa :: make a set ++ sa :: make a set
|* a/(list) |* a/(list)
=> .(a `_(homo a)`a) => .(a `_(homo a)`a)
=+ b=*(set _?>(?=(^ a) i.a)) =+ b=*(set _?>(?=(^ a) i.a))
(~(gas in b) a) (~(gas in b) a)
:: ::
++ sy :: make a set
|* a/(list)
=. a ^#((homo a) a)
=+ b=*(set _?>(?=(^ a) i.a))
(~(gas in b) a)
::
++ qu :: qeu from list ++ qu :: qeu from list
|* a/(list) |* a/(list)
=> .(a `_(homo a)`a) => .(a `_(homo a)`a)
@ -7425,7 +7441,9 @@
[[%leaf (rip 3 -.lum)] $(lum +.lum)] [[%leaf (rip 3 -.lum)] $(lum +.lum)]
:: ::
$span $span
=+ cis=((hard tank) .*(.(sut lum) (dial dole))) =+ tyr=|.((dial dole))
=+ vol=tyr(sut lum)
=+ cis=((hard tank) .*(vol -:vol))
:^ ~ %palm :^ ~ %palm
[~ ~ ~ ~] [~ ~ ~ ~]
[[%leaf '#' 't' '/' ~] cis ~] [[%leaf '#' 't' '/' ~] cis ~]