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

fixy uno~by, other vor-based code duplication

Browse Source
This commit is contained in:
Anton Dyudin 2016-12-13 11:49:48 -08:00 committed by Fang
parent bba8c5adfd
commit d5d8715b3c
1 changed files with 11 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
sys/hoon.hoon
View File

@ -1405,27 +1405,19 @@
:: ::
+- uni :: union +- uni :: union
~/ %uni ~/ %uni
=+ b=a |* b=_a
|%
+- $
?: =(a b) a ?: =(a b) a
|- ^+ a |- ^+ a
?~ b ?~ b
a a
?~ a ?~ a
b b
?: (vor n.a n.b) => ?.((vor n.a n.b) . .(a b, b a))
?: =(n.b n.a) ?: =(n.b n.a)
[n.b $(a l.a, b l.b) $(a r.a, b r.b)] [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
?: (hor n.b n.a) ?: (hor n.b n.a)
$(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b) $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
$(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b) $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
?: =(n.a n.b)
[n.b $(b l.b, a l.a) $(b r.b, a r.a)]
?: (hor n.a n.b)
$(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
$(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
--
:: ::
+- wyt :: size of set +- wyt :: size of set
=< $ =< $
@ -1568,26 +1560,18 @@
:: ::
+- int :: intersection +- int :: intersection
~/ %int ~/ %int
=+ b=a |* b=_a
|%
+- $
|- ^+ a |- ^+ a
?~ b ?~ b
~ ~
?~ a ?~ a
~ ~
?: (vor p.n.a p.n.b) => ?:((vor p.n.a p.n.b) . .(a b, b a))
?: =(p.n.b p.n.a) ?: =(p.n.b p.n.a)
[n.b $(a l.a, b l.b) $(a r.a, b r.b)] [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
?: (gor p.n.b p.n.a) ?: (gor p.n.b p.n.a)
%- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b) %- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
%- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b) %- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
?: =(p.n.a p.n.b)
[n.b $(b l.b, a l.a) $(b r.b, a r.a)]
?: (gor p.n.a p.n.b)
%- uni(a $(b l.b, a [n.a l.a ~])) $(a r.a)
%- uni(a $(b r.b, a [n.a ~ r.a])) $(a l.a)
--
:: ::
+- mar :: add with validation +- mar :: add with validation
|* {b/* c/(unit *)} |* {b/* c/(unit *)}
@ -1656,51 +1640,35 @@
:: ::
+- uni :: union, merge +- uni :: union, merge
~/ %uni ~/ %uni
=+ b=a |* b=_a
|%
+- $
|- ^+ a |- ^+ a
?~ b ?~ b
a a
?~ a ?~ a
b b
?: (vor p.n.a p.n.b) => ?:((vor p.n.a p.n.b) . .(a b, b a))
?: =(p.n.b p.n.a) ?: =(p.n.b p.n.a)
[n.b $(a l.a, b l.b) $(a r.a, b r.b)] [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
?: (gor p.n.b p.n.a) ?: (gor p.n.b p.n.a)
$(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b) $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
$(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b) $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
?: =(p.n.a p.n.b)
[n.b $(b l.b, a l.a) $(b r.b, a r.a)]
?: (gor p.n.a p.n.b)
$(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a)
$(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a)
--
:: ::
+- uno :: general union +- uno :: general union
=+ b=a |= b=_a
|% |= meg/$-({_p:node _q:node _q:node} _q:node)
+- $
|* meg/$-({* * *} *)
|- ^+ a |- ^+ a
?~ b ?~ b
a a
?~ a ?~ a
b b
?: (vor p.n.a p.n.b) => ?:((vor p.n.a p.n.b) . .(a b, b a))
?: =(p.n.b p.n.a)
[n.b $(a l.a, b l.b) $(a r.a, b r.b)]
?: (gor p.n.b p.n.a)
$(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
$(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
?: =(p.n.a p.n.b) ?: =(p.n.a p.n.b)
:+ [p.n.a (meg p.n.a q.n.a q.n.b)] :+ [p.n.a (meg p.n.a q.n.a q.n.b)]
$(b l.b, a l.a) $(b l.b, a l.a)
$(b r.b, a r.a) $(b r.b, a r.a)
?: (gor p.n.a p.n.b) ?: (gor p.n.a p.n.b)
$(b [n.b $(b l.b, a [n.a l.a ~]) r.b], a r.a) $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b)
$(b [n.b l.b $(b r.b, a [n.a ~ r.a])], a l.a) $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b)
--
:: ::
:: ::
+- urn :: apply gate to nodes +- urn :: apply gate to nodes