From fa17a4d3c998f00ce9102265c1d81d414e7c971c Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@gmail.com>
Date: Thu, 8 Jun 2023 09:16:35 +0200
Subject: tests: port I/O operators tests

---
 source/tests/CMakeLists.txt             |   2 +-
 source/tests/src/io_operators.cpp       | 112 +++++++++++++++++++++++++++++
 source/tests/src/io_operators_suite.cpp | 121 --------------------------------
 3 files changed, 113 insertions(+), 122 deletions(-)
 create mode 100644 source/tests/src/io_operators.cpp
 delete mode 100644 source/tests/src/io_operators_suite.cpp

diff --git a/source/tests/CMakeLists.txt b/source/tests/CMakeLists.txt
index 1a33700..3c206db 100644
--- a/source/tests/CMakeLists.txt
+++ b/source/tests/CMakeLists.txt
@@ -12,7 +12,7 @@ add_executable("${PROJECT_NAME}_tests"
   "src/derivation_clause.cpp"
   "src/equality_comparison.cpp"
   "src/hash.cpp"
-  # "src/io_operators_suite.cpp"
+  "src/io_operators.cpp"
   # "src/iterable_suite.cpp"
   # "src/new_type_constructor_suite.cpp"
   # "src/relational_operators_suite.cpp"
diff --git a/source/tests/src/io_operators.cpp b/source/tests/src/io_operators.cpp
new file mode 100644
index 0000000..23be171
--- /dev/null
+++ b/source/tests/src/io_operators.cpp
@@ -0,0 +1,112 @@
+#include "newtype/derivable.hpp"
+#include "newtype/deriving.hpp"
+#include "newtype/newtype.hpp"
+
+#include <catch2/catch_test_macros.hpp>
+
+#include <iosfwd>
+#include <sstream>
+#include <string>
+#include <type_traits>
+#include <utility>
+
+inline namespace traits_extensions
+{
+
+  template<typename T, typename = void>
+  struct has_stream_input : std::false_type
+  {
+  };
+
+  template<typename T>
+  struct has_stream_input<T, std::void_t<decltype(std::declval<std::istream &>() >> std::declval<T &>())>> : std::true_type
+  {
+  };
+
+  template<typename T>
+  auto constexpr has_stream_input_v = has_stream_input<T>::value;
+
+  template<typename T, typename = void>
+  struct has_stream_output : std::false_type
+  {
+  };
+
+  template<typename T>
+  struct has_stream_output<T, std::void_t<decltype(std::declval<std::ostream &>() << std::declval<T &>())>> : std::true_type
+  {
+  };
+
+  template<typename T>
+  auto constexpr has_stream_output_v = has_stream_output<T>::value;
+
+}  // namespace traits_extensions
+
+SCENARIO("Stream Input")
+{
+  GIVEN("A new_type over a stream-inputtable type deriving nt::Read")
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::Read)>;
+    static_assert(has_stream_input_v<type_alias::base_type>);
+
+    THEN("it has the stream input operator")
+    {
+      STATIC_REQUIRE(has_stream_input_v<type_alias>);
+    }
+
+    THEN("an instance of it can be read from an std::istream")
+    {
+      auto obj = type_alias{};
+      auto str = std::istringstream{"42"};
+
+      str >> obj;
+
+      REQUIRE(obj.decay() == 42);
+    }
+  }
+
+  GIVEN("A new_type over a non-stream-inputtable type deriving nt::Read")
+  {
+    using type_alias = nt::new_type<std::istream, struct tag, deriving(nt::Read)>;
+    static_assert(!has_stream_input_v<type_alias::base_type>);
+
+    THEN("it does not have the input operator")
+    {
+      STATIC_REQUIRE(!has_stream_input_v<type_alias>);
+    }
+  }
+}
+
+SCENARIO("Stream Output")
+{
+  GIVEN("A new_type over a stream-outputtable type deriving nt::Show")
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::Show)>;
+    static_assert(has_stream_output_v<type_alias::base_type>);
+
+    THEN("it has the stream input operator")
+    {
+      STATIC_REQUIRE(has_stream_output_v<type_alias>);
+    }
+
+    THEN("an instance of it can be written to an std::ostream")
+    {
+      auto obj = type_alias{42};
+      auto str = std::ostringstream{};
+
+      str << obj;
+
+      REQUIRE(str.str() == "42");
+    }
+  }
+
+  GIVEN("A new_type over a non-stream-outputtable type deriving nt::Show")
+  {
+    using type_alias = nt::new_type<std::istream, struct tag, deriving(nt::Show)>;
+    static_assert(!has_stream_output_v<type_alias::base_type>);
+
+    THEN("it does not have the output operator")
+    {
+      STATIC_REQUIRE(!has_stream_output_v<type_alias>);
+    }
+  }
+}
diff --git a/source/tests/src/io_operators_suite.cpp b/source/tests/src/io_operators_suite.cpp
deleted file mode 100644
index 4e146a7..0000000
--- a/source/tests/src/io_operators_suite.cpp
+++ /dev/null
@@ -1,121 +0,0 @@
-#include "io_operators_suite.hpp"
-
-#include "kawaii.hpp"
-#include "newtype/derivable.hpp"
-#include "newtype/deriving.hpp"
-#include "newtype/newtype.hpp"
-
-#include <cute/cute.h>
-
-#include <iosfwd>
-#include <sstream>
-#include <string>
-#include <type_traits>
-#include <utility>
-
-inline namespace traits_extensions
-{
-
-  template<typename T, typename = void>
-  struct has_stream_input : std::false_type
-  {
-  };
-
-  template<typename T>
-  struct has_stream_input<T, std::void_t<decltype(std::declval<std::istream &>() >> std::declval<T &>())>> : std::true_type
-  {
-  };
-
-  template<typename T>
-  auto constexpr has_stream_input_v = has_stream_input<T>::value;
-
-  template<typename T, typename = void>
-  struct has_stream_output : std::false_type
-  {
-  };
-
-  template<typename T>
-  struct has_stream_output<T, std::void_t<decltype(std::declval<std::ostream &>() << std::declval<T &>())>> : std::true_type
-  {
-  };
-
-  template<typename T>
-  auto constexpr has_stream_output_v = has_stream_output<T>::value;
-
-}  // namespace traits_extensions
-
-inline namespace stream_input_operator_tests
-{
-
-  auto a_new__type_has_the_stream_input_operator_if_the_derivation_clause_contains_read() -> void
-  {
-    using type_alias = nt::new_type<int, struct input_op_test_tag_1, deriving(nt::Read)>;
-    ASSERT(has_stream_input_v<type_alias>);
-  }
-
-  auto a_new__type_does_not_have_the_stream_input_operator_if_the_derivation_clause_does_not_contain_read() -> void
-  {
-    using type_alias = nt::new_type<int, struct input_op_test_tag_2>;
-    ASSERT(!has_stream_input_v<type_alias>);
-  }
-
-  auto a_instance_of_a_new__type_can_be_read_from_an_istream_if_the_base_type_can_be_read_from_an_istream() -> void
-  {
-    static_assert(has_stream_input_v<int>, "Sanity Check");
-    using type_alias = nt::new_type<int, struct input_op_test_tag_3, deriving(nt::Read)>;
-
-    auto obj = type_alias{};
-    auto input = std::istringstream{"42"};
-
-    input >> obj;
-
-    ASSERT_EQUAL(42, obj.decay());
-  }
-
-}  // namespace stream_input_operator_tests
-
-inline namespace stream_output_operator_tests
-{
-
-  auto a_new__type_has_the_stream_output_operator_if_the_derivation_clause_contains_show() -> void
-  {
-    using type_alias = nt::new_type<int, struct output_op_test_tag_4, deriving(nt::Show)>;
-    ASSERT(has_stream_output_v<type_alias>);
-  }
-
-  auto a_new__type_does_not_have_the_stream_output_operator_if_the_derivation_clause_does_not_contain_show() -> void
-  {
-    using type_alias = nt::new_type<int, struct output_op_test_tag_5>;
-    ASSERT(!has_stream_output_v<type_alias>);
-  }
-
-  auto a_instance_of_a_new__type_can_be_written_to_an_ostream_if_the_base_type_can_be_written_to_an_ostream() -> void
-  {
-    static_assert(has_stream_output_v<int>, "Sanity Check");
-    using type_alias = nt::new_type<int, struct output_op_test_tag_6, deriving(nt::Show)>;
-
-    auto obj = type_alias{42};
-    auto output = std::ostringstream{};
-
-    output << obj;
-
-    ASSERT_EQUAL("42", output.str());
-  }
-
-}  // namespace stream_output_operator_tests
-
-auto io_operators_suite() -> std::pair<cute::suite, std::string>
-{
-  return {{
-              // Stream Input Operator Tests
-              KAWAII(a_new__type_has_the_stream_input_operator_if_the_derivation_clause_contains_read),
-              KAWAII(a_new__type_does_not_have_the_stream_input_operator_if_the_derivation_clause_does_not_contain_read),
-              KAWAII(a_instance_of_a_new__type_can_be_read_from_an_istream_if_the_base_type_can_be_read_from_an_istream),
-
-              // Stream Ouput Operator Tests
-              KAWAII(a_new__type_has_the_stream_output_operator_if_the_derivation_clause_contains_show),
-              KAWAII(a_new__type_does_not_have_the_stream_output_operator_if_the_derivation_clause_does_not_contain_show),
-              KAWAII(a_instance_of_a_new__type_can_be_written_to_an_ostream_if_the_base_type_can_be_written_to_an_ostream),
-          },
-          "I/O Operators Tests"};
-}
\ No newline at end of file
-- 
cgit v1.2.3