diff options
| author | Felix Morgner <felix.morgner@gmail.com> | 2019-12-29 17:03:48 +0100 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@gmail.com> | 2019-12-29 17:03:48 +0100 |
| commit | 3a07d605ebb5d9dbee350800d551039a5b80ac6b (patch) | |
| tree | 374eaf1044c14981a59dff4d3c443889f0368a28 | |
| parent | 51fa037d4d31ac006001a6c1965e9ad506056d5a (diff) | |
| download | newtype-3a07d605ebb5d9dbee350800d551039a5b80ac6b.tar.xz newtype-3a07d605ebb5d9dbee350800d551039a5b80ac6b.zip | |
doc: update new_type signatures
| -rw-r--r-- | doc/src/index.rst | 30 |
1 files changed, 12 insertions, 18 deletions
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 |