aboutsummaryrefslogtreecommitdiffstats
path: root/nihil.util/monad.test.cc
diff options
context:
space:
mode:
authorLexi Winter <lexi@le-fay.org>2025-07-02 04:00:06 +0100
committerLexi Winter <lexi@le-fay.org>2025-07-02 04:00:06 +0100
commit5adeb648f74c1771164c0686d6e0fc584cf36d9e (patch)
tree060cd918d3dd9e931a1541a43c9edff1a404ff47 /nihil.util/monad.test.cc
parent06fafff8e9e9c096cc39bde0306caa53ad3a2351 (diff)
downloadnihil-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.cc65
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