LC::Util::InstanceMonad< Either< L, R > > Struct Template Reference

#include "monad.h"

Inheritance diagram for LC::Util::InstanceMonad< Either< L, R > >:

Collaboration diagram for LC::Util::InstanceMonad< Either< L, R > >:

Public Types
template<typename F>
using	BindResult_t = std::invoke_result_t<F, R>

Static Public Member Functions
template<typename F>
static BindResult_t< F >	Bind (const Either< L, R > &value, const F &f)

Detailed Description

template<typename L, typename R>
struct LC::Util::InstanceMonad< Either< L, R > >

Definition at line 106 of file monad.h.

Member Typedef Documentation

BindResult_t

template<typename L, typename R>

template<typename F>

using LC::Util::InstanceMonad< Either< L, R > >::BindResult_t = std::invoke_result_t<F, R>

Definition at line 109 of file monad.h.

Member Function Documentation

Bind()

template<typename L, typename R>

template<typename F>

BindResult_t< F > LC::Util::InstanceMonad< Either< L, R > >::Bind ( const Either< L, R > & value, const F & f )

inlinestatic

Definition at line 112 of file monad.h.

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

Here is the call graph for this function:

---

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

• /home/abuild/rpmbuild/BUILD/leechcraft-doc-0.6.70+git.17335.ge406ffdcaf-build/leechcraft-0.6.70-17335-ge406ffdcaf/src/util/sll/monad.h