From 6998183b580b60ac72f79b3ebc4f206fa35937ac Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Thu, 2 Jan 2020 15:46:27 +0100 Subject: new_type: implement divide-assignment --- doc/src/index.rst | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/src/index.rst b/doc/src/index.rst index 4c13412..3ef593d 100644 --- a/doc/src/index.rst +++ b/doc/src/index.rst @@ -327,7 +327,7 @@ Arithmetic Operators **noexcept specification:** This operator shall be noexcept iff. :cpp:type:`new_type::base_type` is nothrow multiply-assignable. - **enablement:** This operator shall be available iff. a) :cpp:type:`new_type::base_type` is multiply-assignable using the operator :literal:`-=` and b) :cpp:type:`DerivationClause` includes :cpp:var:`Arithmetic`. + **enablement:** This operator shall be available iff. a) :cpp:type:`new_type::base_type` is multiply-assignable using the operator :literal:`*=` and b) :cpp:type:`DerivationClause` includes :cpp:var:`Arithmetic`. .. cpp:function:: template::base_type` is dividable using the operator :literal:`/` and b) :cpp:type:`DerivationClause` includes :cpp:var:`Arithmetic`. +.. cpp:function:: template \ + constexpr new_type & operator/=(new_type const & lhs, new_type const & rhs) + + **noexcept specification:** This operator shall be noexcept iff. :cpp:type:`new_type::base_type` is nothrow divide-assignable. + + **enablement:** This operator shall be available iff. a) :cpp:type:`new_type::base_type` is divide-assignable using the operator :literal:`/=` and b) :cpp:type:`DerivationClause` includes :cpp:var:`Arithmetic`. + Header :literal:`` ========================================= -- cgit v1.2.3