Merge pull request #15 from BlackMATov/dev

Dev
2025-12-13 04:56:49 +07:00 · 2023-01-07 16:22:06 +07:00
parent 3b9dea6dc7 fb15de07c7
commit 87e18d02e6
32 changed files with 855 additions and 6656 deletions
--- a/.ci/build_coverage.sh
+++ b/.ci/build_coverage.sh
@@ -1,19 +0,0 @@
-#!/bin/bash
-set -e
-DIR="$( cd "$( dirname "${BASH_SOURCE}" )" && pwd )"
-
-ROOT_DIR="${DIR}/.."
-BUILD_DIR="${ROOT_DIR}/build/coverage"
-
-mkdir -p "${BUILD_DIR}"
-(cd "${BUILD_DIR}" && cmake "${ROOT_DIR}" -DCMAKE_BUILD_TYPE=Debug -DBUILD_WITH_COVERAGE=ON)
-(cd "${BUILD_DIR}" && cmake --build .)
-
-(cd "${BUILD_DIR}" && lcov -d . -z)
-(cd "${BUILD_DIR}" && ctest --verbose)
-
-(cd "${BUILD_DIR}" && lcov -d . -c -o "coverage.info")
-(cd "${BUILD_DIR}" && lcov -r "coverage.info" "*/usr/*" "*/untests/*" -o "coverage.info")
-(cd "${BUILD_DIR}" && lcov -l "coverage.info")
-
-bash <(curl -s https://codecov.io/bash) -f "${BUILD_DIR}/coverage.info" || echo "Codecov did not collect coverage reports"
--- a/.ci/build_darwin.sh
+++ b/.ci/build_darwin.sh
@@ -1,11 +0,0 @@
-#!/bin/bash
-set -e
-DIR="$( cd "$( dirname "${BASH_SOURCE}" )" && pwd )"
-
-ROOT_DIR="${DIR}/.."
-BUILD_DIR="${ROOT_DIR}/build/darwin_release"
-
-mkdir -p "${BUILD_DIR}"
-(cd "${BUILD_DIR}" && cmake "${ROOT_DIR}" -DCMAKE_BUILD_TYPE=Release)
-(cd "${BUILD_DIR}" && cmake --build .)
-(cd "${BUILD_DIR}" && ctest --verbose)
--- a/.ci/build_linux.sh
+++ b/.ci/build_linux.sh
@@ -1,11 +0,0 @@
-#!/bin/bash
-set -e
-DIR="$( cd "$( dirname "${BASH_SOURCE}" )" && pwd )"
-
-ROOT_DIR="${DIR}/.."
-BUILD_DIR="${ROOT_DIR}/build/linux_release"
-
-mkdir -p "${BUILD_DIR}"
-(cd "${BUILD_DIR}" && cmake "${ROOT_DIR}" -DCMAKE_BUILD_TYPE=Release)
-(cd "${BUILD_DIR}" && cmake --build .)
-(cd "${BUILD_DIR}" && ctest --verbose)
--- a/.ci/build_windows_x64.bat
+++ b/.ci/build_windows_x64.bat
@@ -1,19 +0,0 @@
-@echo off
-set DIR=%~dp0
-
-set ROOT_DIR=%DIR%..\
-set BUILD_DIR=%ROOT_DIR%build\windows_release_x64\
-
-if not exist %BUILD_DIR% mkdir %BUILD_DIR% || goto :error
-
-pushd %BUILD_DIR% || goto :error
-cmake %ROOT_DIR% -A x64 || goto :error
-cmake --build . --config Release || goto :error
-ctest --verbose || goto :error
-popd || goto :error
-
-goto :EOF
-
-:error
-echo Failed with error #%errorlevel%.
-exit /b %errorlevel%
--- a/.ci/build_windows_x86.bat
+++ b/.ci/build_windows_x86.bat
@@ -1,19 +0,0 @@
-@echo off
-set DIR=%~dp0
-
-set ROOT_DIR=%DIR%..\
-set BUILD_DIR=%ROOT_DIR%build\windows_release_x86\
-
-if not exist %BUILD_DIR% mkdir %BUILD_DIR% || goto :error
-
-pushd %BUILD_DIR% || goto :error
-cmake %ROOT_DIR% -A Win32 || goto :error
-cmake --build . --config Release || goto :error
-ctest --verbose || goto :error
-popd || goto :error
-
-goto :EOF
-
-:error
-echo Failed with error #%errorlevel%.
-exit /b %errorlevel%
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -1,14 +0,0 @@
-name: coverage
-
-on: [push, pull_request]
-
-jobs:
-  build:
-    runs-on: macos-10.15
-    name: "coverage"
-    steps:
-    - uses: actions/checkout@v2
-    - name: Install lcov by Homebrew
-      run: brew install lcov
-    - name: Build && Test && Upload
-      run: .ci/build_coverage.sh
--- a/.github/workflows/darwin.yml
+++ b/.github/workflows/darwin.yml
@@ -10,13 +10,22 @@ jobs:
      matrix:
        config:
        # https://github.com/actions/virtual-environments/tree/main/images/macos
-        - { os: "macos-10.15", xcode: "10.3" }
-        - { os: "macos-10.15", xcode: "11.7" }
-        - { os: "macos-10.15", xcode: "12.4" }
+        - { os: "macos-10.15", xcode: "10.3", arch: "x64" }
+        - { os: "macos-12", xcode: "14.2", arch: "x64" }
    name: "xcode-${{matrix.config.xcode}}"
    steps:
-    - uses: actions/checkout@v2
+    - name: Setup
+      run: brew install cmake ninja
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        submodules: true
    - name: Select Xcode
      run: sudo xcode-select --switch "/Applications/Xcode_${{matrix.config.xcode}}.app"
-    - name: Build && Test
-      run: .ci/build_darwin.sh
+    - name: Build
+      run: |
+        cmake --preset macos-${{matrix.config.arch}}
+        cmake --build --preset macos-${{matrix.config.arch}}-release
+    - name: Test
+      run: |
+        ctest --preset macos-${{matrix.config.arch}}-release
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -11,19 +11,21 @@ jobs:
        config:
        # https://github.com/actions/virtual-environments/tree/main/images/linux
        - { os: "ubuntu-20.04", cc: "gcc-7", cxx: "g++-7" }
-        - { os: "ubuntu-20.04", cc: "gcc-8", cxx: "g++-8" }
-        - { os: "ubuntu-20.04", cc: "gcc-9", cxx: "g++-9" }
-        - { os: "ubuntu-20.04", cc: "gcc-10", cxx: "g++-10" }
        - { os: "ubuntu-20.04", cc: "clang-7", cxx: "clang++-7" }
-        - { os: "ubuntu-20.04", cc: "clang-8", cxx: "clang++-8" }
-        - { os: "ubuntu-20.04", cc: "clang-9", cxx: "clang++-9" }
-        - { os: "ubuntu-20.04", cc: "clang-10", cxx: "clang++-10" }
+        - { os: "ubuntu-22.04", cc: "gcc-12", cxx: "g++-12" }
+        - { os: "ubuntu-22.04", cc: "clang-14", cxx: "clang++-14" }
    name: "${{matrix.config.cxx}}"
    steps:
    - name: Setup
-      run: sudo apt-get -y install "${{matrix.config.cc}}" "${{matrix.config.cxx}}"
+      run: sudo apt-get -y install cmake ninja-build ${{matrix.config.cc}} ${{matrix.config.cxx}}
    - name: Checkout
-      uses: actions/checkout@v2
-    - name: Build && Test
-      run: .ci/build_linux.sh
-      env: { CC: "${{matrix.config.cc}}", CXX: "${{matrix.config.cxx}}" }
+      uses: actions/checkout@v3
+      with:
+        submodules: true
+    - name: Build
+      run: |
+        cmake --preset linux-${{matrix.config.cc}}
+        cmake --build --preset linux-${{matrix.config.cc}}-release
+    - name: Test
+      run: |
+        ctest --preset linux-${{matrix.config.cc}}-release
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -10,12 +10,24 @@ jobs:
      matrix:
        config:
        # https://github.com/actions/virtual-environments/tree/main/images/win
-        - { os: "windows-2016", vs: "Visual Studio 2017", arch: "x86" }
-        - { os: "windows-2016", vs: "Visual Studio 2017", arch: "x64" }
-        - { os: "windows-2019", vs: "Visual Studio 2019", arch: "x86" }
-        - { os: "windows-2019", vs: "Visual Studio 2019", arch: "x64" }
-    name: "${{matrix.config.vs}} ${{matrix.config.arch}}"
+        - { os: "windows-2019", vc: "msvc2019", arch: "x86" }
+        - { os: "windows-2019", vc: "msvc2019", arch: "x64" }
+        - { os: "windows-2022", vc: "msvc2022", arch: "x86" }
+        - { os: "windows-2022", vc: "msvc2022", arch: "x64" }
+    name: "${{matrix.config.vc}} ${{matrix.config.arch}}"
    steps:
-    - uses: actions/checkout@v2
-    - name: Build && Test
-      run: .ci\build_windows_${{matrix.config.arch}}.bat
+    - name: Setup
+      run: choco install cmake ninja
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        submodules: true
+    - name: Select MSVC
+      uses: ilammy/msvc-dev-cmd@v1
+    - name: Build
+      run: |
+        cmake --preset windows-${{matrix.config.arch}}-${{matrix.config.vc}}
+        cmake --build --preset windows-${{matrix.config.arch}}-${{matrix.config.vc}}-release
+    - name: Test
+      run: |
+        ctest --preset windows-${{matrix.config.arch}}-${{matrix.config.vc}}-release
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 build/*
-.vscode/*
+install/*
+.clangd/*
 CMakeLists.txt.user
--- a/.gitmodules
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "vendors/doctest"]
+	path = vendors/doctest
+	url = https://github.com/doctest/doctest/
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -0,0 +1,11 @@
+{
+    "version": "0.2.0",
+    "configurations": [{
+        "name": "LLDB Debug",
+        "type": "lldb",
+        "request": "launch",
+        "program": "${command:cmake.launchTargetPath}",
+        "args": [],
+        "cwd": "${workspaceFolder}"
+    }]
+}
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -0,0 +1,29 @@
+{
+    "[cpp]": {
+        "files.encoding": "utf8",
+        "files.insertFinalNewline": true,
+        "files.trimFinalNewlines": true,
+        "files.trimTrailingWhitespace": true
+    },
+    "[cmake]": {
+        "files.encoding": "utf8",
+        "files.insertFinalNewline": true,
+        "files.trimFinalNewlines": true,
+        "files.trimTrailingWhitespace": true
+    },
+    "[python]": {
+        "files.encoding": "utf8",
+        "files.insertFinalNewline": true,
+        "files.trimFinalNewlines": true,
+        "files.trimTrailingWhitespace": true
+    },
+    "clangd.arguments": [
+        "--all-scopes-completion",
+        "--background-index",
+        "--clang-tidy",
+        "--compile-commands-dir=${workspaceFolder}/.clangd",
+        "--completion-style=detailed",
+        "--header-insertion=never"
+    ],
+    "cmake.copyCompileCommands": "${workspaceFolder}/.clangd/compile_commands.json"
+}
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,31 +1,95 @@
-# 3.8 version is required for `cxx_std_17`
-cmake_minimum_required(VERSION 3.8 FATAL_ERROR)
+cmake_minimum_required(VERSION 3.21 FATAL_ERROR)

-if(NOT DEFINED PROJECT_NAME)
-    set(BUILD_AS_STANDALONE ON)
-else()
-    set(BUILD_AS_STANDALONE OFF)
-endif()
+project(kari.hpp
+    VERSION "0.0.1"
+    DESCRIPTION "Experimental library for currying in C++17"
+    HOMEPAGE_URL "https://github.com/blackmatov/kari.hpp")

-project(kari.hpp)
+#
+# LIBRARY
+#

 add_library(${PROJECT_NAME} INTERFACE)
-target_include_directories(${PROJECT_NAME} INTERFACE headers)
-target_compile_features(${PROJECT_NAME} INTERFACE cxx_std_17)
+add_library(kari.hpp::kari.hpp ALIAS ${PROJECT_NAME})

-target_compile_options(${PROJECT_NAME}
-    INTERFACE
-    $<$<OR:$<CXX_COMPILER_ID:Clang>,$<CXX_COMPILER_ID:AppleClang>>:
-        -Wno-c++98-compat-pedantic
-        -Wno-ctad-maybe-unsupported
-        -Wno-padded
-        -Wno-poison-system-directories
-        -Wno-unknown-warning-option>)
+target_compile_features(${PROJECT_NAME} INTERFACE
+    cxx_std_17)

-if(BUILD_AS_STANDALONE)
-    option(BUILD_WITH_UNTESTS "Build with unit tests" ON)
-    if(BUILD_WITH_UNTESTS)
-        enable_testing()
-        add_subdirectory(untests)
-    endif()
+target_include_directories(${PROJECT_NAME} INTERFACE
+    $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/headers>
+    $<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
+
+#
+# INSTALL
+#
+
+if(PROJECT_IS_TOP_LEVEL)
+    include(CMakePackageConfigHelpers)
+    include(GNUInstallDirs)
+
+    set(KARI_HPP_INSTALL_CONFIG_DIR
+        "${CMAKE_INSTALL_LIBDIR}/cmake/${PROJECT_NAME}")
+
+    set(KARI_HPP_INSTALL_CONFIG_INPUT
+        "${CMAKE_CURRENT_SOURCE_DIR}/cmake/Config.cmake.in")
+
+    set(KARI_HPP_INSTALL_GENERATED_CONFIG_CMAKE
+        "${CMAKE_CURRENT_BINARY_DIR}/generated/${PROJECT_NAME}-config.cmake")
+
+    set(KARI_HPP_INSTALL_GENERATED_CONFIG_VERSION_CMAKE
+        "${CMAKE_CURRENT_BINARY_DIR}/generated/${PROJECT_NAME}-config-version.cmake")
+
+    configure_package_config_file(
+        "${KARI_HPP_INSTALL_CONFIG_INPUT}"
+        "${KARI_HPP_INSTALL_GENERATED_CONFIG_CMAKE}"
+        INSTALL_DESTINATION "${KARI_HPP_INSTALL_CONFIG_DIR}"
+        NO_SET_AND_CHECK_MACRO
+        NO_CHECK_REQUIRED_COMPONENTS_MACRO)
+
+    write_basic_package_version_file(
+        "${KARI_HPP_INSTALL_GENERATED_CONFIG_VERSION_CMAKE}"
+        VERSION ${PROJECT_VERSION}
+        COMPATIBILITY AnyNewerVersion
+        ARCH_INDEPENDENT)
+
+    install(
+        TARGETS ${PROJECT_NAME}
+        EXPORT ${PROJECT_NAME}-targets
+        INCLUDES DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}")
+
+    install(
+        DIRECTORY headers/${PROJECT_NAME}
+        DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}")
+
+    install(
+        EXPORT ${PROJECT_NAME}-targets
+        FILE ${PROJECT_NAME}-targets.cmake
+        NAMESPACE ${PROJECT_NAME}::
+        DESTINATION "${KARI_HPP_INSTALL_CONFIG_DIR}")
+
+    install(
+        FILES "${KARI_HPP_INSTALL_GENERATED_CONFIG_CMAKE}"
+              "${KARI_HPP_INSTALL_GENERATED_CONFIG_VERSION_CMAKE}"
+        DESTINATION "${KARI_HPP_INSTALL_CONFIG_DIR}")
+endif()
+
+#
+# DEVELOPER
+#
+
+if(PROJECT_IS_TOP_LEVEL)
+    option(BUILD_WITH_COVERAGE "Build with coverage" OFF)
+    option(BUILD_WITH_SANITIZERS "Build with sanitizers" OFF)
+
+    enable_testing()
+    set_property(GLOBAL PROPERTY USE_FOLDERS ON)
+    set_property(GLOBAL PROPERTY PREDEFINED_TARGETS_FOLDER "CMake")
+    list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_SOURCE_DIR}/cmake")
+
+    include(EnableASan)
+    include(EnableGCov)
+    include(EnableUBSan)
+
+    add_subdirectory(vendors)
+    add_subdirectory(untests)
 endif()
--- a/CMakePresets.json
+++ b/CMakePresets.json
@@ -0,0 +1,342 @@
+{
+    "version": 3,
+
+    "cmakeMinimumRequired": {
+        "major": 3,
+        "minor": 21,
+        "patch": 0
+    },
+
+    "configurePresets": [
+        {
+            "name": "ninja-base",
+            "hidden": true,
+            "generator": "Ninja Multi-Config",
+            "binaryDir": "${sourceDir}/build/${presetName}",
+            "installDir": "${sourceDir}/install/${presetName}",
+            "cacheVariables": {
+                "CMAKE_EXPORT_COMPILE_COMMANDS": true
+            }
+        },
+        {
+            "name": "linux-base",
+            "hidden": true,
+            "inherits": "ninja-base",
+            "condition": {
+                "type": "equals",
+                "lhs": "${hostSystemName}",
+                "rhs": "Linux"
+            }
+        },
+        {
+            "name": "linux-clang-7",
+            "inherits": "linux-base",
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "clang-7",
+                "CMAKE_CXX_COMPILER": "clang++-7"
+            }
+        },
+        {
+            "name": "linux-clang-14",
+            "inherits": "linux-base",
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "clang-14",
+                "CMAKE_CXX_COMPILER": "clang++-14"
+            }
+        },
+        {
+            "name": "linux-gcc-7",
+            "inherits": "linux-base",
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "gcc-7",
+                "CMAKE_CXX_COMPILER": "g++-7"
+            }
+        },
+        {
+            "name": "linux-gcc-12",
+            "inherits": "linux-base",
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "gcc-12",
+                "CMAKE_CXX_COMPILER": "g++-12"
+            }
+        },
+        {
+            "name": "macos-base",
+            "hidden": true,
+            "inherits": "ninja-base",
+            "condition": {
+                "type": "equals",
+                "lhs": "${hostSystemName}",
+                "rhs": "Darwin"
+            }
+        },
+        {
+            "name": "macos-arm64",
+            "inherits": "macos-base",
+            "architecture": {
+                "value": "arm64",
+                "strategy": "external"
+            }
+        },
+        {
+            "name": "macos-arm64-san",
+            "inherits": "macos-arm64",
+            "cacheVariables": {
+                "BUILD_WITH_SANITIZERS": true
+            }
+        },
+        {
+            "name": "macos-x64",
+            "inherits": "macos-base",
+            "architecture": {
+                "value": "x64",
+                "strategy": "external"
+            }
+        },
+        {
+            "name": "macos-x64-san",
+            "inherits": "macos-x64",
+            "cacheVariables": {
+                "BUILD_WITH_SANITIZERS": true
+            }
+        },
+        {
+            "name": "windows-base",
+            "hidden": true,
+            "inherits": "ninja-base",
+            "condition": {
+                "type": "equals",
+                "lhs": "${hostSystemName}",
+                "rhs": "Windows"
+            }
+        },
+        {
+            "name": "windows-x86-msvc2019",
+            "inherits": "windows-base",
+            "architecture": {
+                "value": "x86",
+                "strategy": "external"
+            },
+            "toolset": {
+                "value": "v142,host=x64",
+                "strategy": "external"
+            },
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "cl",
+                "CMAKE_CXX_COMPILER": "cl"
+            }
+        },
+        {
+            "name": "windows-x64-msvc2019",
+            "inherits": "windows-base",
+            "architecture": {
+                "value": "x64",
+                "strategy": "external"
+            },
+            "toolset": {
+                "value": "v142,host=x64",
+                "strategy": "external"
+            },
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "cl",
+                "CMAKE_CXX_COMPILER": "cl"
+            }
+        },
+        {
+            "name": "windows-x86-msvc2022",
+            "inherits": "windows-base",
+            "architecture": {
+                "value": "x86",
+                "strategy": "external"
+            },
+            "toolset": {
+                "value": "v143,host=x64",
+                "strategy": "external"
+            },
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "cl",
+                "CMAKE_CXX_COMPILER": "cl"
+            }
+        },
+        {
+            "name": "windows-x64-msvc2022",
+            "inherits": "windows-base",
+            "architecture": {
+                "value": "x64",
+                "strategy": "external"
+            },
+            "toolset": {
+                "value": "v143,host=x64",
+                "strategy": "external"
+            },
+            "cacheVariables": {
+                "CMAKE_C_COMPILER": "cl",
+                "CMAKE_CXX_COMPILER": "cl"
+            }
+        }
+    ],
+
+    "buildPresets": [
+        {
+            "name": "linux-clang-7-debug",
+            "configuration": "Debug",
+            "configurePreset": "linux-clang-7"
+        },
+        {
+            "name": "linux-clang-7-release",
+            "configuration": "Release",
+            "configurePreset": "linux-clang-7"
+        },
+        {
+            "name": "linux-clang-14-debug",
+            "configuration": "Debug",
+            "configurePreset": "linux-clang-14"
+        },
+        {
+            "name": "linux-clang-14-release",
+            "configuration": "Release",
+            "configurePreset": "linux-clang-14"
+        },
+        {
+            "name": "linux-gcc-7-debug",
+            "configuration": "Debug",
+            "configurePreset": "linux-gcc-7"
+        },
+        {
+            "name": "linux-gcc-7-release",
+            "configuration": "Release",
+            "configurePreset": "linux-gcc-7"
+        },
+        {
+            "name": "linux-gcc-12-debug",
+            "configuration": "Debug",
+            "configurePreset": "linux-gcc-12"
+        },
+        {
+            "name": "linux-gcc-12-release",
+            "configuration": "Release",
+            "configurePreset": "linux-gcc-12"
+        },
+        {
+            "name": "macos-arm64-debug",
+            "configuration": "Debug",
+            "configurePreset": "macos-arm64-san"
+        },
+        {
+            "name": "macos-arm64-release",
+            "configuration": "Release",
+            "configurePreset": "macos-arm64"
+        },
+        {
+            "name": "macos-x64-debug",
+            "configuration": "Debug",
+            "configurePreset": "macos-x64-san"
+        },
+        {
+            "name": "macos-x64-release",
+            "configuration": "Release",
+            "configurePreset": "macos-x64"
+        },
+        {
+            "name": "windows-x86-msvc2019-debug",
+            "configuration": "Debug",
+            "configurePreset": "windows-x86-msvc2019"
+        },
+        {
+            "name": "windows-x86-msvc2019-release",
+            "configuration": "Release",
+            "configurePreset": "windows-x86-msvc2019"
+        },
+        {
+            "name": "windows-x64-msvc2019-debug",
+            "configuration": "Debug",
+            "configurePreset": "windows-x64-msvc2019"
+        },
+        {
+            "name": "windows-x64-msvc2019-release",
+            "configuration": "Release",
+            "configurePreset": "windows-x64-msvc2019"
+        },
+        {
+            "name": "windows-x86-msvc2022-debug",
+            "configuration": "Debug",
+            "configurePreset": "windows-x86-msvc2022"
+        },
+        {
+            "name": "windows-x86-msvc2022-release",
+            "configuration": "Release",
+            "configurePreset": "windows-x86-msvc2022"
+        },
+        {
+            "name": "windows-x64-msvc2022-debug",
+            "configuration": "Debug",
+            "configurePreset": "windows-x64-msvc2022"
+        },
+        {
+            "name": "windows-x64-msvc2022-release",
+            "configuration": "Release",
+            "configurePreset": "windows-x64-msvc2022"
+        }
+    ],
+
+    "testPresets": [
+        {
+            "name": "test-base",
+            "hidden": true,
+            "output": {
+                "verbosity": "verbose"
+            },
+            "configuration": "Release"
+        },
+        {
+            "name": "linux-clang-7-release",
+            "inherits": "test-base",
+            "configurePreset": "linux-clang-7"
+        },
+        {
+            "name": "linux-clang-14-release",
+            "inherits": "test-base",
+            "configurePreset": "linux-clang-14"
+        },
+        {
+            "name": "linux-gcc-7-release",
+            "inherits": "test-base",
+            "configurePreset": "linux-gcc-7"
+        },
+        {
+            "name": "linux-gcc-12-release",
+            "inherits": "test-base",
+            "configurePreset": "linux-gcc-12"
+        },
+        {
+            "name": "macos-arm64-release",
+            "inherits": "test-base",
+            "configurePreset": "macos-arm64"
+        },
+        {
+            "name": "macos-x64-release",
+            "inherits": "test-base",
+            "configurePreset": "macos-x64"
+        },
+        {
+            "name": "windows-x86-msvc2019-release",
+            "inherits": "test-base",
+            "configurePreset": "windows-x86-msvc2019"
+        },
+        {
+            "name": "windows-x64-msvc2019-release",
+            "inherits": "test-base",
+            "configurePreset": "windows-x64-msvc2019"
+        },
+        {
+            "name": "windows-x86-msvc2022-release",
+            "inherits": "test-base",
+            "configurePreset": "windows-x86-msvc2022"
+        },
+        {
+            "name": "windows-x64-msvc2022-release",
+            "inherits": "test-base",
+            "configurePreset": "windows-x64-msvc2022"
+        }
+    ]
+}
--- a/LICENSE.md
+++ b/LICENSE.md
@@ -1,6 +1,6 @@
 MIT License

-Copyright (C) 2017-2021, by Matvey Cherevko (blackmatov@gmail.com)
+Copyright (C) 2017-2023, by Matvey Cherevko (blackmatov@gmail.com)

 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
--- a/README.md
+++ b/README.md
@@ -5,21 +5,18 @@
 [![linux][badge.linux]][linux]
 [![darwin][badge.darwin]][darwin]
 [![windows][badge.windows]][windows]
-[![codecov][badge.codecov]][codecov]
 [![language][badge.language]][language]
 [![license][badge.license]][license]

-[badge.darwin]: https://img.shields.io/github/workflow/status/BlackMATov/kari.hpp/darwin/main?label=Xcode&logo=xcode
-[badge.linux]: https://img.shields.io/github/workflow/status/BlackMATov/kari.hpp/linux/main?label=GCC%2FClang&logo=linux
-[badge.windows]: https://img.shields.io/github/workflow/status/BlackMATov/kari.hpp/windows/main?label=Visual%20Studio&logo=visual-studio
-[badge.codecov]: https://img.shields.io/codecov/c/github/BlackMATov/kari.hpp/main?logo=codecov
+[badge.darwin]: https://img.shields.io/github/actions/workflow/status/BlackMATov/kari.hpp/.github/workflows/darwin.yml?label=Xcode&logo=xcode
+[badge.linux]: https://img.shields.io/github/actions/workflow/status/BlackMATov/kari.hpp/.github/workflows/linux.yml?label=GCC%2FClang&logo=linux
+[badge.windows]: https://img.shields.io/github/actions/workflow/status/BlackMATov/kari.hpp/.github/workflows/windows.yml?label=Visual%20Studio&logo=visual-studio
 [badge.language]: https://img.shields.io/badge/language-C%2B%2B17-yellow
 [badge.license]: https://img.shields.io/badge/license-MIT-blue

 [darwin]: https://github.com/BlackMATov/kari.hpp/actions?query=workflow%3Adarwin
 [linux]: https://github.com/BlackMATov/kari.hpp/actions?query=workflow%3Alinux
 [windows]: https://github.com/BlackMATov/kari.hpp/actions?query=workflow%3Awindows
-[codecov]: https://codecov.io/gh/BlackMATov/kari.hpp
 [language]: https://en.wikipedia.org/wiki/C%2B%2B17
 [license]: https://en.wikipedia.org/wiki/MIT_License

@@ -27,9 +24,10 @@

 ## Requirements

- [gcc](https://www.gnu.org/software/gcc/) **>= 7**
 - [clang](https://clang.llvm.org/) **>= 7**
- [msvc](https://visualstudio.microsoft.com/) **>= 2017**
+- [gcc](https://www.gnu.org/software/gcc/) **>= 7**
+- [msvc](https://visualstudio.microsoft.com/) **>= 2019**
+- [xcode](https://developer.apple.com/xcode/) **>= 10.3**

 ## Installation

@@ -44,7 +42,7 @@ Also, you can add the root repository directory to your [cmake](https://cmake.or

 ```cmake
 add_subdirectory(external/kari.hpp)
-target_link_libraries(your_project_target kari.hpp)
+target_link_libraries(your_project_target PUBLIC kari.hpp::kari.hpp)
 ```

 ## Examples
--- a/cmake/Config.cmake.in
+++ b/cmake/Config.cmake.in
@@ -0,0 +1,3 @@
+@PACKAGE_INIT@
+
+include("${CMAKE_CURRENT_LIST_DIR}/kari.hpp-targets.cmake")
--- a/cmake/EnableASan.cmake
+++ b/cmake/EnableASan.cmake
@@ -0,0 +1,16 @@
+# https://clang.llvm.org/docs/AddressSanitizer.html
+
+add_library(${PROJECT_NAME}.enable_asan INTERFACE)
+add_library(${PROJECT_NAME}::enable_asan ALIAS ${PROJECT_NAME}.enable_asan)
+
+target_compile_options(${PROJECT_NAME}.enable_asan INTERFACE
+    -fsanitize=address
+    -fno-omit-frame-pointer
+    -fsanitize-address-use-after-scope
+    -fsanitize-address-use-after-return=always)
+
+target_link_options(${PROJECT_NAME}.enable_asan INTERFACE
+    -fsanitize=address
+    -fno-omit-frame-pointer
+    -fsanitize-address-use-after-scope
+    -fsanitize-address-use-after-return=always)
--- a/cmake/EnableGCov.cmake
+++ b/cmake/EnableGCov.cmake
@@ -0,0 +1,10 @@
+# https://clang.llvm.org/docs/SourceBasedCodeCoverage.html
+
+add_library(${PROJECT_NAME}.enable_gcov INTERFACE)
+add_library(${PROJECT_NAME}::enable_gcov ALIAS ${PROJECT_NAME}.enable_gcov)
+
+target_compile_options(${PROJECT_NAME}.enable_gcov INTERFACE
+    --coverage)
+
+target_link_options(${PROJECT_NAME}.enable_gcov INTERFACE
+    --coverage)
--- a/cmake/EnableUBSan.cmake
+++ b/cmake/EnableUBSan.cmake
@@ -0,0 +1,12 @@
+# https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
+
+add_library(${PROJECT_NAME}.enable_ubsan INTERFACE)
+add_library(${PROJECT_NAME}::enable_ubsan ALIAS ${PROJECT_NAME}.enable_ubsan)
+
+target_compile_options(${PROJECT_NAME}.enable_ubsan INTERFACE
+    -fsanitize=undefined
+    -fno-omit-frame-pointer)
+
+target_link_options(${PROJECT_NAME}.enable_ubsan INTERFACE
+    -fsanitize=undefined
+    -fno-omit-frame-pointer)
--- a/headers/kari.hpp/kari.hpp
+++ b/headers/kari.hpp/kari.hpp
@@ -1,7 +1,7 @@
 /*******************************************************************************
 * 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-2021, by Matvey Cherevko (blackmatov@gmail.com)
+ * Copyright (C) 2017-2023, by Matvey Cherevko (blackmatov@gmail.com)
 ******************************************************************************/

 #pragma once
--- a/untests/CMakeLists.txt
+++ b/untests/CMakeLists.txt
@@ -1,34 +1,68 @@
 project(kari.hpp.untests)

-#
-# coverage
-#
-
-option(BUILD_WITH_COVERAGE "Build with coverage" OFF)
-if(BUILD_WITH_COVERAGE AND (CMAKE_CXX_COMPILER_ID MATCHES "GNU|Clang"))
-    set(COVERAGE_FLAGS "--coverage")
-    set(CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
-    set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
-    set(CMAKE_LINKER_FLAGS_DEBUG "${CMAKE_LINKER_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
-endif()
-
-#
-# executable
-#
-
 file(GLOB_RECURSE UNTESTS_SOURCES "*.cpp" "*.hpp")
-add_executable(${PROJECT_NAME} ${UNTESTS_SOURCES})
-target_link_libraries(${PROJECT_NAME} kari.hpp)
+source_group(TREE ${CMAKE_CURRENT_SOURCE_DIR} FILES ${UNTESTS_SOURCES})

-target_compile_options(${PROJECT_NAME}
-    PRIVATE
-    $<$<CXX_COMPILER_ID:MSVC>:
-        /WX /W4>
-    PRIVATE
-    $<$<CXX_COMPILER_ID:GNU>:
-        -Werror -Wall -Wextra -Wpedantic>
-    PRIVATE
-    $<$<OR:$<CXX_COMPILER_ID:Clang>,$<CXX_COMPILER_ID:AppleClang>>:
-        -Werror -Weverything -Wconversion>)
+add_executable(${PROJECT_NAME} ${UNTESTS_SOURCES})
+target_link_libraries(${PROJECT_NAME} PRIVATE kari.hpp::kari.hpp)
+
+#
+# setup defines
+#
+
+function(setup_defines_for_target TARGET)
+    target_compile_definitions(${TARGET} PRIVATE
+        DOCTEST_CONFIG_INCLUDE_TYPE_TRAITS
+        DOCTEST_CONFIG_USE_STD_HEADERS)
+endfunction()
+
+setup_defines_for_target(${PROJECT_NAME})
+
+#
+# setup libraries
+#
+
+function(setup_libraries_for_target TARGET)
+    target_link_libraries(${TARGET} PRIVATE doctest::doctest_with_main)
+
+    if(${BUILD_WITH_COVERAGE})
+        target_link_libraries(${TARGET} PRIVATE kari.hpp::enable_gcov)
+    endif()
+
+    if(${BUILD_WITH_SANITIZERS})
+        target_link_libraries(${TARGET} PRIVATE kari.hpp::enable_asan kari.hpp::enable_ubsan)
+    endif()
+endfunction()
+
+setup_libraries_for_target(${PROJECT_NAME})
+
+#
+# setup warnings
+#
+
+function(setup_warnings_for_target TARGET)
+    target_compile_options(${TARGET}
+        PRIVATE
+        $<$<CXX_COMPILER_ID:MSVC>:
+            /WX /W4>
+        PRIVATE
+        $<$<CXX_COMPILER_ID:GNU>:
+            -Werror -Wall -Wextra -Wpedantic>
+        PRIVATE
+        $<$<OR:$<CXX_COMPILER_ID:Clang>,$<CXX_COMPILER_ID:AppleClang>>:
+            -Werror -Weverything -Wconversion
+            -Wno-c++98-compat
+            -Wno-c++98-compat-pedantic
+            -Wno-ctad-maybe-unsupported
+            -Wno-padded
+            -Wno-unknown-warning-option
+            >)
+endfunction()
+
+setup_warnings_for_target(${PROJECT_NAME})
+
+#
+# add tests
+#

 add_test(${PROJECT_NAME} ${PROJECT_NAME})
--- a/untests/doctest/doctest.cpp
+++ b/untests/doctest/doctest.cpp
@@ -1,2 +0,0 @@
-#define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN
-#include "doctest.h"
--- a/untests/doctest/doctest.h
+++ b/untests/doctest/doctest.h
--- a/untests/doctest/doctest.hpp
+++ b/untests/doctest/doctest.hpp
@@ -1,11 +0,0 @@
-#pragma once
-
-#include "doctest.h"
-
-#define STATIC_REQUIRE(...)\
-    static_assert(__VA_ARGS__, #__VA_ARGS__);\
-    REQUIRE(__VA_ARGS__)
-
-#define STATIC_REQUIRE_FALSE(...)\
-    static_assert(!(__VA_ARGS__), "!(" #__VA_ARGS__ ")");\
-    REQUIRE(!(__VA_ARGS__))
--- a/untests/kari_examples.cpp
+++ b/untests/kari_examples.cpp
@@ -1,11 +1,10 @@
 /*******************************************************************************
 * 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-2021, by Matvey Cherevko (blackmatov@gmail.com)
+ * Copyright (C) 2017-2023, by Matvey Cherevko (blackmatov@gmail.com)
 ******************************************************************************/

-#include <kari.hpp/kari.hpp>
-#include "doctest/doctest.hpp"
+#include "kari_tests.hpp"

 #include <algorithm>
 #include <numeric>
@@ -90,8 +89,8 @@ TEST_CASE("kari_examples") {

        constexpr curry_t c = l;

-        STATIC_REQUIRE(is_curried_v<decltype(c)>);
-        STATIC_REQUIRE(is_curried<decltype(c)>::value);
+        STATIC_CHECK(is_curried_v<decltype(c)>);
+        STATIC_CHECK(is_curried<decltype(c)>::value);
    }

    SUBCASE("Section of operators") {
@@ -114,8 +113,8 @@ TEST_CASE("kari_examples") {
        constexpr auto r0 = (_*2) | (_+2) | 4; // (4 * 2) + 2 = 10
        constexpr auto r1 = 4 | (_*2) | (_+2); // (4 * 2 + 2) = 10

-        STATIC_REQUIRE(r0 == 10);
-        STATIC_REQUIRE(r1 == 10);
+        STATIC_CHECK(r0 == 10);
+        STATIC_CHECK(r1 == 10);
    }

    SUBCASE("Compose operator") {
@@ -125,8 +124,8 @@ TEST_CASE("kari_examples") {
        constexpr auto r0 = (_*2) * (_+2) * 4; // (4 + 2) * 2 = 12
        constexpr auto r1 = 4 * (_*2) * (_+2); // (4 * 2 + 2) = 10

-        STATIC_REQUIRE(r0 == 12);
-        STATIC_REQUIRE(r1 == 10);
+        STATIC_CHECK(r0 == 12);
+        STATIC_CHECK(r1 == 10);
    }

    SUBCASE("Point-free style") {
@@ -139,7 +138,7 @@ TEST_CASE("kari_examples") {
        // ((+2) .) (*2) $ 10 == 22 // haskell analog
        constexpr auto r1 = ((_+2)*_)(_*2) * 10;

-        STATIC_REQUIRE(r0 == 24);
-        STATIC_REQUIRE(r1 == 22);
+        STATIC_CHECK(r0 == 24);
+        STATIC_CHECK(r1 == 22);
    }
 }
--- a/untests/kari_ext_tests.cpp
+++ b/untests/kari_ext_tests.cpp
@@ -1,11 +1,10 @@
 /*******************************************************************************
 * 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-2021, by Matvey Cherevko (blackmatov@gmail.com)
+ * Copyright (C) 2017-2023, by Matvey Cherevko (blackmatov@gmail.com)
 ******************************************************************************/

-#include <kari.hpp/kari.hpp>
-#include "doctest/doctest.hpp"
+#include "kari_tests.hpp"

 using namespace kari_hpp;
 using namespace kari_hpp::ext;
@@ -17,92 +16,92 @@ TEST_CASE("kari_ext") {
    };

    SUBCASE("fid") {
-        STATIC_REQUIRE(fid(box(10)).v == 10);
+        STATIC_CHECK(fid(box(10)).v == 10);
    }

    SUBCASE("fconst") {
-        STATIC_REQUIRE(fconst(box(10), 20).v == 10);
+        STATIC_CHECK(fconst(box(10), 20).v == 10);
        {
            constexpr auto f = fconst(box(10));
-            STATIC_REQUIRE(f(20).v == 10);
+            STATIC_CHECK(f(20).v == 10);
        }
    }

    SUBCASE("fflip") {
        using namespace underscore;
-        STATIC_REQUIRE(fflip(_ - _)(10, 20) == 10);
+        STATIC_CHECK(fflip(_ - _)(10, 20) == 10);
    }

    SUBCASE("fpipe") {
        using namespace underscore;
-        STATIC_REQUIRE(fpipe(_+2, _*2, 4) == 12);
-        STATIC_REQUIRE(((_+2) | (_*2) | 4) == 12);
-        STATIC_REQUIRE((4 | (_+2) | (_*2)) == 12);
+        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_REQUIRE(fcompose(_+2, _*2, 4) == 10);
-        STATIC_REQUIRE((_+2) * (_*2) * 4 == 10);
-        STATIC_REQUIRE(4 * (_+2) * (_*2) == 12);
+        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_REQUIRE(c == 70);
+            STATIC_CHECK(c == 70);
        }
        {
            // (. (+2)) (*2) $ 10 == 24
            constexpr int i = fflip(fcompose)(_+2, _*2, 10);
            constexpr int j = (_*(_+2))(_*2)(10);
-            STATIC_REQUIRE(i == 24);
-            STATIC_REQUIRE(j == 24);
+            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_REQUIRE(i == 22);
-            STATIC_REQUIRE(j == 22);
+            STATIC_CHECK(i == 22);
+            STATIC_CHECK(j == 22);
        }
    }

    SUBCASE("underscore") {
        using namespace underscore;
-        STATIC_REQUIRE((-_)(40) == -40);
+        STATIC_CHECK((-_)(40) == -40);

-        STATIC_REQUIRE((_ + 40)(2) == 42);
-        STATIC_REQUIRE((_ - 2)(44) == 42);
-        STATIC_REQUIRE((_ * 21)(2) == 42);
-        STATIC_REQUIRE((_ / 2)(84) == 42);
-        STATIC_REQUIRE((_ % 100)(142) == 42);
+        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_REQUIRE((_ == 42)(42));
-        STATIC_REQUIRE((_ != 42)(40));
-        STATIC_REQUIRE_FALSE((_ == 42)(40));
-        STATIC_REQUIRE_FALSE((_ != 42)(42));
+        STATIC_CHECK((_ == 42)(42));
+        STATIC_CHECK((_ != 42)(40));
+        STATIC_CHECK_FALSE((_ == 42)(40));
+        STATIC_CHECK_FALSE((_ != 42)(42));

-        STATIC_REQUIRE((40 + _)(2) == 42);
-        STATIC_REQUIRE((44 - _)(2) == 42);
-        STATIC_REQUIRE((21 * _)(2) == 42);
-        STATIC_REQUIRE((84 / _)(2) == 42);
-        STATIC_REQUIRE((142 % _)(100) == 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_REQUIRE((42 == _)(42));
-        STATIC_REQUIRE((42 != _)(40));
-        STATIC_REQUIRE_FALSE((42 == _)(40));
-        STATIC_REQUIRE_FALSE((42 != _)(42));
+        STATIC_CHECK((42 == _)(42));
+        STATIC_CHECK((42 != _)(40));
+        STATIC_CHECK_FALSE((42 == _)(40));
+        STATIC_CHECK_FALSE((42 != _)(42));

-        STATIC_REQUIRE((_ + _)(40,2) == 42);
-        STATIC_REQUIRE((_ - _)(44,2) == 42);
-        STATIC_REQUIRE((_ * _)(21,2) == 42);
-        STATIC_REQUIRE((_ / _)(84,2) == 42);
-        STATIC_REQUIRE((_ % _)(142,100) == 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_REQUIRE((_ == _)(42,42));
-        STATIC_REQUIRE((_ != _)(42,40));
-        STATIC_REQUIRE_FALSE((_ == _)(42,40));
-        STATIC_REQUIRE_FALSE((_ != _)(42,42));
+        STATIC_CHECK((_ == _)(42,42));
+        STATIC_CHECK((_ != _)(42,40));
+        STATIC_CHECK_FALSE((_ == _)(42,40));
+        STATIC_CHECK_FALSE((_ != _)(42,42));
    }
 }
--- a/untests/kari_tests.cpp
+++ b/untests/kari_tests.cpp
@@ -1,11 +1,10 @@
 /*******************************************************************************
 * 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-2021, by Matvey Cherevko (blackmatov@gmail.com)
+ * Copyright (C) 2017-2023, by Matvey Cherevko (blackmatov@gmail.com)
 ******************************************************************************/

-#include <kari.hpp/kari.hpp>
-#include "doctest/doctest.hpp"
+#include "kari_tests.hpp"

 #include <functional>

@@ -20,7 +19,7 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f() == 1);
+            STATIC_CHECK(f() == 1);
        }
        {
            constexpr auto l = [](auto a){
@@ -29,8 +28,8 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f(1) == 1);
-            STATIC_REQUIRE(f()(1) == 1);
+            STATIC_CHECK(f(1) == 1);
+            STATIC_CHECK(f()(1) == 1);
        }
        {
            constexpr auto l = [](auto a, auto b){
@@ -39,13 +38,13 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f(1,2) == 3);
-            STATIC_REQUIRE(f()(1,2) == 3);
+            STATIC_CHECK(f(1,2) == 3);
+            STATIC_CHECK(f()(1,2) == 3);

-            STATIC_REQUIRE(f(1)(2) == 3);
-            STATIC_REQUIRE(f()(1)(2) == 3);
-            STATIC_REQUIRE(f(1)()(2) == 3);
-            STATIC_REQUIRE(f()(1)()(2) == 3);
+            STATIC_CHECK(f(1)(2) == 3);
+            STATIC_CHECK(f()(1)(2) == 3);
+            STATIC_CHECK(f(1)()(2) == 3);
+            STATIC_CHECK(f()(1)()(2) == 3);
        }
        {
            constexpr auto l = [](auto a, auto b, auto c){
@@ -54,26 +53,26 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f(1,2,3) == 6);
-            STATIC_REQUIRE(f()(1,2,3) == 6);
+            STATIC_CHECK(f(1,2,3) == 6);
+            STATIC_CHECK(f()(1,2,3) == 6);

-            STATIC_REQUIRE(f(1)(2,3) == 6);
-            STATIC_REQUIRE(f()(1)(2,3) == 6);
-            STATIC_REQUIRE(f(1)()(2,3) == 6);
-            STATIC_REQUIRE(f()(1)()(2,3) == 6);
+            STATIC_CHECK(f(1)(2,3) == 6);
+            STATIC_CHECK(f()(1)(2,3) == 6);
+            STATIC_CHECK(f(1)()(2,3) == 6);
+            STATIC_CHECK(f()(1)()(2,3) == 6);

-            STATIC_REQUIRE(f(1,2)(3) == 6);
-            STATIC_REQUIRE(f()(1,2)(3) == 6);
-            STATIC_REQUIRE(f(1,2)()(3) == 6);
-            STATIC_REQUIRE(f()(1,2)()(3) == 6);
+            STATIC_CHECK(f(1,2)(3) == 6);
+            STATIC_CHECK(f()(1,2)(3) == 6);
+            STATIC_CHECK(f(1,2)()(3) == 6);
+            STATIC_CHECK(f()(1,2)()(3) == 6);

-            STATIC_REQUIRE(f(1)(2)(3) == 6);
-            STATIC_REQUIRE(f()(1)(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+            STATIC_CHECK(f(1)(2)(3) == 6);
+            STATIC_CHECK(f()(1)(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)()(3) == 6);
        }
    }

@@ -87,26 +86,26 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f(1,2,3) == 6);
-            STATIC_REQUIRE(f()(1,2,3) == 6);
+            STATIC_CHECK(f(1,2,3) == 6);
+            STATIC_CHECK(f()(1,2,3) == 6);

-            STATIC_REQUIRE(f(1)(2,3) == 6);
-            STATIC_REQUIRE(f()(1)(2,3) == 6);
-            STATIC_REQUIRE(f(1)()(2,3) == 6);
-            STATIC_REQUIRE(f()(1)()(2,3) == 6);
+            STATIC_CHECK(f(1)(2,3) == 6);
+            STATIC_CHECK(f()(1)(2,3) == 6);
+            STATIC_CHECK(f(1)()(2,3) == 6);
+            STATIC_CHECK(f()(1)()(2,3) == 6);

-            STATIC_REQUIRE(f(1,2)(3) == 6);
-            STATIC_REQUIRE(f()(1,2)(3) == 6);
-            STATIC_REQUIRE(f(1,2)()(3) == 6);
-            STATIC_REQUIRE(f()(1,2)()(3) == 6);
+            STATIC_CHECK(f(1,2)(3) == 6);
+            STATIC_CHECK(f()(1,2)(3) == 6);
+            STATIC_CHECK(f(1,2)()(3) == 6);
+            STATIC_CHECK(f()(1,2)()(3) == 6);

-            STATIC_REQUIRE(f(1)(2)(3) == 6);
-            STATIC_REQUIRE(f()(1)(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+            STATIC_CHECK(f(1)(2)(3) == 6);
+            STATIC_CHECK(f()(1)(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)()(3) == 6);
        }
        {
            constexpr auto l = [](auto a, auto b){
@@ -117,26 +116,26 @@ TEST_CASE("kari") {

            constexpr curry_t f = l;

-            STATIC_REQUIRE(f(1,2,3) == 6);
-            STATIC_REQUIRE(f()(1,2,3) == 6);
+            STATIC_CHECK(f(1,2,3) == 6);
+            STATIC_CHECK(f()(1,2,3) == 6);

-            STATIC_REQUIRE(f(1)(2,3) == 6);
-            STATIC_REQUIRE(f()(1)(2,3) == 6);
-            STATIC_REQUIRE(f(1)()(2,3) == 6);
-            STATIC_REQUIRE(f()(1)()(2,3) == 6);
+            STATIC_CHECK(f(1)(2,3) == 6);
+            STATIC_CHECK(f()(1)(2,3) == 6);
+            STATIC_CHECK(f(1)()(2,3) == 6);
+            STATIC_CHECK(f()(1)()(2,3) == 6);

-            STATIC_REQUIRE(f(1,2)(3) == 6);
-            STATIC_REQUIRE(f()(1,2)(3) == 6);
-            STATIC_REQUIRE(f(1,2)()(3) == 6);
-            STATIC_REQUIRE(f()(1,2)()(3) == 6);
+            STATIC_CHECK(f(1,2)(3) == 6);
+            STATIC_CHECK(f()(1,2)(3) == 6);
+            STATIC_CHECK(f(1,2)()(3) == 6);
+            STATIC_CHECK(f()(1,2)()(3) == 6);

-            STATIC_REQUIRE(f(1)(2)(3) == 6);
-            STATIC_REQUIRE(f()(1)(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+            STATIC_CHECK(f(1)(2)(3) == 6);
+            STATIC_CHECK(f()(1)(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)()(3) == 6);
        }
    }

@@ -146,7 +145,7 @@ TEST_CASE("kari") {
                return 1;
            });

-            STATIC_REQUIRE(f == 1);
+            STATIC_CHECK(f == 1);
        }
        {
            {
@@ -154,15 +153,15 @@ TEST_CASE("kari") {
                    return a;
                });

-                STATIC_REQUIRE(f(1) == 1);
-                STATIC_REQUIRE(f()(1) == 1);
+                STATIC_CHECK(f(1) == 1);
+                STATIC_CHECK(f()(1) == 1);
            }
            {
                constexpr auto f = curry([](auto a){
                    return a;
                }, 1);

-                STATIC_REQUIRE(f == 1);
+                STATIC_CHECK(f == 1);
            }
        }
        {
@@ -171,28 +170,28 @@ TEST_CASE("kari") {
                    return a + b;
                });

-                STATIC_REQUIRE(f(1,2) == 3);
-                STATIC_REQUIRE(f()(1,2) == 3);
+                STATIC_CHECK(f(1,2) == 3);
+                STATIC_CHECK(f()(1,2) == 3);

-                STATIC_REQUIRE(f(1)(2) == 3);
-                STATIC_REQUIRE(f()(1)(2) == 3);
-                STATIC_REQUIRE(f(1)()(2) == 3);
-                STATIC_REQUIRE(f()(1)()(2) == 3);
+                STATIC_CHECK(f(1)(2) == 3);
+                STATIC_CHECK(f()(1)(2) == 3);
+                STATIC_CHECK(f(1)()(2) == 3);
+                STATIC_CHECK(f()(1)()(2) == 3);
            }
            {
                constexpr auto f = curry([](auto a, auto b){
                    return a + b;
                }, 1);

-                STATIC_REQUIRE(f(2) == 3);
-                STATIC_REQUIRE(f()(2) == 3);
+                STATIC_CHECK(f(2) == 3);
+                STATIC_CHECK(f()(2) == 3);
            }
            {
                constexpr auto f = curry([](auto a, auto b){
                    return a + b;
                }, 1, 2);

-                STATIC_REQUIRE(f == 3);
+                STATIC_CHECK(f == 3);
            }
        }
        {
@@ -201,54 +200,54 @@ TEST_CASE("kari") {
                    return a + b + c;
                });

-                STATIC_REQUIRE(f(1,2,3) == 6);
-                STATIC_REQUIRE(f()(1,2,3) == 6);
+                STATIC_CHECK(f(1,2,3) == 6);
+                STATIC_CHECK(f()(1,2,3) == 6);

-                STATIC_REQUIRE(f(1)(2,3) == 6);
-                STATIC_REQUIRE(f()(1)(2,3) == 6);
-                STATIC_REQUIRE(f(1)()(2,3) == 6);
-                STATIC_REQUIRE(f()(1)()(2,3) == 6);
+                STATIC_CHECK(f(1)(2,3) == 6);
+                STATIC_CHECK(f()(1)(2,3) == 6);
+                STATIC_CHECK(f(1)()(2,3) == 6);
+                STATIC_CHECK(f()(1)()(2,3) == 6);

-                STATIC_REQUIRE(f(1,2)(3) == 6);
-                STATIC_REQUIRE(f()(1,2)(3) == 6);
-                STATIC_REQUIRE(f(1,2)()(3) == 6);
-                STATIC_REQUIRE(f()(1,2)()(3) == 6);
+                STATIC_CHECK(f(1,2)(3) == 6);
+                STATIC_CHECK(f()(1,2)(3) == 6);
+                STATIC_CHECK(f(1,2)()(3) == 6);
+                STATIC_CHECK(f()(1,2)()(3) == 6);

-                STATIC_REQUIRE(f(1)(2)(3) == 6);
-                STATIC_REQUIRE(f()(1)(2)(3) == 6);
-                STATIC_REQUIRE(f(1)()(2)(3) == 6);
-                STATIC_REQUIRE(f(1)(2)()(3) == 6);
-                STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-                STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-                STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+                STATIC_CHECK(f(1)(2)(3) == 6);
+                STATIC_CHECK(f()(1)(2)(3) == 6);
+                STATIC_CHECK(f(1)()(2)(3) == 6);
+                STATIC_CHECK(f(1)(2)()(3) == 6);
+                STATIC_CHECK(f()(1)()(2)(3) == 6);
+                STATIC_CHECK(f(1)()(2)()(3) == 6);
+                STATIC_CHECK(f()(1)()(2)()(3) == 6);
            }
            {
                constexpr auto f = curry([](auto a, auto b, auto c){
                    return a + b + c;
                }, 1);

-                STATIC_REQUIRE(f(2,3) == 6);
-                STATIC_REQUIRE(f()(2,3) == 6);
+                STATIC_CHECK(f(2,3) == 6);
+                STATIC_CHECK(f()(2,3) == 6);

-                STATIC_REQUIRE(f(2)(3) == 6);
-                STATIC_REQUIRE(f()(2)(3) == 6);
-                STATIC_REQUIRE(f(2)()(3) == 6);
-                STATIC_REQUIRE(f()(2)()(3) == 6);
+                STATIC_CHECK(f(2)(3) == 6);
+                STATIC_CHECK(f()(2)(3) == 6);
+                STATIC_CHECK(f(2)()(3) == 6);
+                STATIC_CHECK(f()(2)()(3) == 6);
            }
            {
                constexpr auto f = curry([](auto a, auto b, auto c){
                    return a + b + c;
                }, 1, 2);

-                STATIC_REQUIRE(f(3) == 6);
-                STATIC_REQUIRE(f()(3) == 6);
+                STATIC_CHECK(f(3) == 6);
+                STATIC_CHECK(f()(3) == 6);
            }
            {
                constexpr auto f = curry([](auto a, auto b, auto c){
                    return a + b + c;
                }, 1, 2, 3);

-                STATIC_REQUIRE(f == 6);
+                STATIC_CHECK(f == 6);
            }
        }
    }
@@ -261,26 +260,26 @@ TEST_CASE("kari") {
                });
            });

-            STATIC_REQUIRE(f(1,2,3) == 6);
-            STATIC_REQUIRE(f()(1,2,3) == 6);
+            STATIC_CHECK(f(1,2,3) == 6);
+            STATIC_CHECK(f()(1,2,3) == 6);

-            STATIC_REQUIRE(f(1)(2,3) == 6);
-            STATIC_REQUIRE(f()(1)(2,3) == 6);
-            STATIC_REQUIRE(f(1)()(2,3) == 6);
-            STATIC_REQUIRE(f()(1)()(2,3) == 6);
+            STATIC_CHECK(f(1)(2,3) == 6);
+            STATIC_CHECK(f()(1)(2,3) == 6);
+            STATIC_CHECK(f(1)()(2,3) == 6);
+            STATIC_CHECK(f()(1)()(2,3) == 6);

-            STATIC_REQUIRE(f(1,2)(3) == 6);
-            STATIC_REQUIRE(f()(1,2)(3) == 6);
-            STATIC_REQUIRE(f(1,2)()(3) == 6);
-            STATIC_REQUIRE(f()(1,2)()(3) == 6);
+            STATIC_CHECK(f(1,2)(3) == 6);
+            STATIC_CHECK(f()(1,2)(3) == 6);
+            STATIC_CHECK(f(1,2)()(3) == 6);
+            STATIC_CHECK(f()(1,2)()(3) == 6);

