lax.cpp/internals/testing/functional_test.cpp at 69f558efb7f9224691bb93de54e5417be9f1ba65 · per-framework/lax.cpp · GitHub

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
#include "lax_v1/arithmetic.hpp"
#include "lax_v1/functional.hpp"

#include "config.hpp"

static_assert(lax::value_of_v<lax::apply_m<
                  lax::compose_m<lax::fn_t<lax::neg_m>, lax::fn_t<lax::neg_m>>,
                  lax::value_t<int, 2>>> == 2);

static_assert(
    lax::value_of_v<lax::apply_m<
        lax::compose_m<lax::fn_t<lax::add_m, 2, lax::value_t<int, 1>>,
                       lax::fn_t<lax::neg_m>,
                       lax::fn_t<lax::add_m, 2, lax::value_t<int, -1>>>,
        lax::value_t<int, 1>>> == 1);

static_assert(lax::value_of_v<lax::apply_m<
                  lax::pipe_m<lax::fn_t<lax::add_m, 2, lax::value_t<int, 1>>,
                              lax::fn_t<lax::neg_m>,
                              lax::fn_t<lax::add_m, 2, lax::value_t<int, -1>>>,
                  lax::value_t<int, 1>>> == -3);

static_assert(
    lax::value_of_v<
        lax::thru_m<lax::value_t<int, 1>,
                    lax::fn_t<lax::add_m, 2, lax::value_t<int, 1>>,
                    lax::fn_t<lax::neg_m>,
                    lax::fn_t<lax::add_m, 2, lax::value_t<int, -1>>>> == -3);