mirror of
https://github.com/BlackMATov/kari.hpp.git
synced 2025-12-13 04:56:49 +07:00
108 lines
3.3 KiB
C++
108 lines
3.3 KiB
C++
/*******************************************************************************
|
|
* This file is part of the "https://github.com/BlackMATov/kari.hpp"
|
|
* For conditions of distribution and use, see copyright notice in LICENSE.md
|
|
* Copyright (C) 2017-2025, by Matvey Cherevko (blackmatov@gmail.com)
|
|
******************************************************************************/
|
|
|
|
#include "kari_tests.hpp"
|
|
|
|
using namespace kari_hpp;
|
|
using namespace kari_hpp::ext;
|
|
|
|
TEST_CASE("kari_ext") {
|
|
struct box final {
|
|
int v;
|
|
constexpr box(int nv): v(nv) {}
|
|
};
|
|
|
|
SUBCASE("fid") {
|
|
STATIC_CHECK(fid(box(10)).v == 10);
|
|
}
|
|
|
|
SUBCASE("fconst") {
|
|
STATIC_CHECK(fconst(box(10), 20).v == 10);
|
|
{
|
|
constexpr auto f = fconst(box(10));
|
|
STATIC_CHECK(f(20).v == 10);
|
|
}
|
|
}
|
|
|
|
SUBCASE("fflip") {
|
|
using namespace underscore;
|
|
STATIC_CHECK(fflip(_ - _)(10, 20) == 10);
|
|
}
|
|
|
|
SUBCASE("fpipe") {
|
|
using namespace underscore;
|
|
STATIC_CHECK(fpipe(_+2, _*2, 4) == 12);
|
|
STATIC_CHECK(((_+2) | (_*2) | 4) == 12);
|
|
STATIC_CHECK((4 | (_+2) | (_*2)) == 12);
|
|
}
|
|
|
|
SUBCASE("fcompose") {
|
|
using namespace underscore;
|
|
STATIC_CHECK(fcompose(_+2, _*2, 4) == 10);
|
|
STATIC_CHECK((_+2) * (_*2) * 4 == 10);
|
|
STATIC_CHECK(4 * (_+2) * (_*2) == 12);
|
|
{
|
|
constexpr auto s3 = [](int v1, int v2, int v3){
|
|
return v1 + v2 + v3;
|
|
};
|
|
constexpr auto c = curry(s3) * (_*2) * 10 * 20 * 30;
|
|
STATIC_CHECK(c == 70);
|
|
}
|
|
{
|
|
// (. (+2)) (*2) $ 10 == 24
|
|
constexpr int i = fflip(fcompose)(_+2, _*2, 10);
|
|
constexpr int j = (_*(_+2))(_*2)(10);
|
|
STATIC_CHECK(i == 24);
|
|
STATIC_CHECK(j == 24);
|
|
}
|
|
{
|
|
// ((+2) .) (*2) $ 10 == 24
|
|
constexpr int i = fcompose(_+2)(_*2, 10);
|
|
constexpr int j = ((_+2) * _)(_*2)(10);
|
|
STATIC_CHECK(i == 22);
|
|
STATIC_CHECK(j == 22);
|
|
}
|
|
}
|
|
|
|
SUBCASE("underscore") {
|
|
using namespace underscore;
|
|
STATIC_CHECK((-_)(40) == -40);
|
|
|
|
STATIC_CHECK((_ + 40)(2) == 42);
|
|
STATIC_CHECK((_ - 2)(44) == 42);
|
|
STATIC_CHECK((_ * 21)(2) == 42);
|
|
STATIC_CHECK((_ / 2)(84) == 42);
|
|
STATIC_CHECK((_ % 100)(142) == 42);
|
|
|
|
STATIC_CHECK((_ == 42)(42));
|
|
STATIC_CHECK((_ != 42)(40));
|
|
STATIC_CHECK_FALSE((_ == 42)(40));
|
|
STATIC_CHECK_FALSE((_ != 42)(42));
|
|
|
|
STATIC_CHECK((40 + _)(2) == 42);
|
|
STATIC_CHECK((44 - _)(2) == 42);
|
|
STATIC_CHECK((21 * _)(2) == 42);
|
|
STATIC_CHECK((84 / _)(2) == 42);
|
|
STATIC_CHECK((142 % _)(100) == 42);
|
|
|
|
STATIC_CHECK((42 == _)(42));
|
|
STATIC_CHECK((42 != _)(40));
|
|
STATIC_CHECK_FALSE((42 == _)(40));
|
|
STATIC_CHECK_FALSE((42 != _)(42));
|
|
|
|
STATIC_CHECK((_ + _)(40,2) == 42);
|
|
STATIC_CHECK((_ - _)(44,2) == 42);
|
|
STATIC_CHECK((_ * _)(21,2) == 42);
|
|
STATIC_CHECK((_ / _)(84,2) == 42);
|
|
STATIC_CHECK((_ % _)(142,100) == 42);
|
|
|
|
STATIC_CHECK((_ == _)(42,42));
|
|
STATIC_CHECK((_ != _)(42,40));
|
|
STATIC_CHECK_FALSE((_ == _)(42,40));
|
|
STATIC_CHECK_FALSE((_ != _)(42,42));
|
|
}
|
|
}
|