|
| template<typename... ArgTypes, constraints< std::enable_if_t< all_of_v<!std::is_same< remove_cvref_t< ArgTypes >, value_result_t >::value... > > > = nullptr> |
| constexpr | value_result_t (ArgTypes &&... args) noexcept(std::is_nothrow_constructible< ValueType, ArgTypes... >::value) |
| | Construct the stored value from the specified arguments.
|
| |
| constexpr | value_result_t (value_result_t &&)=default |
| | Move constructor.
|
| |
| constexpr | value_result_t (value_result_t const &)=default |
| | Copy constructor.
|
| |
| | ~value_result_t ()=default |
| | destructor
|
| |
| template<typename Error> |
| constexpr | operator result< ValueType, Error > () &&noexcept(noexcept(result< ValueType, Error >(in_place_value, std::declval< ValueType && >()))) |
| | Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.
|
| |
| template<typename Error> |
| constexpr | operator result< ValueType, Error > () const &noexcept(noexcept(result< ValueType, Error >(in_place_value, std::declval< ValueType const & >()))) |
| | Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.
|
| |
| constexpr auto | operator= (value_result_t &&) -> value_result_t &=default |
| | Move constructor.
|
| |
| constexpr auto | operator= (value_result_t const &) -> value_result_t &=default |
| | Copy assignment.
|
| |
template<typename ValueType>
class arene::base::value_result_t< ValueType >
Intermediary type for constructing a result with a given value_type .
- Note
- Generally this should not be constructed manually; it intended as a transient type that allow to construct a
result Object while using type deduction for value_type and error_type .
- Template Parameters
-
| ValueType | the value_type of a result constructed from this type. |
- See also
arene::base::value_result for the factory function that should be used in user code.
1.13.2