Encapsulated return value from caller. More...

#include <result.hpp>

Inheritance diagram for yaclib::Result< ValueT >:

Public Member Functions
	Result () noexcept

	Result (StopTag) noexcept

	Result (std::exception_ptr error) noexcept

template<typename... Args>
	Result (std::in_place_t, Args &&... args) noexcept(std::is_nothrow_constructible_v< V, Args &&... >)

template<typename... Args, typename = std::enable_if_t<(sizeof...(Args) > 1) \|\| !(std::is_same_v<std::decay_t<head_t<Args&&...>>, Result> \|\| std::is_same_v<std::decay_t<head_t<Args&&...>>, std::exception_ptr> \|\| std::is_same_v<std::decay_t<head_t<Args&&...>>, StopTag> \|\| std::is_same_v<std::decay_t<head_t<Args&&...>>, std::in_place_t>)>>
	Result (Args &&... args) noexcept(std::is_nothrow_constructible_v< V, Args &&... >)

	Result (const Result &other) noexcept(std::is_nothrow_copy_constructible_v< V >)

	Result (Result &&other) noexcept(std::is_nothrow_move_constructible_v< V >)

Result &	operator= (const Result &other) noexcept(std::is_nothrow_copy_constructible_v< V > &&std::is_nothrow_copy_assignable_v< V >)

Result &	operator= (Result &&other) noexcept(std::is_nothrow_move_constructible_v< V > &&std::is_nothrow_move_assignable_v< V >)

template<typename Arg , typename = std::enable_if_t<!std::is_same_v<std::decay_t<Arg>, Result>>>
Result &	operator= (Arg &&arg)

	~Result () noexcept

	operator bool () const noexcept

void	Ok () &=delete

void	Ok () const &&=delete

void	Value () &=delete

void	Value () const &&=delete

void	Error () &=delete

void	Error () const &&=delete

V &&	Ok () &&

const V &	Ok () const &

V &&	Value () &&noexcept

const V &	Value () const &noexcept

const std::exception_ptr &	Error () &&noexcept

const std::exception_ptr &	Error () const &noexcept

Detailed Description

template<typename ValueT>
class yaclib::Result< ValueT >

Encapsulated return value from caller.

Either a value of type V or a std::exception_ptr. Default constructed Result contains the stop error,

See also: StopPtr

Template Parameters

ValueT type of value that stored in Result

Examples: simple.cpp.

Definition at line 52 of file result.hpp.

Constructor & Destructor Documentation

◆ Result() [1/7]

template<typename ValueT >

yaclib::Result< ValueT >::Result ( )

inlinenoexcept

Definition at line 68 of file result.hpp.

References yaclib::StopPtr().

◆ Result() [2/7]

template<typename ValueT >

yaclib::Result< ValueT >::Result ( StopTag )

inlinenoexcept

Definition at line 71 of file result.hpp.

References yaclib::StopPtr().

◆ Result() [3/7]

template<typename ValueT >

yaclib::Result< ValueT >::Result ( std::exception_ptr error )

inlinenoexcept

Definition at line 74 of file result.hpp.

◆ Result() [4/7]

template<typename ValueT >

template<typename... Args>

yaclib::Result< ValueT >::Result	(	std::in_place_t	,
		Args &&...	args
	)

inlineexplicitnoexcept

Definition at line 83 of file result.hpp.

References yaclib::MakeContract().

◆ Result() [5/7]

template<typename ValueT >

template<typename... Args, typename = std::enable_if_t<(sizeof...(Args) > 1) || !(std::is_same_v<std::decay_t<head_t<Args&&...>>, Result> || std::is_same_v<std::decay_t<head_t<Args&&...>>, std::exception_ptr> || std::is_same_v<std::decay_t<head_t<Args&&...>>, StopTag> || std::is_same_v<std::decay_t<head_t<Args&&...>>, std::in_place_t>)>>

yaclib::Result< ValueT >::Result ( Args &&... args )