jets: add jet for cap

zorp-corp · Aug 24, 2023 · 15ae896 · 15ae896
1 parent 25f955d
commit 15ae896
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/hoon/scaffolding/cradle.hoon b/hoon/scaffolding/cradle.hoon
@@ -276,6 +276,20 @@
   ?:  =(0 b)  ~
   [(end a b) $(b (rsh a b))]
 ::
+::  Tree addressing
+::
+::                                                      ::  index in head or tail
+++  cap                                                 ::  %2 if in head
+  ~/  %cap                                              ::  %3 if in teail
+  |=  a=@
+  ~>  %sham.%cap
+  ^-  ?(%2 %3)
+  ?-  a
+    %2        %2
+    %3        %3
+    ?(%0 %1)  !!
+    *         $(a (div a 2))
+  ==
 ::
 ::  Lists
 ::

diff --git a/rust/ares/src/jets.rs b/rust/ares/src/jets.rs
@@ -1,8 +1,10 @@
 pub mod math;
 pub mod mink;
+pub mod tree;
 
 use crate::jets::math::*;
 use crate::jets::mink::*;
+use crate::jets::tree::*;
 use crate::mem::NockStack;
 use crate::newt::Newt;
 use crate::noun::{self, Noun, Slots};
@@ -66,6 +68,9 @@ pub fn get_jet(jet_name: Noun) -> Option<Jet> {
         tas!(b"met") => Some(jet_met),
         tas!(b"mug") => Some(jet_mug),
         tas!(b"rev") => Some(jet_rev),
+        //
+        tas!(b"cap") => Some(jet_cap),
+        //
         tas!(b"mink") => Some(jet_mink),
         _ => {
             // eprintln!("Unknown jet: {:?}", jet_name);