#include <di/vocab/expected/expected_void_void.h>
|
template<typename G> |
constexpr friend auto | operator== (Expected const &, Expected< void, G > const &b) -> bool |
|
template<typename G> |
constexpr friend auto | operator== (Expected const &, Unexpected< G > const &) -> bool |
|
template<concepts::RemoveCVRefSameAs< Expected > Self, typename F, typename U = meta::UnwrapRefDecay<meta::InvokeResult<F>>> |
constexpr friend auto | tag_invoke (types::Tag< function::monad::fmap >, Self &&, F &&function) -> Expected< U, void > |
|
template<concepts::RemoveCVRefSameAs< Expected > Self, typename F, typename R = meta::InvokeResult<F>>
requires (concepts::Expected<R>) |
constexpr friend auto | tag_invoke (types::Tag< function::monad::bind >, Self &&, F &&function) -> R |
|
template<concepts::RemoveCVRefSameAs< Expected > Self, typename F>
requires (concepts::ConstructibleFrom<Expected, Self>) |
constexpr friend auto | tag_invoke (types::Tag< function::monad::fail >, Self &&self, F &&) -> Expected |
|
template<concepts::RemoveCVRefSameAs< Expected > Self, typename F>
requires (concepts::ConstructibleFrom<Expected, Self>) |
constexpr friend auto | tag_invoke (types::Tag< function::monad::fmap_right >, Self &&self, F &&) -> Expected |
|
◆ Error
◆ Value
◆ Expected() [1/4]
◆ Expected() [2/4]
◆ Expected() [3/4]
◆ Expected() [4/4]
◆ ~Expected()
◆ __try_did_fail()
◆ __try_did_succeed()
◆ __try_move_out()
◆ emplace()
◆ has_value()
◆ operator bool()
◆ operator*() [1/2]
◆ operator*() [2/2]
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ value() [1/2]
◆ value() [2/2]
◆ operator== [1/2]
template<typename G>
friend auto operator== |
( |
Expected< void, void > const & | , |
|
|
Expected< void, G > const & | b ) -> bool |
|
friend |
◆ operator== [2/2]
template<typename G>
friend auto operator== |
( |
Expected< void, void > const & | , |
|
|
Unexpected< G > const & | ) -> bool |
|
friend |
◆ tag_invoke [1/4]
template<concepts::RemoveCVRefSameAs<
Expected > Self, typename F, typename R = meta::InvokeResult<F>>
requires (concepts::Expected<R>)
◆ tag_invoke [2/4]
template<concepts::RemoveCVRefSameAs<
Expected > Self, typename F>
requires (concepts::ConstructibleFrom<
Expected, Self>)
◆ tag_invoke [3/4]
template<concepts::RemoveCVRefSameAs<
Expected > Self, typename F, typename U = meta::UnwrapRefDecay<meta::InvokeResult<F>>>
◆ tag_invoke [4/4]
template<concepts::RemoveCVRefSameAs<
Expected > Self, typename F>
requires (concepts::ConstructibleFrom<
Expected, Self>)
The documentation for this class was generated from the following file: