working

1 files changed, 49 insertions, 0 deletions

diff --git a/vere/pkg/noun/jets/b/levy.c b/vere/pkg/noun/jets/b/levy.c
new file mode 100644
index 0000000..2a24eb1
--- /dev/null
+++ b/vere/pkg/noun/jets/b/levy.c
@@ -0,0 +1,49 @@
+/// @file
+
+#include "jets/q.h"
+#include "jets/w.h"
+
+#include "noun.h"
+
+  static u3_noun
+  _levy_in(u3j_site* sit_u, u3_noun a)
+  {
+    if ( 0 == a ) {
+      return c3y;
+    } else {
+      u3_noun loz;
+
+      if ( c3n == u3du(a) ) {
+        return u3m_bail(c3__exit);
+      }
+      else switch ( (loz = u3j_gate_slam(sit_u, u3k(u3h(a)))) ) {
+        case c3y:  return _levy_in(sit_u, u3t(a));
+        case c3n:   return c3n;
+        default:      u3z(loz);
+                      return u3m_bail(c3__exit);
+      }
+    }
+  }
+
+  u3_noun
+  u3qb_levy(u3_noun a,
+            u3_noun b)
+  {
+    u3_noun  pro;
+    u3j_site sit_u;
+    u3j_gate_prep(&sit_u, u3k(b));
+    pro = _levy_in(&sit_u, a);
+    u3j_gate_lose(&sit_u);
+    return pro;
+  }
+  u3_noun
+  u3wb_levy(u3_noun cor)
+  {
+    u3_noun a, b;
+
+    if ( c3n == u3r_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0) ) {
+      return u3m_bail(c3__exit);
+    } else {
+      return u3qb_levy(a, b);
+    }
+  }