#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)

Detailed Description

template<typename L, typename R>
class LC::Util::Either< L, R >

Definition at line 21 of file either.h.

Member Typedef Documentation

◆ L_t

template<typename L , typename R >

using LC::Util::Either< L, R >::L_t = L

Definition at line 30 of file either.h.

◆ R_t

template<typename L , typename R >

using LC::Util::Either< L, R >::R_t = R

Definition at line 31 of file either.h.

Constructor & Destructor Documentation

◆ Either() [1/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( )

delete

◆ Either() [2/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( const L & l )

inlineexplicit

Definition at line 35 of file either.h.

◆ Either() [3/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( R && r )

inlineexplicit

Definition at line 40 of file either.h.

◆ Either() [4/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( const R & r )

inlineexplicit

Definition at line 45 of file either.h.

◆ Either() [5/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( const Either< L, R > & )

default

◆ Either() [6/6]

template<typename L , typename R >

LC::Util::Either< L, R >::Either ( Either< L, R > && )

default

Member Function Documentation

◆ AsVariant() [1/2]

template<typename L , typename R >

std::variant< L, R > LC::Util::Either< L, R >::AsVariant ( ) &&

inline

Definition at line 98 of file either.h.

◆ AsVariant() [2/2]

template<typename L , typename R >

std::variant< L, R > LC::Util::Either< L, R >::AsVariant ( ) const &

inline

Definition at line 93 of file either.h.

◆ EmbeddingLeft()

template<typename L , typename R >

static auto LC::Util::Either< L, R >::EmbeddingLeft ( )

inlinestatic

Definition at line 162 of file either.h.

References LC::Util::Filter(), LC::Util::Either< L, R >::Left(), and LC::Util::Either< L, R >::Right().

Here is the call graph for this function:

◆ FromMaybe()

template<typename L , typename R >

template<typename RNew >

static Either< L, RNew > LC::Util::Either< L, R >::FromMaybe	(	const std::optional< RNew > &	maybeRight,
		const L &	left )

inlinestatic

Definition at line 112 of file either.h.

References LC::Util::Filter(), LC::Util::Either< L, R >::Left(), and LC::Util::Either< L, R >::Right().

Here is the call graph for this function:

◆ GetLeft()

template<typename L , typename R >

const L & LC::Util::Either< L, R >::GetLeft ( ) const

inline

Definition at line 65 of file either.h.

References LC::Util::Either< L, R >::IsLeft().

Referenced by LC::Util::Either< L, R >::MaybeLeft(), and LC::Util::Either< L, R >::ToRight().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ GetRight()

template<typename L , typename R >

const R & LC::Util::Either< L, R >::GetRight ( ) const

inline

Definition at line 72 of file either.h.

References LC::Util::Either< L, R >::IsRight().

Referenced by LC::Util::Either< L, R >::MaybeRight(), and LC::Util::Either< L, R >::ToRight().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ IsLeft()

template<typename L , typename R >

bool LC::Util::Either< L, R >::IsLeft ( ) const

inline

Definition at line 55 of file either.h.

Referenced by LC::Util::Either< L, R >::GetLeft(), and LC::Util::Either< L, R >::MaybeLeft().

Here is the caller graph for this function:

◆ IsRight()

template<typename L , typename R >

bool LC::Util::Either< L, R >::IsRight ( ) const

inline

Definition at line 60 of file either.h.

Referenced by LC::Util::Either< L, R >::GetRight(), LC::Util::Either< L, R >::LeftLift(), LC::Util::Either< L, R >::LeftLift(), LC::Util::Either< L, R >::MaybeRight(), and LC::Util::Either< L, R >::ToRight().

Here is the caller graph for this function:

◆ Left()

template<typename L , typename R >

static Either LC::Util::Either< L, R >::Left ( const L & l )

inlinestatic

Definition at line 119 of file either.h.

References LC::Util::Filter().

Referenced by LC::Util::DownloadAsTemporary(), LC::Util::Either< L, R >::EmbeddingLeft(), LC::Util::Either< L, R >::FromMaybe(), LC::Util::Either< L, R >::LeftLift(), LC::Util::SerializeJsonToFile(), and LC::Util::ToJson().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ LeftLift() [1/3]

template<typename L , typename R >

template<typename LPrime , typename = std::enable_if_t<std::is_convertible_v<LPrime, L>>>

static Either LC::Util::Either< L, R >::LeftLift ( const Either< LPrime, R > & either )

inlinestatic

Definition at line 149 of file either.h.

References LC::Util::Filter(), LC::Util::Either< L, R >::IsRight(), LC::Util::Either< L, R >::Left(), and LC::Util::Either< L, R >::Right().

Here is the call graph for this function:

◆ LeftLift() [2/3]

template<typename L , typename R >

template<typename... Vars>

static Either LC::Util::Either< L, R >::LeftLift ( const Either< std::variant< Vars... >, R > & either )

inlinestatic

Definition at line 141 of file either.h.

References LC::Util::Filter(), LC::Util::Either< L, R >::IsRight(), LC::Util::Either< L, R >::LeftLift(), and LC::Util::Either< L, R >::Right().

Here is the call graph for this function:

◆ LeftLift() [3/3]

template<typename L , typename R >

template<typename... Vars>

static Either LC::Util::Either< L, R >::LeftLift ( const std::variant< Vars... > & var )

inlinestatic

Definition at line 135 of file either.h.

References LC::Util::Filter().

Referenced by LC::Util::Either< L, R >::LeftLift().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ MaybeLeft()

template<typename L , typename R >

std::optional< L > LC::Util::Either< L, R >::MaybeLeft ( ) const

inline

Definition at line 79 of file either.h.

References LC::Util::Either< L, R >::GetLeft(), and LC::Util::Either< L, R >::IsLeft().

Here is the call graph for this function:

◆ MaybeRight()

template<typename L , typename R >

std::optional< R > LC::Util::Either< L, R >::MaybeRight ( ) const

inline

Definition at line 86 of file either.h.

References LC::Util::Either< L, R >::GetRight(), and LC::Util::Either< L, R >::IsRight().

Here is the call graph for this function:

◆ operator=() [1/2]

template<typename L , typename R >

Either & LC::Util::Either< L, R >::operator= ( const Either< L, R > & )

default

◆ operator=() [2/2]

template<typename L , typename R >

Either & LC::Util::Either< L, R >::operator= ( Either< L, R > && )

default

◆ Right() [1/3]

template<typename L , typename R >

static Either LC::Util::Either< L, R >::Right ( const R & r )

inlinestatic

Definition at line 129 of file either.h.

References LC::Util::Filter().

Here is the call graph for this function:

◆ Right() [2/3]

template<typename L , typename R >

template<typename RNew >

static std::enable_if_t<!std::is_convertible< RNew, R >::value, Either< L, RNew > > LC::Util::Either< L, R >::Right ( const RNew & r )

inlinestatic

Definition at line 157 of file either.h.

References LC::Util::Filter(), and LC::Util::Either< L, R >::Right().

Here is the call graph for this function:

◆ Right() [3/3]

template<typename L , typename R >

static Either LC::Util::Either< L, R >::Right ( R && r )

inlinestatic

Definition at line 124 of file either.h.

References LC::Util::Filter().

Referenced by LC::Util::DownloadAsTemporary(), LC::Util::Either< L, R >::EmbeddingLeft(), LC::Util::Either< L, R >::FromMaybe(), LC::Util::Either< L, R >::LeftLift(), LC::Util::Either< L, R >::LeftLift(), LC::Util::InstanceApplicative< Either< L, R > >::Pure(), LC::Util::Either< L, R >::Right(), LC::Util::SerializeJsonToFile(), and LC::Util::ToJson().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ ToRight()

template<typename L , typename R >

template<typename F >

R LC::Util::Either< L, R >::ToRight ( F && f ) const

inline

Definition at line 104 of file either.h.

References LC::Util::Either< L, R >::GetLeft(), LC::Util::Either< L, R >::GetRight(), and LC::Util::Either< L, R >::IsRight().

Here is the call graph for this function:

Friends And Related Symbol Documentation

◆ operator!=

template<typename L , typename R >

bool operator!=	(	const Either< L, R > &	e1,
		const Either< L, R > &	e2 )

friend

Definition at line 179 of file either.h.

◆ operator==

template<typename L , typename R >

bool operator==	(	const Either< L, R > &	e1,
		const Either< L, R > &	e2 )

friend

Definition at line 174 of file either.h.

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

/home/abuild/rpmbuild/BUILD/leechcraft-0.6.70-16373-g319c272718/src/util/sll/either.h

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ L_t

◆ R_t

Constructor & Destructor Documentation

◆ Either() [1/6]

◆ Either() [2/6]

◆ Either() [3/6]

◆ Either() [4/6]

◆ Either() [5/6]

◆ Either() [6/6]

Member Function Documentation

◆ AsVariant() [1/2]

◆ AsVariant() [2/2]

◆ EmbeddingLeft()

◆ FromMaybe()

◆ GetLeft()

◆ GetRight()

◆ IsLeft()

◆ IsRight()

◆ Left()

◆ LeftLift() [1/3]

◆ LeftLift() [2/3]

◆ LeftLift() [3/3]

◆ MaybeLeft()

◆ MaybeRight()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ Right() [1/3]

◆ Right() [2/3]

◆ Right() [3/3]

◆ ToRight()

Friends And Related Symbol Documentation

◆ operator!=

◆ operator==