LeechCraft 0.6.70-17335-ge406ffdcaf
Modular cross-platform feature rich live environment.
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
LC::Util::InstanceMonadPlus< std::optional< T > > Struct Template Reference

#include "monadplus.h"

+ Inheritance diagram for LC::Util::InstanceMonadPlus< std::optional< T > >:
+ Collaboration diagram for LC::Util::InstanceMonadPlus< std::optional< T > >:

Public Types

using UndefinedTag
 

Static Public Member Functions

static std::optional< T > Mzero ()
 
static std::optional< T > Mplus (const std::optional< T > &t1, const std::optional< T > &t2)
 

Detailed Description

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

Definition at line 87 of file monadplus.h.

Member Typedef Documentation

◆ UndefinedTag

using LC::Util::InstanceMonadPlus< T, void >::UndefinedTag

Definition at line 21 of file monadplus.h.

Member Function Documentation

◆ Mplus()

template<typename T>
static std::optional< T > LC::Util::InstanceMonadPlus< std::optional< T > >::Mplus ( const std::optional< T > & t1,
const std::optional< T > & t2 )
inlinestatic

Definition at line 94 of file monadplus.h.

◆ Mzero()

template<typename T>
static std::optional< T > LC::Util::InstanceMonadPlus< std::optional< T > >::Mzero ( )
inlinestatic

Definition at line 89 of file monadplus.h.

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