Merge commit '9ab824' into HEAD

2024-12-12 10:29:01 +03:00 · 2016-09-02 12:33:36 -07:00 · 2016-09-02 12:33:36 -07:00 · 2f89baefb3
commit 2f89baefb3
parent a71e7120bc 9ab8241e78
1 changed files with 11 additions and 0 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -1258,6 +1258,17 @@
  +-  wyt                                               ::  depth of map
    |-  ^-  @
    ?~(a 0 +((add $(a l.a) $(a r.a))))
+  ::
+  +-  key                                               ::  set of keys
+    |-  ^-  (set _?>(?=(^ a) p.n.a))
+    ?~  a  ~
+    [n=p.n.a l=$(a l.a) r=$(a r.a)]
+  ::
+  +-  val                                               ::  list of vals
+    =|  b/(list _?>(?=(^ a) q.n.a))
+    |-  ^+  b
+    ?~  a   b
+    $(a r.a, b [q.n.a $(a l.a)])
  --
 ::                                                      ::
 ::::  2j: jar and jug logic                             ::