![]() |
LeechCraft 0.6.70-16373-g319c272718
Modular cross-platform feature rich live environment.
|
#include "either.h"
Public Types | |
using | L_t = L |
using | R_t = R |
Public Member Functions | |
Either ()=delete | |
Either (const L &l) | |
Either (R &&r) | |
Either (const R &r) | |
Either (const Either &)=default | |
Either (Either &&)=default | |
Either & | operator= (const Either &)=default |
Either & | operator= (Either &&)=default |
bool | IsLeft () const |
bool | IsRight () const |
const L & | GetLeft () const |
const R & | GetRight () const |
std::optional< L > | MaybeLeft () const |
std::optional< R > | MaybeRight () const |
std::variant< L, R > | AsVariant () const & |
std::variant< L, R > | AsVariant () && |
template<typename F > | |
R | ToRight (F &&f) const |
Static Public Member Functions | |
template<typename RNew > | |
static Either< L, RNew > | FromMaybe (const std::optional< RNew > &maybeRight, const L &left) |
static Either | Left (const L &l) |
static Either | Right (R &&r) |
static Either | Right (const R &r) |
template<typename... Vars> | |
static Either | LeftLift (const std::variant< Vars... > &var) |
template<typename... Vars> | |
static Either | LeftLift (const Either< std::variant< Vars... >, R > &either) |
template<typename LPrime , typename = std::enable_if_t<std::is_convertible_v<LPrime, L>>> | |
static Either | LeftLift (const Either< LPrime, R > &either) |
template<typename RNew > | |
static std::enable_if_t<!std::is_convertible< RNew, R >::value, Either< L, RNew > > | Right (const RNew &r) |
static auto | EmbeddingLeft () |
Friends | |
bool | operator== (const Either &e1, const Either &e2) |
bool | operator!= (const Either &e1, const Either &e2) |
Definition at line 47 of file networkresult.h.
using LC::Util::Either< typename, typename >::L_t = L |
using LC::Util::Either< typename, typename >::R_t = R |
|
delete |
|
inlineexplicit |
|
inlineexplicit |
|
inlineexplicit |
|
default |
|
default |
|
inline |
|
inline |
|
inlinestatic |
Definition at line 162 of file either.h.
References LC::Util::Either< typename, typename >::Left(), and LC::Util::Either< typename, typename >::Right().
|
inlinestatic |
Definition at line 112 of file either.h.
References LC::Util::Either< typename, typename >::Left(), and LC::Util::Either< typename, typename >::Right().
|
inline |
Definition at line 65 of file either.h.
References LC::Util::Either< typename, typename >::IsLeft().
Referenced by LC::Util::InstanceFunctor< Either< L, R > >::Apply(), LC::Util::detail::EitherAwaiter< L, R, ErrorHandler >::await_suspend(), LC::Util::InstanceMonad< Either< L, R > >::Bind(), LC::Util::Either< typename, typename >::MaybeLeft(), and LC::Util::Either< typename, typename >::ToRight().
|
inline |
Definition at line 72 of file either.h.
References LC::Util::Either< typename, typename >::IsRight().
Referenced by LC::Util::InstanceFunctor< Either< L, R > >::Apply(), LC::Util::detail::EitherAwaiter< L, R, ErrorHandler >::await_resume(), LC::Util::InstanceMonad< Either< L, R > >::Bind(), LC::Util::Either< typename, typename >::MaybeRight(), and LC::Util::Either< typename, typename >::ToRight().
|
inline |
Definition at line 55 of file either.h.
Referenced by LC::Util::InstanceFunctor< Either< L, R > >::Apply(), LC::Util::InstanceMonad< Either< L, R > >::Bind(), LC::Util::Either< typename, typename >::GetLeft(), and LC::Util::Either< typename, typename >::MaybeLeft().
|
inline |
Definition at line 60 of file either.h.
Referenced by LC::Util::detail::EitherAwaiter< L, R, ErrorHandler >::await_ready(), LC::Util::Either< typename, typename >::GetRight(), LC::Util::Either< typename, typename >::LeftLift(), LC::Util::Either< typename, typename >::MaybeRight(), and LC::Util::Either< typename, typename >::ToRight().
|
inlinestatic |
Definition at line 119 of file either.h.
Referenced by LC::Util::DownloadAsTemporary(), LC::Util::Either< typename, typename >::EmbeddingLeft(), LC::Util::Either< typename, typename >::FromMaybe(), LC::Util::Either< typename, typename >::LeftLift(), LC::Util::SerializeJsonToFile(), and LC::Util::ToJson().
|
inlinestatic |
Definition at line 149 of file either.h.
References LC::Util::Either< typename, typename >::Left(), and LC::Util::Either< typename, typename >::Right().
|
inlinestatic |
Definition at line 141 of file either.h.
References LC::Util::Either< typename, typename >::IsRight(), LC::Util::Either< typename, typename >::LeftLift(), and LC::Util::Either< typename, typename >::Right().
|
inlinestatic |
Definition at line 135 of file either.h.
Referenced by LC::Util::Either< typename, typename >::LeftLift().
|
inline |
Definition at line 79 of file either.h.
References LC::Util::Either< typename, typename >::GetLeft(), and LC::Util::Either< typename, typename >::IsLeft().
|
inline |
Definition at line 86 of file either.h.
References LC::Util::Either< typename, typename >::GetRight(), and LC::Util::Either< typename, typename >::IsRight().
|
default |
|
default |
|
inlinestatic |
|
inlinestatic |
Definition at line 157 of file either.h.
References LC::Util::Either< typename, typename >::Right().
|
inlinestatic |
Definition at line 124 of file either.h.
Referenced by LC::Util::DownloadAsTemporary(), LC::Util::Either< typename, typename >::EmbeddingLeft(), LC::Util::Either< typename, typename >::FromMaybe(), LC::Util::Either< typename, typename >::LeftLift(), LC::Util::Either< typename, typename >::LeftLift(), LC::Util::InstanceApplicative< Either< L, R > >::Pure(), LC::Util::Either< typename, typename >::Right(), LC::Util::SerializeJsonToFile(), and LC::Util::ToJson().
|
inline |
Definition at line 104 of file either.h.
References LC::Util::Either< typename, typename >::GetLeft(), LC::Util::Either< typename, typename >::GetRight(), and LC::Util::Either< typename, typename >::IsRight().