-            STATIC_REQUIRE(f(1)(2)(3) == 6);
-            STATIC_REQUIRE(f()(1)(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+            STATIC_CHECK(f(1)(2)(3) == 6);
+            STATIC_CHECK(f()(1)(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)()(3) == 6);
        }
        {
            constexpr auto f = curry([](auto a, auto b){
@@ -289,26 +288,26 @@ TEST_CASE("kari") {
                });
            });

-            STATIC_REQUIRE(f(1,2,3) == 6);
-            STATIC_REQUIRE(f()(1,2,3) == 6);
+            STATIC_CHECK(f(1,2,3) == 6);
+            STATIC_CHECK(f()(1,2,3) == 6);

-            STATIC_REQUIRE(f(1)(2,3) == 6);
-            STATIC_REQUIRE(f()(1)(2,3) == 6);
-            STATIC_REQUIRE(f(1)()(2,3) == 6);
-            STATIC_REQUIRE(f()(1)()(2,3) == 6);
+            STATIC_CHECK(f(1)(2,3) == 6);
+            STATIC_CHECK(f()(1)(2,3) == 6);
+            STATIC_CHECK(f(1)()(2,3) == 6);
+            STATIC_CHECK(f()(1)()(2,3) == 6);

-            STATIC_REQUIRE(f(1,2)(3) == 6);
-            STATIC_REQUIRE(f()(1,2)(3) == 6);
-            STATIC_REQUIRE(f(1,2)()(3) == 6);
-            STATIC_REQUIRE(f()(1,2)()(3) == 6);
+            STATIC_CHECK(f(1,2)(3) == 6);
+            STATIC_CHECK(f()(1,2)(3) == 6);
+            STATIC_CHECK(f(1,2)()(3) == 6);
+            STATIC_CHECK(f()(1,2)()(3) == 6);

-            STATIC_REQUIRE(f(1)(2)(3) == 6);
-            STATIC_REQUIRE(f()(1)(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)(3) == 6);
-            STATIC_REQUIRE(f(1)()(2)()(3) == 6);
-            STATIC_REQUIRE(f()(1)()(2)()(3) == 6);
+            STATIC_CHECK(f(1)(2)(3) == 6);
+            STATIC_CHECK(f()(1)(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)(3) == 6);
+            STATIC_CHECK(f(1)()(2)()(3) == 6);
+            STATIC_CHECK(f()(1)()(2)()(3) == 6);
        }
    }

