use devela_macros::compile;

/* unary */

#[compile(true)]
fn compiled() {}
#[compile(false)]
fn not_compiled() {}
// #[compile(something_unrecognized)]
// fn panics() {}

// not()
#[compile(not(false))]
fn compiled_not() {}
#[compile(not(true))]
fn not_compiled_not() {}
// #[compile(not(something_unrecognized))]
// fn panics() {}

/* binary */

// equal()
#[compile(true)]
fn compiled_equal() {}
#[compile(equal(true, false))]
fn not_compiled_equal() {}

// not(equal())
#[compile(not(equal(true, false)))]
fn compiled_not_equal() {}
#[compile(not(equal(true, true)))]
fn not_compiled_not_equal() {}

// xor()
#[compile(xor(true, false))]
fn compiled_xor() {}
#[compile(xor(true, true))]
fn not_compiled_xor() {}

// eq()
#[compile(eq(5, 5))]
fn compiled_eq() {}
#[compile(eq(6, 5))]
fn not_compiled_eq() {}

// ne()
#[compile(ne(6, 5))]
fn compiled_ne() {}
#[compile(ne(5, 5))]
fn not_compiled_ne() {}

// ge()
#[compile(ge(5, 5))]
fn compiled_ge() {}
#[compile(ge(2, 5))]
fn not_compiled_ge() {}

// gt()
#[compile(gt(4, 3))]
fn compiled_gt() {}
#[compile(any(gt(5, 5), gt(2, 5)))]
fn not_compiled_gt() {}

// le()
#[compile(all(le(2, 5), le(5, 5)))]
fn compiled_le() {}
#[compile(le(5, 2))]
fn not_compiled_le() {}

// lt()
#[compile(lt(2, 5))]
fn compiled_lt() {}
#[compile(any(lt(5, 5), lt(5, 2)))]
fn not_compiled_lt() {}

/* non-binary */

// any()
#[compile(any(true, false))]
fn compiled_any() {}
#[compile(any(false, false))]
fn not_compiled_any() {}

// all()
#[compile(all(true, true, none(), some(thing), not(none(thing))))]
fn compiled_all() {}
#[compile(all(true, false))]
fn not_compiled_all() {}

// diff()
#[compile(diff(ABC, DEF))]
fn compiled_diff() {}
#[compile(diff(true, true))]
fn not_compiled_diff() {}

// same()
#[compile(same(ABC, ABC))]
fn compiled_same() {}
#[compile(same(ABC, DEF))]
fn not_compiled_same() {}

// none()
#[compile(none())]
fn compiled_none() {}
#[compile(none(thing))]
fn not_compiled_none() {}

// some()
#[compile(some(thing))]
fn compiled_some() {}
#[compile(some())]
fn not_compiled_some() {}

// xany()
#[compile(xany(true, false, true, true))]
fn compiled_xany() {}
#[compile(xany(true, true, true, true))]
fn not_compiled_xany() {}

// xodd()
#[compile(xodd(true, true, true, false))]
fn compiled_xodd() {}
#[compile(xodd(true, true, false, false))]
fn not_compiled_xodd() {}

// xone()
#[compile(xone(true, false, false, false))]
fn compiled_xone() {}
#[compile(xone(true, true, true, false))]
fn not_compiled_xone() {}

// nested
#[compile(all(true, not(any(some(), none(thing), not(not(false))))))]
fn compiled_nested() {}
#[compile(all(true, not(any(some(), none(thing), true))))]
fn not_compiled_nested() {}

fn main() {
    /* unary */

    compiled();
    compiled_not();
    // not_compiled()
    // not_compiled_not();

    /* binary */

    compiled_equal();
    compiled_not_equal();
    compiled_xor();
    //
    compiled_eq();
    compiled_ne();
    compiled_gt();
    compiled_ge();
    compiled_lt();
    compiled_le();
    // not_compiled_equal();
    // not_compiled_not_equal();
    // not_compiled_xor();
    //
    // not_compiled_eq();
    // not_compiled_ne();
    // not_compiled_gt();
    // not_compiled_ge();
    // not_compiled_lt();
    // not_compiled_le();

    /* non-binary */

    compiled_any();
    compiled_all();
    compiled_none();
    compiled_some();
    compiled_diff();
    compiled_same();
    compiled_xany();
    compiled_xodd();
    compiled_xone();
    compiled_nested();
    // not_compiled_any();
    // not_compiled_all();
    // not_compiled_none();
    // not_compiled_some();
    // not_compiled_diff();
    // not_compiled_same();
    // not_compiled_xany();
    // not_compiled_xodd();
    // not_compiled_xone();
    // not_compiled_nested();
}