diff options
| author | Felix Morgner <felix.morgner@gmail.com> | 2020-01-02 15:36:00 +0100 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@gmail.com> | 2020-01-02 15:36:00 +0100 |
| commit | 350a6e397f544d3c5444cbfd79d672b34cfd268c (patch) | |
| tree | b290a48d9409e4be663a9c67eaac85d2cb68bf31 /doc | |
| parent | 6193bb8546f743f43dfc2b0fd1014a72ab356e4d (diff) | |
| download | newtype-350a6e397f544d3c5444cbfd79d672b34cfd268c.tar.xz newtype-350a6e397f544d3c5444cbfd79d672b34cfd268c.zip | |
new_type: implement subtract-assign
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/index.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/src/index.rst b/doc/src/index.rst index 2694dba..591a168 100644 --- a/doc/src/index.rst +++ b/doc/src/index.rst @@ -305,6 +305,15 @@ Arithmetic Operators .. cpp:function:: template<typename BaseType, \ typename TagType, \ auto DerivationClause> \ + constexpr new_type<BaseType, TagType, DerivationClause> & operator-=(new_type<BaseType, TagType, DerivationClause> const & lhs, new_type<BaseType, TagType, DerivationClause> const & rhs) + + **noexcept specification:** This operator shall be noexcept iff. :cpp:type:`new_type<BaseType, TagType, DerivationClause>::base_type` is nothrow subtract-assignable. + + **enablement:** This operator shall be available iff. a) :cpp:type:`new_type<BaseType, TagType, DerivationClause>::base_type` is subtract-assignable using the operator :literal:`-=` and b) :cpp:type:`DerivationClause` includes :cpp:var:`Arithmetic`. + +.. cpp:function:: template<typename BaseType, \ + typename TagType, \ + auto DerivationClause> \ constexpr new_type<BaseType, TagType, DerivationClause> operator*(new_type<BaseType, TagType, DerivationClause> const & lhs, new_type<BaseType, TagType, DerivationClause> const & rhs) **noexcept specification:** This operator shall be noexcept iff. :cpp:type:`new_type<BaseType, TagType, DerivationClause>::base_type` is nothrow multipliable as well as nothrow copy-constructible. |