@@ -332,8 +331,8 @@ TEST_CASE("kari") {
            constexpr auto get_v = curry_t(&box::get_v);
            constexpr auto add_v = curry_t(&box::add_v);

-            STATIC_REQUIRE(get_v(box(1)) == 1);
-            STATIC_REQUIRE(add_v(box(1), 2) == 3);
+            STATIC_CHECK(get_v(box(1)) == 1);
+            STATIC_CHECK(add_v(box(1), 2) == 3);
        }
        {
            constexpr auto get_v = curry_t(&box::get_v);
@@ -371,8 +370,8 @@ TEST_CASE("kari") {
            constexpr auto get_v = curry(&box::get_v);
            constexpr auto add_v = curry(&box::add_v);

-            STATIC_REQUIRE(get_v(box(1)) == 1);
-            STATIC_REQUIRE(add_v(box(1), 2) == 3);
+            STATIC_CHECK(get_v(box(1)) == 1);
+            STATIC_CHECK(add_v(box(1), 2) == 3);

            {
                box b{1};
@@ -415,7 +414,7 @@ TEST_CASE("kari") {
        };
        {
            constexpr auto f = curry_t(&box::v_);
-            STATIC_REQUIRE(f(box(1)) == 1);
+            STATIC_CHECK(f(box(1)) == 1);
        }
        {
            constexpr auto f = curry_t(&box::v_);
@@ -434,11 +433,11 @@ TEST_CASE("kari") {
        };
        {
            constexpr auto f = curry(&box::v_);
-            STATIC_REQUIRE(f(box(1)) == 1);
+            STATIC_CHECK(f(box(1)) == 1);
        }
        {
            constexpr auto f = curry(&box::v_, box(1));
-            STATIC_REQUIRE(f == 1);
+            STATIC_CHECK(f == 1);
        }
        {
            const box b{1};
@@ -481,6 +480,6 @@ TEST_CASE("kari") {
            return box(v1.v_ + v2.v_ + v3.v_);
        })(box(1),box(2))(box(3));

-        STATIC_REQUIRE(b.v_ == 6);
+        STATIC_CHECK(b.v_ == 6);
    }
 }
--- a/untests/kari_tests.hpp
+++ b/untests/kari_tests.hpp
@@ -0,0 +1,16 @@
+/*******************************************************************************
+ * 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-2023, by Matvey Cherevko (blackmatov@gmail.com)
+ ******************************************************************************/
+
+#include <kari.hpp/kari.hpp>
+#include <doctest/doctest.h>
+
+#define STATIC_CHECK(...)\
+    static_assert(__VA_ARGS__, #__VA_ARGS__);\
+    CHECK(__VA_ARGS__)
+
+#define STATIC_CHECK_FALSE(...)\
+    static_assert(!(__VA_ARGS__), "!(" #__VA_ARGS__ ")");\
+    CHECK(!(__VA_ARGS__))
--- a/vendors/CMakeLists.txt
+++ b/vendors/CMakeLists.txt
@@ -0,0 +1,5 @@
+project(kari.hpp.vendors)
+
+set(DOCTEST_NO_INSTALL ON CACHE INTERNAL "")
+add_subdirectory(doctest)
+set_target_properties(doctest_with_main PROPERTIES FOLDER kari.hpp.vendors)
--- a/vendors/doctest
+++ b/vendors/doctest