vere/pkg/noun/jets/b/levy.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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);
    }
  }