/// @file

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

#include "noun.h"

u3_noun
u3qdi_put(u3_noun a,
          u3_noun b)
{
  if ( u3_nul == a ) {
    return u3nt(u3k(b), u3_nul, u3_nul);
  }
  else {
    u3_noun n_a, lr_a;
    u3x_cell(a, &n_a, &lr_a);

    if ( c3y == u3r_sing(n_a, b) ) {
      return u3k(a);
    }
    else {
      u3_noun c, n_c, l_c, r_c;
      u3_noun l_a, r_a;
      u3x_cell(lr_a, &l_a, &r_a);

      if ( c3y == u3qc_gor(b, n_a) ) {
        c = u3qdi_put(l_a, b);

        if ( c3y == u3qc_mor(n_a, u3h(c)) ) {
          return u3nt(u3k(n_a),
                      c,
                      u3k(r_a));
        }
        else {
          u3r_trel(c, &n_c, &l_c, &r_c);
          {
            u3_noun d = u3nt(u3k(n_c),
                             u3k(l_c),
                             u3nt(u3k(n_a), u3k(r_c), u3k(r_a)));

            u3z(c);
            return d;
          }
        }
      }
      else {
        c = u3qdi_put(r_a, b);

        if ( c3y == u3qc_mor(n_a, u3h(c)) ) {
          return u3nt(u3k(n_a),
                      u3k(l_a),
                      c);
        }
        else {
          u3r_trel(c, &n_c, &l_c, &r_c);
          {
            u3_noun d = u3nt(u3k(n_c),
                             u3nt(u3k(n_a), u3k(l_a), u3k(l_c)),
                             u3k(r_c));

            u3z(c);
            return d;
          }
        }
      }
    }
  }
}

u3_noun
u3wdi_put(u3_noun cor)
{
  u3_noun a, b;
  u3x_mean(cor, u3x_sam, &b, u3x_con_sam, &a, 0);
  return u3qdi_put(a, b);
}

u3_noun
u3kdi_put(u3_noun a,
          u3_noun b)
{
  u3_noun pro = u3qdi_put(a, b);
  u3z(a); u3z(b);
  return pro;
}