LeechCraft  0.6.70-15082-g543737046d
Modular cross-platform feature rich live environment.
Public Types | Static Public Member Functions | List of all members
LC::Util::InstanceMonad< std::optional< T > > Struct Template Reference

#include "monad.h"

Public Types

template<typename F >
using BindResult_t = std::result_of_t< F(T)>
 

Static Public Member Functions

template<typename F >
static BindResult_t< F > Bind (const std::optional< T > &value, const F &f)
 

Detailed Description

template<typename T>
struct LC::Util::InstanceMonad< std::optional< T > >

Definition at line 102 of file monad.h.

Member Typedef Documentation

◆ BindResult_t

template<typename T >
template<typename F >
using LC::Util::InstanceMonad< std::optional< T > >::BindResult_t = std::result_of_t<F (T)>

Definition at line 105 of file monad.h.

Member Function Documentation

◆ Bind()

template<typename T >
template<typename F >
static BindResult_t<F> LC::Util::InstanceMonad< std::optional< T > >::Bind ( const std::optional< T > &  value,
const F &  f 
)
inlinestatic

Definition at line 108 of file monad.h.

References LC::Util::Either< L, R >::GetLeft(), 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: