LeechCraft 0.6.70-16373-g319c272718
Modular cross-platform feature rich live environment.
Loading...
Searching...
No Matches
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::result_of_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::result_of_t<F (R)>

Definition at line 109 of file monad.h.

Member Function Documentation

◆ Bind()

template<typename L, typename R>
template<typename F>
static 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: