From ee318f937f81f613794b3e83ef725ca1194f98ff Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Tue, 27 Sep 2022 20:23:28 +0300
Subject: [PATCH] Document result<>::value_type, error_type, in_place_value,
 in_place_error. Closes #93.

---
 doc/system/reference.adoc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/doc/system/reference.adoc b/doc/system/reference.adoc
index ae4798c..a35989e 100644
--- a/doc/system/reference.adoc
+++ b/doc/system/reference.adoc
@@ -1600,6 +1600,12 @@ template<class T, class E = error_code> class result
 {
 public:
 
+    using value_type = T;
+    using error_type = E;
+
+    static constexpr in_place_value_t in_place_value{};
+    static constexpr in_place_error_t in_place_error{};
+
     // constructors
 
     constexpr result();
@@ -1916,6 +1922,12 @@ template<class E> class result<void, E>
 {
 public:
 
+    using value_type = void;
+    using error_type = E;
+
+    static constexpr in_place_value_t in_place_value{};
+    static constexpr in_place_error_t in_place_error{};
+
     // constructors
 
     constexpr result() noexcept;