diff options
| author | Lexi Winter <lexi@le-fay.org> | 2025-07-02 04:00:06 +0100 |
|---|---|---|
| committer | Lexi Winter <lexi@le-fay.org> | 2025-07-02 04:00:06 +0100 |
| commit | 5adeb648f74c1771164c0686d6e0fc584cf36d9e (patch) | |
| tree | 060cd918d3dd9e931a1541a43c9edff1a404ff47 /nihil.util/monad.test.cc | |
| parent | 06fafff8e9e9c096cc39bde0306caa53ad3a2351 (diff) | |
| download | nihil-5adeb648f74c1771164c0686d6e0fc584cf36d9e.tar.gz nihil-5adeb648f74c1771164c0686d6e0fc584cf36d9e.tar.bz2 | |
move everything from util to core
Diffstat (limited to 'nihil.util/monad.test.cc')
| -rw-r--r-- | nihil.util/monad.test.cc | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/nihil.util/monad.test.cc b/nihil.util/monad.test.cc deleted file mode 100644 index 7f39fca..0000000 --- a/nihil.util/monad.test.cc +++ /dev/null @@ -1,65 +0,0 @@ -// This source code is released into the public domain. - -#include <catch2/catch_test_macros.hpp> - -import nihil.std; -import nihil.util; - -namespace { -TEST_CASE("monad: co_await std::optional<> with value", "[nihil]") -{ - auto get_value = [] -> std::optional<int> { - return 42; - }; - - auto try_get_value = [&get_value] -> std::optional<int> { - co_return co_await get_value(); - }; - - auto o = try_get_value(); - REQUIRE(o == 42); -} - -TEST_CASE("monad: co_await std::optional<> without value", "[nihil]") -{ - auto get_value = [] -> std::optional<int> { - return {}; - }; - - auto try_get_value = [&get_value] -> std::optional<int> { - co_return co_await get_value(); - }; - - auto o = try_get_value(); - REQUIRE(!o.has_value()); -} - -TEST_CASE("monad: co_await std::expected<> with value", "[nihil]") -{ - auto get_value = [] -> std::expected<int, std::string> { - return 42; - }; - - auto try_get_value = [&get_value] -> std::expected<int, std::string> { - co_return co_await get_value(); - }; - - auto o = try_get_value(); - REQUIRE(o == 42); -} - -TEST_CASE("monad: co_await std::expected<> with error", "[nihil]") -{ - auto get_value = [] -> std::expected<int, std::string> { - return std::unexpected("error"); - }; - - auto try_get_value = [&get_value] -> std::expected<int, std::string> { - co_return co_await get_value(); - }; - - auto o = try_get_value(); - REQUIRE(!o); - REQUIRE(o.error() == "error"); -} -} // anonymous namespace |
