<li><code>C</code> is <code>void</code> OR <code>exception_type</code> is explicitly constructible from <code>C</code>.</li>
</ol></li>
+<li><p><code>predicate::enable_make_error_code_compatible_conversion<A, B, C, D></code> is constexpr boolean true if:</p>
+
+<ol>
+<li><code>predicate::constructors_enabled</code> is true.</li>
+<li><code>basic_outcome<A, B, C, D></code> is not this <code>basic_outcome</code> type.</li>
+<li>Trait "/home/travis/build/ned14/boost-outcome/doc/src/content/reference/types/basic_outcome/_index.md:138:14": API reference page for 'is_error_code_available<E>' not found, please use an identifier wholly contained in a page title
+ <b>API NOT FOUND IN DOCS <code>is_error_code_available<E></code></b>
+ is true for decayed <code>error_type</code>.</li>
+<li><code>predicate::enable_compatible_conversion<A, B, C, D></code> is not true.</li>
+<li><code>A</code> is <code>void</code> OR <code>value_type</code> is explicitly constructible from <code>A</code>.</li>
+<li><code>error_type</code> is explicitly constructible from <code>make_error_code(B)</code>.</li>
+<li><code>C</code> is <code>void</code> OR <code>exception_type</code> is explicitly constructible from <code>C</code>.</li>
+</ol></li>
+
<li><p><code>predicate::enable_inplace_value_constructor<Args...></code> is constexpr boolean true if:</p>
<ol>
<a href="../../reference/types/basic_outcome/explicit_result_copy_converting_constructor.html" ><code>explicit basic_outcome(const basic_result<A, B, C> &)</code></a>
<p>Explicit converting copy constructor from compatible <code>basic_result</code>. Available if <code>predicate::enable_compatible_conversion<A, B, void, C></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
<a href="../../reference/types/basic_outcome/explicit_result_move_converting_constructor.html" ><code>explicit basic_outcome(basic_result<A, B, C> &&)</code></a>
-<p>Explicit converting move constructor from compatible <code>basic_result</code>. Available if <code>predicate::enable_compatible_conversion<A, B, void, C></code> is true. Constexpr, triviality and noexcept propagating.</p></li></ol>
+<p>Explicit converting move constructor from compatible <code>basic_result</code>. Available if <code>predicate::enable_compatible_conversion<A, B, void, C></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
+ <a href="../../reference/types/basic_outcome/explicit_result_make_error_code_copy_converting_constructor.html" ><code>explicit basic_outcome(const basic_result<A, B, C> &)</code></a>
+<p>Explicit converting copy constructor from compatible <code>basic_result</code>. Available if <code>predicate::enable_make_error_code_compatible_conversion<A, B, void, C></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
+ <a href="../../reference/types/basic_outcome/explicit_result_make_error_code_move_converting_constructor.html" ><code>explicit basic_outcome(basic_result<A, B, C> &&)</code></a>
+<p>Explicit converting move constructor from compatible <code>basic_result</code>. Available if <code>predicate::enable_make_error_code_compatible_conversion<A, B, void, C></code> is true. Constexpr, triviality and noexcept propagating.</p></li></ol>
<h4 id="inplace-constructors">Inplace constructors</h4>
<p>Implicit error-from-failure-type-sugar copy constructor. Available if <code>predicate::enable_compatible_conversion<void, EC, void, void></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
<a href="../../reference/types/basic_outcome/implicit_failure_error_move_constructor.html" ><code>basic_outcome(failure_type<EC> &&)</code></a>
<p>Implicit error-from-failure-type-sugar move constructor. Available if <code>predicate::enable_compatible_conversion<void, EC, void, void></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
+ <a href="../../reference/types/basic_outcome/implicit_failure_error_make_error_code_copy_constructor.html" ><code>basic_outcome(const failure_type<EC> &)</code></a>
+<p>Implicit error-from-failure-type-sugar copy constructor. Available if <code>predicate::enable_make_error_code_compatible_conversion<void, EC, void, void></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
+ <a href="../../reference/types/basic_outcome/implicit_failure_error_make_error_code_move_constructor.html" ><code>basic_outcome(failure_type<EC> &&)</code></a>
+<p>Implicit error-from-failure-type-sugar move constructor. Available if <code>predicate::enable_make_error_code_compatible_conversion<void, EC, void, void></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
<a href="../../reference/types/basic_outcome/implicit_failure_exception_copy_constructor.html" ><code>basic_outcome(const failure_type<EP> &)</code></a>
<p>Implicit exception-from-failure-type-sugar copy constructor. Available if <code>predicate::enable_compatible_conversion<void, void, EP, void></code> is true. Constexpr, triviality and noexcept propagating.</p><li>
<a href="../../reference/types/basic_outcome/implicit_failure_exception_move_constructor.html" ><code>basic_outcome(failure_type<EP> &&)</code></a>
- </div><p><small>Last revised: February 01, 2019 at 23:42:52 UTC</small></p>
+ </div><p><small>Last revised: October 11, 2019 at 17:03:05 +0100</small></p>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="../../reference/types.html"><img src="../../images/prev.png" alt="Prev"></a>
projects / platform / upstream / boost.git / blobdiff