vere/pkg/noun/jets/d/in_tap.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

/// @file

#include "jets/k.h"
#include "jets/q.h"
#include "jets/w.h"

#include "noun.h"

static u3_noun
_tap_in(u3_noun a,
        u3_noun b)
{
  if ( u3_nul == a ) {
    return b;
  }
  else {
    u3_noun n_a, l_a, r_a;
    u3x_trel(a, &n_a, &l_a, &r_a);

    return _tap_in(r_a,
                   u3nc(u3k(n_a),
                   _tap_in(l_a, b)));
  }
}

u3_noun
u3qdi_tap(u3_noun a)
{
  return _tap_in(a, u3_nul);
}

u3_noun
u3wdi_tap(u3_noun cor)
{
  u3_noun a;
  u3x_mean(cor, u3x_con_sam, &a, 0);
  return u3qdi_tap(a);
}

u3_noun
u3kdi_tap(u3_noun a)
{
  u3_noun b = u3qdi_tap(a);
  u3z(a);
  return b;
}