diff --git a/doc/system/reference.adoc b/doc/system/reference.adoc index 41eaa10..9327d0e 100644 --- a/doc/system/reference.adoc +++ b/doc/system/reference.adoc @@ -2804,6 +2804,22 @@ result at_path( JsonValue const& jv, } ``` +``` +template + result& operator&=( result& r, F&& f ); +``` +[none] +* {blank} ++ +If `r` contains a value, replaces `r` with the result of invoking the function `f`. ++ +Let `R` be the type of `f()`. ++ +Effects: :: If `r.has_value()` is `true`, assigns `f()` to `r`. +Returns: :: `r`. +Remarks: :: + Only enabled when `R` is an instance of `result` and `E2` is convertible to `E`. + ## This convenience header includes all the headers previously described.