build: remove conan

2 files changed, 769 insertions, 0 deletions

diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
new file mode 100644
index 0000000..0219803
--- /dev/null
+++ b/lib/CMakeLists.txt
@@ -0,0 +1,16 @@
+add_library("${PROJECT_NAME}" INTERFACE)
+
+target_include_directories("${PROJECT_NAME}" INTERFACE
+  "$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>"
+  "$<INSTALL_INTERFACE:include>"
+)
+
+target_compile_features("${PROJECT_NAME}" INTERFACE
+  "cxx_std_20"
+)
+
+install(DIRECTORY "include/"
+  TYPE INCLUDE
+)
+
+add_library("${PROJECT_NAME}::${PROJECT_NAME}" ALIAS "${PROJECT_NAME}")
diff --git a/lib/include/newtype/newtype.hpp b/lib/include/newtype/newtype.hpp
new file mode 100644
index 0000000..fecaf2c
--- /dev/null
+++ b/lib/include/newtype/newtype.hpp
@@ -0,0 +1,753 @@
+#ifndef NEWTYPE_NEWTYPE_HPP
+#define NEWTYPE_NEWTYPE_HPP
+
+#include <algorithm>
+#include <compare>
+#include <functional>
+#include <istream>
+#include <ostream>
+#include <type_traits>
+#include <utility>
+
+namespace nt
+{
+  inline namespace lib
+  {
+    constexpr struct
+    {
+      int const major;
+      int const minor;
+      int const patch;
+
+      char const * const name;
+    } version{
+        .major = 2,
+        .minor = 0,
+        .patch = 0,
+        .name = "Brynn",
+    };
+
+  }  // namespace lib
+
+  namespace impl
+  {
+    inline namespace storage
+    {
+      template<typename T>
+      struct new_type_storage
+      {
+        T m_value;
+      };
+    }  // namespace storage
+
+    inline namespace member_types
+    {
+
+      template<typename T, bool = false, typename = std::void_t<>>
+      struct new_type_iterator : new_type_storage<T>
+      {
+      };
+
+      template<typename T>
+      struct new_type_iterator<T, true, std::void_t<typename T::iterator>> : new_type_storage<T>
+      {
+        using iterator = typename T::iterator;
+      };
+
+#define NEWTYPE_MAKE_ITERATOR_BASE(NAME, BASE)                                                                                                 \
+  template<typename T, bool Enabled = false, typename = std::void_t<>>                                                                         \
+  struct new_type_##NAME : new_type_##BASE<T, Enabled>                                                                                         \
+  {                                                                                                                                            \
+  };                                                                                                                                           \
+  template<typename T>                                                                                                                         \
+  struct new_type_##NAME<T, true, std::void_t<typename T::NAME>> : new_type_##BASE<T, true>                                                    \
+  {                                                                                                                                            \
+    using NAME = typename T::NAME;                                                                                                             \
+  };
+
+      NEWTYPE_MAKE_ITERATOR_BASE(const_iterator, iterator)
+      NEWTYPE_MAKE_ITERATOR_BASE(reverse_iterator, const_iterator)
+      NEWTYPE_MAKE_ITERATOR_BASE(const_reverse_iterator, reverse_iterator)
+#undef NEWTYPE_MAKE_ITERATOR_BASE
+
+      template<typename T, bool Enabled>
+      struct new_type_iterator_types : new_type_const_reverse_iterator<T, Enabled>
+      {
+      };
+
+    }  // namespace member_types
+
+  }  // namespace impl
+
+  namespace concepts
+  {
+
+    inline namespace arithmetic
+    {
+#define NEWTYPE_MAKE_ARITHMETIC_CONCEPT(NAME, OPERATOR, REF)                                                                                   \
+  template<typename SubjectType>                                                                                                               \
+  concept NAME = requires(SubjectType lhs, SubjectType rhs) {                                                                                  \
+    {                                                                                                                                          \
+      lhs OPERATOR rhs                                                                                                                         \
+    } -> std::same_as<SubjectType REF>;                                                                                                        \
+  };                                                                                                                                           \
+  template<typename SubjectType>                                                                                                               \
+  concept nothrow_##NAME = requires(SubjectType lhs, SubjectType rhs) {                                                                        \
+    requires NAME<SubjectType>;                                                                                                                \
+    {                                                                                                                                          \
+      lhs OPERATOR rhs                                                                                                                         \
+    } noexcept;                                                                                                                                \
+  };
+
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(addable, +, /*no-ref*/)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(divisible, /, /*no-ref*/)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(multipliable, *, /*no-ref*/)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(subtractable, -, /*no-ref*/)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(compound_addable, +=, &)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(compound_divisible, /=, &)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(compound_multipliable, *=, &)
+      NEWTYPE_MAKE_ARITHMETIC_CONCEPT(compound_subtractable, -=, &)
+#undef NEWTYPE_MAKE_ARITHMETIC_CONCEPT
+    }  // namespace arithmetic
+
+    inline namespace comparability
+    {
+
+      template<typename SubjectType>
+      concept nothrow_three_way_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires std::three_way_comparable<SubjectType>;
+        {
+          lhs <=> rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept equality_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs == rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_equality_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires equality_comparable<SubjectType>;
+        {
+          lhs == rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept inequality_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs != rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_inequality_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires inequality_comparable<SubjectType>;
+        {
+          lhs != rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept less_than_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs < rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_less_than_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires less_than_comparable<SubjectType>;
+        {
+          lhs < rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept less_than_equal_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs <= rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_less_than_equal_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires less_than_equal_comparable<SubjectType>;
+        {
+          lhs <= rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept greater_than_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs > rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_greater_than_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires greater_than_comparable<SubjectType>;
+        {
+          lhs > rhs
+        } noexcept;
+      };
+
+      template<typename SubjectType>
+      concept greater_than_equal_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        {
+          lhs >= rhs
+        } -> std::convertible_to<bool>;
+      };
+
+      template<typename SubjectType>
+      concept nothrow_greater_than_equal_comparable = requires(SubjectType lhs, SubjectType rhs) {
+        requires greater_than_equal_comparable<SubjectType>;
+        {
+          lhs >= rhs
+        } noexcept;
+      };
+
+    }  // namespace comparability
+
+    inline namespace iostreamable
+    {
+
+      template<typename SubjectType, typename CharType, typename StreamTraits>
+      concept input_streamable = requires(SubjectType subject) {
+        {
+          std::declval<std::basic_istream<CharType, StreamTraits> &>() >> subject
+        } -> std::same_as<std::basic_istream<CharType, StreamTraits> &>;
+      };
+
+      template<typename SubjectType, typename CharType, typename StreamTraits>
+      concept nothrow_input_streamable = requires(SubjectType subject) {
+        requires input_streamable<SubjectType, CharType, StreamTraits>;
+        {
+          std::declval<std::basic_istream<CharType, StreamTraits> &>() >> subject
+        } noexcept;
+      };
+
+      template<typename SubjectType, typename CharType, typename StreamTraits>
+      concept output_streamable = requires(SubjectType subject) {
+        {
+          std::declval<std::basic_ostream<CharType, StreamTraits> &>() << subject
+        } -> std::same_as<std::basic_ostream<CharType, StreamTraits> &>;
+      };
+
+      template<typename SubjectType, typename CharType, typename StreamTraits>
+      concept nothrow_output_streamable = requires(SubjectType subject) {
+        requires output_streamable<SubjectType, CharType, StreamTraits>;
+        {
+          std::declval<std::basic_ostream<CharType, StreamTraits> &>() << subject
+        } noexcept;
+      };
+
+    }  // namespace iostreamable
+
+    inline namespace iterable
+    {
+
+      template<typename SubjectType>
+      concept free_begin = requires(SubjectType & subject) {
+        typename SubjectType::iterator;
+        {
+          begin(subject)
+        } -> std::same_as<typename SubjectType::iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_free_begin = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          begin(subject)
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_begin = requires(SubjectType & subject) {
+        typename SubjectType::iterator;
+        {
+          subject.begin()
+        } -> std::same_as<typename SubjectType::iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_member_begin = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          subject.begin()
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept beginnable = free_begin<SubjectType> || member_begin<SubjectType>;
+
+      template<typename SubjectType>
+      concept const_beginnable = const_free_begin<SubjectType> || const_member_begin<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_cbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          cbegin(subject)
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_cbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          subject.cbegin()
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept cbeginnable = free_cbegin<SubjectType> || member_cbegin<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_rbegin = requires(SubjectType & subject) {
+        typename SubjectType::reverse_iterator;
+        {
+          rbegin(subject)
+        } -> std::same_as<typename SubjectType::reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_free_rbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          rbegin(subject)
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_rbegin = requires(SubjectType & subject) {
+        typename SubjectType::reverse_iterator;
+        {
+          subject.rbegin()
+        } -> std::same_as<typename SubjectType::reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_member_rbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          subject.rbegin()
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept rbeginnable = free_rbegin<SubjectType> || member_rbegin<SubjectType>;
+
+      template<typename SubjectType>
+      concept const_rbeginnable = const_free_rbegin<SubjectType> || const_member_rbegin<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_crbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          crbegin(subject)
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_crbegin = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          subject.crbegin()
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept crbeginnable = free_crbegin<SubjectType> || member_crbegin<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_end = requires(SubjectType & subject) {
+        typename SubjectType::iterator;
+        {
+          end(subject)
+        } -> std::same_as<typename SubjectType::iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_free_end = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          end(subject)
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_end = requires(SubjectType & subject) {
+        typename SubjectType::iterator;
+        {
+          subject.end()
+        } -> std::same_as<typename SubjectType::iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_member_end = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          subject.end()
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept endable = free_end<SubjectType> || member_end<SubjectType>;
+
+      template<typename SubjectType>
+      concept const_endable = const_free_end<SubjectType> || const_member_end<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_cend = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          cend(subject)
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_cend = requires(SubjectType const & subject) {
+        typename SubjectType::const_iterator;
+        {
+          subject.cend()
+        } -> std::same_as<typename SubjectType::const_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept cendable = free_cend<SubjectType> || member_cend<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_rend = requires(SubjectType & subject) {
+        typename SubjectType::reverse_iterator;
+        {
+          rend(subject)
+        } -> std::same_as<typename SubjectType::reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_free_rend = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          rend(subject)
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_rend = requires(SubjectType & subject) {
+        typename SubjectType::reverse_iterator;
+        {
+          subject.rend()
+        } -> std::same_as<typename SubjectType::reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept const_member_rend = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          subject.rend()
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept rendable = free_rend<SubjectType> || member_rend<SubjectType>;
+
+      template<typename SubjectType>
+      concept const_rendable = const_free_rend<SubjectType> || const_member_rend<SubjectType>;
+
+      template<typename SubjectType>
+      concept free_crend = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          crend(subject)
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept member_crend = requires(SubjectType const & subject) {
+        typename SubjectType::const_reverse_iterator;
+        {
+          subject.crend()
+        } -> std::same_as<typename SubjectType::const_reverse_iterator>;
+      };
+
+      template<typename SubjectType>
+      concept crendable = free_crend<SubjectType> || member_crend<SubjectType>;
+    }  // namespace iterable
+
+    inline namespace standard_extensions
+    {
+
+      template<typename SubjectType>
+      concept hashable = requires(SubjectType subject) {
+        {
+          std::hash<SubjectType>{}(subject)
+        } -> std::convertible_to<std::size_t>;
+      };
+
+    }
+
+  }  // namespace concepts
+
+  template<typename DerivableTag>
+  struct derivable final
+  {
+    using tag_type = DerivableTag;
+  };
+
+  inline namespace derivables
+  {
+
+    auto constexpr Arithmetic = derivable<struct arithmetic_tag>{};
+    auto constexpr EqBase = derivable<struct eq_base_tag>{};
+    auto constexpr Hash = derivable<struct hash_tag>{};
+    auto constexpr ImplicitConversion = derivable<struct implicit_conversion_tag>{};
+    auto constexpr Indirection = derivable<struct indirection_tag>{};
+    auto constexpr Iterable = derivable<struct iterable_tag>{};
+    auto constexpr Read = derivable<struct read_tag>{};
+    auto constexpr Relational = derivable<struct relational_tag>{};
+    auto constexpr Show = derivable<struct show_tag>{};
+    auto constexpr ThreewayCompare = derivable<struct threeway_compare_tag>{};
+
+  }  // namespace derivables
+
+  template<typename... DerivableTags>
+  struct derivation_clause
+  {
+    template<auto Needle>
+    using derives_one = std::disjunction<std::is_same<typename decltype(Needle)::tag_type, DerivableTags>...>;
+
+    template<auto... Needles>
+    using derives = std::conjunction<derives_one<Needles>...>;
+
+    constexpr derivation_clause(derivable<DerivableTags>...) noexcept
+    {
+    }
+  };
+
+  template<typename DerivationClause, auto... Features>
+  concept derives = requires(DerivationClause clause) { requires DerivationClause::template derives<Features...>::value; };
+
+  template<typename DerivationClause, auto... Features>
+  concept doesnt_derive = !derives<DerivationClause, Features...>;
+
+  template<typename... DerivableTags>
+  auto constexpr deriving(derivable<DerivableTags>... features) noexcept -> derivation_clause<DerivableTags...>
+  {
+    return {features...};
+  }
+
+  template<typename BaseType, typename TagType, auto DerivationClause = deriving()>
+  class new_type : public impl::new_type_iterator_types<BaseType, nt::derives<decltype(DerivationClause), nt::Iterable>>
+  {
+    static_assert(!std::is_reference_v<BaseType>, "The base type must not be a reference type");
+    static_assert(!std::is_void_v<std::remove_cv_t<BaseType>>, "The base type must not be possibly cv-qualified void");
+    static_assert(!derives<decltype(DerivationClause), nt::Relational, nt::ThreewayCompare>,
+                  "Cannot derive both nt::Relational and nt::ThreewayCompare at the same time.");
+
+    using super = impl::new_type_iterator_types<BaseType, nt::derives<decltype(DerivationClause), nt::Iterable>>;
+
+  public:
+    using base_type = BaseType;
+    using tag_type = TagType;
+    using derivation_clause_type = decltype(DerivationClause);
+
+    auto constexpr static derivation_clause = DerivationClause;
+
+    constexpr new_type() noexcept(std::is_nothrow_default_constructible_v<BaseType>)
+      requires std::constructible_from<BaseType>
+    = default;
+
+    constexpr new_type(new_type const &) noexcept(std::is_nothrow_copy_constructible_v<BaseType>)
+      requires std::copy_constructible<BaseType>
+    = default;
+
+    constexpr new_type(new_type &&) noexcept(std::is_nothrow_move_constructible_v<BaseType>)
+      requires std::move_constructible<BaseType>
+    = default;
+
+    constexpr new_type(BaseType const & base) noexcept(std::is_nothrow_copy_constructible_v<BaseType>)
+      requires std::copy_constructible<BaseType>
+        : super{base}
+    {
+    }
+
+    constexpr new_type(BaseType && base) noexcept(std::is_nothrow_move_constructible_v<BaseType>)
+      requires std::move_constructible<BaseType>
+        : super{std::move(base)}
+    {
+    }
+
+    auto constexpr operator=(new_type const &) noexcept(std::is_nothrow_copy_assignable_v<BaseType>) -> new_type & = default;
+    auto constexpr operator=(new_type &&) noexcept(std::is_nothrow_move_assignable_v<BaseType>) -> new_type & = default;
+
+    auto constexpr decay() const noexcept(std::is_nothrow_copy_constructible_v<BaseType>) -> BaseType
+    {
+      return this->m_value;
+    }
+
+    template<typename DerivationClauseT = decltype(DerivationClause)>
+    constexpr operator base_type() const noexcept(std::is_nothrow_copy_constructible_v<base_type>)
+      requires(nt::derives<DerivationClauseT, nt::ImplicitConversion>)
+    {
+      return decay();
+    }
+
+    template<typename DerivationClauseT = decltype(DerivationClause)>
+    explicit constexpr operator base_type() const noexcept(std::is_nothrow_copy_constructible_v<base_type>)
+      requires(nt::doesnt_derive<DerivationClauseT, nt::ImplicitConversion>)
+    {
+      return decay();
+    }
+
+    template<typename CharType, typename StreamTraits, nt::concepts::input_streamable<CharType, StreamTraits> BaseTypeT = BaseType>
+    auto friend operator>>(std::basic_istream<CharType, StreamTraits> & in,
+                           new_type & obj) noexcept(nt::concepts::nothrow_input_streamable<BaseTypeT, CharType, StreamTraits>)
+        -> std::basic_istream<CharType, StreamTraits> &
+      requires nt::derives<decltype(DerivationClause), nt::Read>
+    {
+      return in >> obj.m_value;
+    }
+
+    template<typename CharType, typename StreamTraits, nt::concepts::output_streamable<CharType, StreamTraits> BaseTypeT = BaseType>
+    auto friend operator<<(std::basic_ostream<CharType, StreamTraits> & out,
+                           new_type const & obj) noexcept(nt::concepts::nothrow_output_streamable<BaseType, CharType, StreamTraits>)
+        -> std::basic_ostream<CharType, StreamTraits> &
+      requires nt::derives<decltype(DerivationClause), nt::Show>
+    {
+      return out << obj.m_value;
+    }
+
+    // THREE-WAY ORDER AND EQUAL
+
+    auto constexpr operator<=>(new_type const & rhs) const noexcept(nt::concepts::nothrow_three_way_comparable<BaseType>)
+      requires(std::three_way_comparable<BaseType> && nt::derives<derivation_clause_type, nt::ThreewayCompare>)
+    {
+      return decay() <=> rhs.decay();
+    }
+
+    auto constexpr operator==(new_type const & rhs) const -> bool
+      requires(nt::concepts::equality_comparable<BaseType> && nt::derives<derivation_clause_type, nt::ThreewayCompare>)
+    {
+      return decay() == rhs.decay();
+    }
+
+    // NOT THREE-WAY EQUAL
+
+    auto constexpr operator==(new_type const & rhs) const noexcept(nt::concepts::nothrow_equality_comparable<BaseType>) -> bool
+      requires(nt::concepts::equality_comparable<BaseType> && nt::doesnt_derive<derivation_clause_type, nt::ThreewayCompare>)
+    {
+      return decay() == rhs.decay();
+    }
+
+    // BASE EQUAL
+
+    auto constexpr operator==(BaseType const & rhs) const noexcept(nt::concepts::nothrow_equality_comparable<BaseType>) -> bool
+      requires(nt::concepts::equality_comparable<BaseType> && nt::derives<derivation_clause_type, nt::EqBase>)
+    {
+      return decay() == rhs;
+    }
+
+    // NOT THREE-WAY EQUAL
+
+    auto constexpr operator!=(new_type const & rhs) const noexcept(nt::concepts::nothrow_inequality_comparable<BaseType>) -> bool
+      requires(nt::concepts::inequality_comparable<BaseType> && nt::doesnt_derive<derivation_clause_type, nt::ThreewayCompare>)
+    {
+      return decay() != rhs.decay();
+    }
+
+#define NEWTYPE_MAKE_LOGICAL_OPERATOR(OPERATOR, CONCEPT)                                                                                       \
+  auto constexpr operator OPERATOR(new_type const & rhs) const noexcept(nt::concepts::nothrow_##CONCEPT##_comparable<BaseType>) -> bool        \
+    requires(nt::concepts::CONCEPT##_comparable<BaseType> && nt::doesnt_derive<derivation_clause_type, nt::ThreewayCompare> &&                 \
+             nt::derives<derivation_clause_type, nt::Relational>)                                                                              \
+  {                                                                                                                                            \
+    return decay() OPERATOR rhs.decay();                                                                                                       \
+  }
+
+    NEWTYPE_MAKE_LOGICAL_OPERATOR(<, less_than)
+    NEWTYPE_MAKE_LOGICAL_OPERATOR(<=, less_than_equal)
+    NEWTYPE_MAKE_LOGICAL_OPERATOR(>, greater_than)
+    NEWTYPE_MAKE_LOGICAL_OPERATOR(>=, greater_than_equal)
+#undef NEWTYPE_MAKE_LOGICAL_OPERATOR
+
+#define NEWTYPE_MAKE_ARITHMETIC_OPERATOR(OPERATOR, CONCEPT)                                                                                    \
+  auto constexpr operator OPERATOR(new_type const & rhs) const noexcept(nt::concepts::nothrow_##CONCEPT<BaseType>) -> new_type                 \
+    requires(nt::concepts::CONCEPT<BaseType> && nt::derives<derivation_clause_type, nt::Arithmetic>)                                           \
+  {                                                                                                                                            \
+    return {decay() OPERATOR rhs.decay()};                                                                                                     \
+  }                                                                                                                                            \
+  auto constexpr operator OPERATOR##=(new_type const & rhs) const noexcept(nt::concepts::nothrow_compound_##CONCEPT<BaseType>) -> new_type &   \
+      requires(nt::concepts::compound_##CONCEPT<BaseType> && nt::derives<derivation_clause_type, nt::Arithmetic>) {                            \
+        return this->m_value OPERATOR## = rhs.decay(), *this;                                                                                  \
+      };
+
+    NEWTYPE_MAKE_ARITHMETIC_OPERATOR(+, addable)
+    NEWTYPE_MAKE_ARITHMETIC_OPERATOR(-, subtractable)
+    NEWTYPE_MAKE_ARITHMETIC_OPERATOR(*, multipliable)
+    NEWTYPE_MAKE_ARITHMETIC_OPERATOR(/, divisible)
+#undef NEWTYPE_MAKE_ARITHMETIC_OPERATOR
+
+#define NEWTYPE_MAKE_ITERATOR_FACTORY_HELPER(NAME, QUALIFICATION, ITERATOR)                                                                    \
+  template<nt::concepts::free_##NAME BaseTypeT = BaseType>                                                                                     \
+  auto constexpr friend NAME(new_type QUALIFICATION & obj) -> new_type<BaseTypeT, TagType, DerivationClause>::ITERATOR                         \
+    requires nt::derives<decltype(DerivationClause), nt::Iterable>                                                                             \
+  {                                                                                                                                            \
+    using std::NAME;                                                                                                                           \
+    return NAME(obj.m_value);                                                                                                                  \
+  }                                                                                                                                            \
+  template<nt::concepts::member_##NAME BaseTypeT = BaseType>                                                                                   \
+  auto constexpr NAME() QUALIFICATION->new_type<BaseTypeT, TagType, DerivationClause>::ITERATOR                                                \
+    requires nt::derives<derivation_clause_type, nt::Iterable>                                                                                 \
+  {                                                                                                                                            \
+    return this->m_value.NAME();                                                                                                               \
+  }
+
+#define NEWTYPE_MAKE_ITERATOR_FACTORY(NAME, ITERATOR)                                                                                          \
+  NEWTYPE_MAKE_ITERATOR_FACTORY_HELPER(NAME, /*non-const*/, ITERATOR)                                                                          \
+  NEWTYPE_MAKE_ITERATOR_FACTORY_HELPER(NAME, const, const_##ITERATOR)                                                                          \
+  NEWTYPE_MAKE_ITERATOR_FACTORY_HELPER(c##NAME, const, const_##ITERATOR)
+
+    NEWTYPE_MAKE_ITERATOR_FACTORY(begin, iterator)
+    NEWTYPE_MAKE_ITERATOR_FACTORY(rbegin, reverse_iterator)
+    NEWTYPE_MAKE_ITERATOR_FACTORY(end, iterator)
+    NEWTYPE_MAKE_ITERATOR_FACTORY(rend, reverse_iterator)
+#undef NEWTYPE_MAKE_ITERATOR_FACTORY
+#undef NEWTYPE_MAKE_ITERATOR_FACTORY_HELPER
+
+    // INDIRECTION
+
+    // template<typename DerivationClauseT = decltype(DerivationClause)>
+    //   requires(nt::derives<DerivationClauseT, nt::Indirection>)
+    // auto constexpr operator->() noexcept -> BaseType *
+    // {
+    //   return std::addressof(this->m_value);
+    // }
+
+    // template<typename DerivationClauseT = decltype(DerivationClause)>
+    //   requires(nt::derives<DerivationClauseT, nt::Indirection>)
+    // auto constexpr operator->() const noexcept -> BaseType const *
+    // {
+    //   return std::addressof(this->m_value);
+    // }
+  };
+
+}  // namespace nt
+
+namespace std
+{
+  template<nt::concepts::hashable BaseType, typename TagType, nt::derives<nt::Hash> auto DerivationClause>
+  struct hash<nt::new_type<BaseType, TagType, DerivationClause>>
+  {
+    auto constexpr operator()(nt::new_type<BaseType, TagType, DerivationClause> const & object) const
+    {
+      return std::hash<BaseType>{}(object.decay());
+    }
+  };
+}  // namespace std
+
+#endif