3 files changed, 80 insertions, 0 deletions
diff --git a/nihil.match/CMakeLists.txt b/nihil.match/CMakeLists.txt
new file mode 100644
index 0000000..d7c5875
--- /dev/null
+++ b/nihil.match/CMakeLists.txt
@@ -0,0 +1,23 @@
+# This source code is released into the public domain.
+
+add_library(nihil.match STATIC)
+target_sources(nihil.match
+	PUBLIC FILE_SET modules TYPE CXX_MODULES FILES
+	match.ccm
+)
+
+if(NIHIL_TESTS)
+	enable_testing()
+
+	add_executable(nihil.match.test test.cc)
+	target_link_libraries(nihil.match.test PRIVATE
+		nihil.match
+		Catch2::Catch2WithMain
+	)
+
+	find_package(Catch2 REQUIRED)
+
+	include(CTest)
+	include(Catch)
+	catch_discover_tests(nihil.match.test)
+endif()
diff --git a/nihil.match/match.ccm b/nihil.match/match.ccm
new file mode 100644
index 0000000..d67bd0b
--- /dev/null
+++ b/nihil.match/match.ccm
@@ -0,0 +1,23 @@
+/*
+ * This source code is released into the public domain.
+ */
+
+module;
+
+#include <variant>
+
+export module nihil.match;
+
+namespace nihil {
+
+export template<class... Ts>
+struct match : Ts... { using Ts::operator()...; };
+
+export template<typename... Ts, typename... Fs>
+[[nodiscard]] constexpr decltype(auto) operator|
+	(std::variant<Ts...> const &v, match<Fs...> const &match)
+{
+	return std::visit(match, v);
+}
+
+} // namespace nihil
diff --git a/nihil.match/test.cc b/nihil.match/test.cc
new file mode 100644
index 0000000..7dd1c34
--- /dev/null
+++ b/nihil.match/test.cc
@@ -0,0 +1,34 @@
+/*
+ * This source code is released into the public domain.
+ */
+
+#include <string>
+#include <variant>
+
+#include <catch2/catch_test_macros.hpp>
+
+import nihil.match;
+
+TEST_CASE("match", "[nihil]")
+{
+	using namespace nihil;
+	using namespace std::literals;
+
+	auto v = std::variant<int, std::string>(42);
+
+	auto s = v | match {
+		[](int) { return "int"s; },
+		[](std::string const &) { return "string"s; }
+	};
+
+	REQUIRE(s == "int");
+
+	v = "test"s;
+
+	s = v | match {
+		[](int) { return "int"s; },
+		[](std::string const &) { return "string"s; }
+	};
+
+	REQUIRE(s == "string");
+}