From d318b2cfcf33ac41aeaacb03e8b5593f8eb5e690 Mon Sep 17 00:00:00 2001 From: Joe Bryan Date: Tue, 8 Jan 2019 22:37:28 -0500 Subject: [PATCH] renames +vor to +mor, comments noun-order gates --- sys/hoon.hoon | 71 +++++++++++++++++++++++++++------------------- sys/vane/jael.hoon | 16 +++++------ 2 files changed, 50 insertions(+), 37 deletions(-) diff --git a/sys/hoon.hoon b/sys/hoon.hoon index a3621fd94..a2d0eafc1 100644 --- a/sys/hoon.hoon +++ b/sys/hoon.hoon @@ -1125,9 +1125,13 @@ :: :: :::: 2f: noun ordering :: :: :: - :: aor, dor, gor, hor, lor, vor :: + :: aor, dor, gor, mor :: :: -++ aor :: a-order +:: +aor: alphabetical order +:: +:: Orders atoms before cells, and atoms in ascending LSB order. +:: +++ aor ~/ %aor |= {a/* b/*} ^- ? @@ -1143,8 +1147,11 @@ ?: =(c d) $(a (rsh 3 1 a), b (rsh 3 1 b)) (lth c d) +:: +dor: depth order :: -++ dor :: d-order +:: Orders in ascending tree depth. +:: +++ dor ~/ %dor |= {a/* b/*} ^- ? @@ -1156,8 +1163,11 @@ $(a -.a, b -.b) ?. ?=(@ b) & (lth a b) +:: +gor: mug order :: -++ gor :: g-order +:: Orders in ascending +mug hash order, collisions fall back to +dor. +:: +++ gor ~/ %gor |= {a/* b/*} ^- ? @@ -1165,9 +1175,12 @@ ?: =(c d) (dor a b) (lth c d) +:: +mor: (more) mug order :: -++ vor :: v-order - ~/ %vor +:: Orders in ascending double +mug hash order, collisions fall back to +dor. +:: +++ mor + ~/ %mor |= {a/* b/*} ^- ? =+ [c=(mug (mug a)) d=(mug (mug b))] @@ -1234,8 +1247,8 @@ ?~ a & ?& ?~(l & (gor n.a u.l)) ?~(r & (gor u.r n.a)) - ?~(l.a & ?&((vor n.a n.l.a) $(a l.a, l `n.a))) - ?~(r.a & ?&((vor n.a n.r.a) $(a r.a, r `n.a))) + ?~(l.a & ?&((mor n.a n.l.a) $(a l.a, l `n.a))) + ?~(r.a & ?&((mor n.a n.r.a) $(a r.a, r `n.a))) == :: ++ bif :: splits a by b @@ -1269,7 +1282,7 @@ |- ^- {$?(~ _a)} ?~ l.a r.a ?~ r.a l.a - ?: (vor n.l.a n.r.a) + ?: (mor n.l.a n.r.a) [n.l.a l.l.a $(l.a r.l.a)] [n.r.a $(r.a l.r.a) r.r.a] :: @@ -1288,7 +1301,7 @@ |- ^- {$?(~ _a)} ?~ d e ?~ e d - ?: (vor n.d n.e) + ?: (mor n.d n.e) [n.d l.d $(d r.d)] [n.e $(e l.e) r.e] -- @@ -1333,7 +1346,7 @@ ~ ?~ a ~ - ?. (vor n.a n.b) + ?. (mor n.a n.b) $(a b, b a) ?: =(n.b n.a) [n.a $(a l.a, b l.b) $(a r.a, b r.b)] @@ -1353,12 +1366,12 @@ ?: (gor b n.a) =+ c=$(a l.a) ?> ?=(^ c) - ?: (vor n.a n.c) + ?: (mor n.a n.c) [n.a c r.a] [n.c l.c [n.a r.c r.a]] =+ c=$(a r.a) ?> ?=(^ c) - ?: (vor n.a n.c) + ?: (mor n.a n.c) [n.a l.a c] [n.c [n.a l.a l.c] r.c] :: @@ -1397,7 +1410,7 @@ a ?~ a b - ?: (vor n.a n.b) + ?: (mor n.a n.b) ?: =(n.b n.a) [n.b $(a l.a, b l.b) $(a r.a, b r.b)] ?: (gor n.b n.a) @@ -1474,7 +1487,7 @@ |- ^- {$?(~ _a)} ?~ l.a r.a ?~ r.a l.a - ?: (vor p.n.l.a p.n.r.a) + ?: (mor p.n.l.a p.n.r.a) [n.l.a l.l.a $(l.a r.l.a)] [n.r.a $(r.a l.r.a) r.r.a] :: @@ -1493,7 +1506,7 @@ |- ^- {$?(~ _a)} ?~ d e ?~ e d - ?: (vor p.n.d p.n.e) + ?: (mor p.n.d p.n.e) [n.d l.d $(d r.d)] [n.e $(e l.e) r.e] -- @@ -1514,8 +1527,8 @@ ?~ a & ?& ?~(l & (gor p.n.a u.l)) ?~(r & (gor u.r p.n.a)) - ?~(l.a & ?&((vor p.n.a p.n.l.a) $(a l.a, l `p.n.a))) - ?~(r.a & ?&((vor p.n.a p.n.r.a) $(a r.a, r `p.n.a))) + ?~(l.a & ?&((mor p.n.a p.n.l.a) $(a l.a, l `p.n.a))) + ?~(r.a & ?&((mor p.n.a p.n.r.a) $(a r.a, r `p.n.a))) == :: ++ gas :: concatenate @@ -1559,7 +1572,7 @@ ~ ?~ a ~ - ?: (vor p.n.a p.n.b) + ?: (mor p.n.a p.n.b) ?: =(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) @@ -1606,12 +1619,12 @@ ?: (gor b p.n.a) =+ d=$(a l.a) ?> ?=(^ d) - ?: (vor p.n.a p.n.d) + ?: (mor p.n.a p.n.d) [n.a d r.a] [n.d l.d [n.a r.d r.a]] =+ d=$(a r.a) ?> ?=(^ d) - ?: (vor p.n.a p.n.d) + ?: (mor p.n.a p.n.d) [n.a l.a d] [n.d [n.a l.a l.d] r.d] :: @@ -1662,7 +1675,7 @@ a ?~ a b - ?: (vor p.n.a p.n.b) + ?: (mor p.n.a p.n.b) ?: =(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) @@ -1685,7 +1698,7 @@ a ?~ a b - ?: (vor p.n.a p.n.b) + ?: (mor p.n.a p.n.b) ?: =(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) @@ -1786,9 +1799,9 @@ ++ bal |- ^+ a ?~ a ~ - ?. |(?=(~ l.a) (vor n.a n.l.a)) + ?. |(?=(~ l.a) (mor n.a n.l.a)) $(a [n.l.a l.l.a $(a [n.a r.l.a r.a])]) - ?. |(?=(~ r.a) (vor n.a n.r.a)) + ?. |(?=(~ r.a) (mor n.a n.r.a)) $(a [n.r.a $(a [n.a l.a l.r.a]) r.r.a]) a :: @@ -1810,7 +1823,7 @@ [n.a l.a] =+ b=$(a r.a) :- p.b - ?: |(?=(~ q.b) (vor n.a n.q.b)) + ?: |(?=(~ q.b) (mor n.a n.q.b)) [n.a l.a q.b] [n.q.b [n.a l.a l.q.b] r.q.b] :: @@ -1819,7 +1832,7 @@ ?~ a ~ ?~ l.a r.a ?~ r.a l.a - ?: (vor n.l.a n.r.a) + ?: (mor n.l.a n.r.a) [n.l.a l.l.a $(l.a r.l.a)] [n.r.a $(r.a l.r.a) r.r.a] :: @@ -5116,12 +5129,12 @@ ?: (wor p.i.leh p.n.yal) =+ nuc=$(yal l.yal) ?> ?=(^ nuc) - ?: (vor p.n.yal p.n.nuc) + ?: (mor p.n.yal p.n.nuc) [n.yal nuc r.yal] [n.nuc l.nuc [n.yal r.nuc r.yal]] =+ nuc=$(yal r.yal) ?> ?=(^ nuc) - ?: (vor p.n.yal p.n.nuc) + ?: (mor p.n.yal p.n.nuc) [n.yal l.yal nuc] [n.nuc [n.yal l.yal l.nuc] r.nuc] ~% %fun ..^$ ~ diff --git a/sys/vane/jael.hoon b/sys/vane/jael.hoon index 2bba2cb77..785bd56d3 100644 --- a/sys/vane/jael.hoon +++ b/sys/vane/jael.hoon @@ -157,10 +157,10 @@ ?~(top & (lth +(q.n.a) u.top)) ?~(bot & (gth p.n.a +(u.bot))) :: - ?~(l.a & (vor p.n.a p.n.l.a)) + ?~(l.a & (mor p.n.a p.n.l.a)) $(a l.a, top `p.n.a) :: - ?~(l.a & (vor p.n.a p.n.l.a)) + ?~(l.a & (mor p.n.a p.n.l.a)) $(a r.a, bot `q.n.a) == :: :: ++int:py @@ -168,7 +168,7 @@ |= b/pile ^- pile ?~ a ~ ?~ b ~ - ?. (vor p.n.a p.n.b) $(a b, b a) + ?. (mor p.n.a p.n.b) $(a b, b a) ?: (gth p.n.a q.n.b) (uni(a $(b r.b)) $(a l.a, r.b ~)) ?: (lth q.n.a p.n.b) @@ -218,7 +218,7 @@ ^- pile ?~ b a ?~ a b - ?. (vor p.n.a p.n.b) $(a b, b a) + ?. (mor p.n.a p.n.b) $(a b, b a) ?: (lth +(q.n.b) p.n.a) $(b r.b, l.a $(a l.a, r.b ~)) ?: (lth +(q.n.a) p.n.b) @@ -402,7 +402,7 @@ :: :::: ++ up :: a set of rites is stored as a tree (++safe), sorted - :: by ++gor on the stem, balanced by ++vor on the stem. + :: by ++gor on the stem, balanced by ++mor on the stem. :: (this is essentially a ++map with stem as key, but :: ++map doesn't know how to link stem and bulb types.) :: the goal of the design is to make it easy to add new @@ -436,7 +436,7 @@ |- ^- safe ?~ l.pig r.pig ?~ r.pig l.pig - ?: (vor -.n.l.pig -.n.r.pig) + ?: (mor -.n.l.pig -.n.r.pig) [n.l.pig l.l.pig $(l.pig r.l.pig)] [n.r.pig $(r.pig l.r.pig) r.r.pig] :: :: ++differ:up @@ -472,12 +472,12 @@ ?: (gor -.ryt -.n.pig) =. l.pig $(pig l.pig) ?> ?=(^ l.pig) - ?: (vor -.n.pig -.n.l.pig) + ?: (mor -.n.pig -.n.l.pig) [n.pig l.pig r.pig] [n.l.pig l.l.pig [n.pig r.l.pig r.pig]] =. r.pig $(pig r.pig) ?> ?=(^ r.pig) - ?: (vor -.n.pig -.n.r.pig) + ?: (mor -.n.pig -.n.r.pig) [n.pig l.pig r.pig] [n.r.pig [n.pig l.pig l.r.pig] r.r.pig] :: :: ++intern:up