From 3a07d605ebb5d9dbee350800d551039a5b80ac6b Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@gmail.com>
Date: Sun, 29 Dec 2019 17:03:48 +0100
Subject: doc: update new_type signatures

---
 doc/src/index.rst | 30 ++++++++++++------------------
 1 file changed, 12 insertions(+), 18 deletions(-)

(limited to 'doc')

diff --git a/doc/src/index.rst b/doc/src/index.rst
index 6a785a1..ab52381 100644
--- a/doc/src/index.rst
+++ b/doc/src/index.rst
@@ -135,35 +135,31 @@ Synopsis
 
      template<typename BaseType,
               typename TagType,
-              auto DerivationClause,
-              typename = std::enable_if_t<DerivationClause(nt::Relational)>>
+              auto DerivationClause>
      auto constexpr operator<(new_type<BaseType, TagType, DerivationClause> const &,
                               new_type<BaseType, TagType, DerivationClause> const &) noexcept(/*see below*/)
-                              -> bool;
+                              -> std::enable_if_t<DerivationClause(nt::Relational) && /*see below*/, bool>;
 
      template<typename BaseType,
               typename TagType,
-              auto DerivationClause,
-              typename = std::enable_if_t<DerivationClause(nt::Relational)>>
+              auto DerivationClause>
      auto constexpr operator>(new_type<BaseType, TagType, DerivationClause> const &,
                               new_type<BaseType, TagType, DerivationClause> const &) noexcept(/*see below*/)
-                              -> bool;
+                              -> std::enable_if_t<DerivationClause(nt::Relational) && /*see below*/, bool>;
 
      template<typename BaseType,
               typename TagType,
-              auto DerivationClause,
-              typename = std::enable_if_t<DerivationClause(nt::Relational)>>
+              auto DerivationClause>
      auto constexpr operator<=(new_type<BaseType, TagType, DerivationClause> const &,
                                new_type<BaseType, TagType, DerivationClause> const &) noexcept(/*see below*/)
-                               -> bool;
+                               -> std::enable_if_t<DerivationClause(nt::Relational) && /*see below*/, bool>;
 
      template<typename BaseType,
               typename TagType,
-              auto DerivationClause,
-              typename = std::enable_if_t<DerivationClause(nt::Relational)>>
+              auto DerivationClause>
      auto constexpr operator>=(new_type<BaseType, TagType, DerivationClause> const &,
                                new_type<BaseType, TagType, DerivationClause> const &) noexcept(/*see below*/)
-                               -> bool;
+                               -> std::enable_if_t<DerivationClause(nt::Relational) && /*see below*/, bool>;
 
     // Stream input/output operators
 
@@ -171,21 +167,19 @@ Synopsis
               typename TagType,
               auto DerivationClause,
               typename CharType,
-              typename StreamTraits,
-              typename = std::enable_if_t<DerivationClause(nt::Show)>>
+              typename StreamTraits>
      auto operator<<(std::basic_ostream<CharType, StreamTraits> &,
                      new_type<BaseType, TagType, DerivationClause> const &) noexcept(/*see below*/)
-                     -> std::basic_ostream<CharType, StreamTraits> &;
+                     -> std::enable_if_t<DerivationClause(nt::Show) && /*see below*/, std::basic_ostream<CharType, StreamTraits>> &;
 
      template<typename BaseType,
               typename TagType,
               auto DerivationClause,
               typename CharType,
-              typename StreamTraits,
-              typename = std::enable_if_t<DerivationClause(nt::Read)>>
+              typename StreamTraits>
      auto operator>>(std::basic_istream<CharType, StreamTraits> &,
                      new_type<BaseType, TagType, DerivationClause> &) noexcept(/*see below*/)
-                     -> std::basic_istream<CharType, StreamTraits> &;
+                     -> std::enable_if_t<DerivationClause(nt::Read) && /*see below*/, std::basic_istream<CharType, StreamTraits>> &;
    }
 
 Member Type Aliases
-- 
cgit v1.2.3