Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
arene::base::value_result_t< void > Class Reference

Intermediary type for constructing a result with a void value. More...

Public Member Functions

constexpr value_result_t (ArgTypes &&... args) noexcept(std::is_nothrow_constructible< void, 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
 
constexpr operator result< void, Error > () &&noexcept(noexcept(result< void, Error >(in_place_value, std::declval< void && >())))
 Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.
 
constexpr operator result< void, Error > () const &noexcept(noexcept(result< void, Error >(in_place_value, std::declval< void const & >())))
 Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.
 
template<typename Error>
constexpr operator result< void, Error > () noexcept
 Instantiates a result<Value,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.
 

Detailed Description

Intermediary type for constructing a result with a void value.

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 .
See also
arene::base::value_result for the factory function that should be used in user code.

Constructor & Destructor Documentation

◆ value_result_t() [1/3]

arene::base::value_result_t< void >::value_result_t ( ArgTypes &&... args)
inlineconstexprnoexcept

Construct the stored value from the specified arguments.

Template Parameters
ArgTypesthe types of the arguments
Parameters
argsThe arguments

◆ value_result_t() [2/3]

arene::base::value_result_t< void >::value_result_t ( value_result_t< void > const & )
constexprdefault

Copy constructor.

◆ value_result_t() [3/3]

arene::base::value_result_t< void >::value_result_t ( value_result_t< void > && )
constexprdefault

Move constructor.

◆ ~value_result_t()

destructor

Member Function Documentation

◆ operator result< void, Error >() [1/3]

arene::base::value_result_t< void >::operator result< void, Error > ( ) &&
inlineconstexprnoexcept

Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.

Template Parameters
Errorthe error_type of the produced result .

◆ operator result< void, Error >() [2/3]

arene::base::value_result_t< void >::operator result< void, Error > ( ) const &
inlineconstexprnoexcept

Instantiates a result<ValueType,Error> from the contained value instance. Consumes the container.

Template Parameters
Errorthe error_type of the produced result .

◆ operator result< void, Error >() [3/3]

template<typename Error>
arene::base::value_result_t< void >::operator result< void, Error > ( )
inlineconstexprnoexcept

Instantiates a result<Value,Error> from the contained value instance. Consumes the container.

Template Parameters
Errorthe error_type of the produced result .

◆ operator=() [1/2]

auto arene::base::value_result_t< void >::operator= ( value_result_t< void > && ) -> value_result_t&
constexprdefault

Move constructor.

◆ operator=() [2/2]

auto arene::base::value_result_t< void >::operator= ( value_result_t< void > const & ) -> value_result_t&
constexprdefault

Copy assignment.


The documentation for this class was generated from the following file: