LeechCraft 0.6.70-17335-ge406ffdcaf
Modular cross-platform feature rich live environment.
Loading...
Searching...
No Matches
LC::Util::InstanceMonadPlus< Lazy_t< T >, std::enable_if_t< IsMonadPlus< T >()> > Struct Template Reference

#include "lazy.h"

+ Inheritance diagram for LC::Util::InstanceMonadPlus< Lazy_t< T >, std::enable_if_t< IsMonadPlus< T >()> >:
+ Collaboration diagram for LC::Util::InstanceMonadPlus< Lazy_t< T >, std::enable_if_t< IsMonadPlus< T >()> >:

Public Types

using UndefinedTag
 

Static Public Member Functions

static Lazy_t< T > Mzero ()
 
static Lazy_t< T > Mplus (const Lazy_t< T > &t1, const Lazy_t< T > &t2)
 

Detailed Description

template<typename T>
struct LC::Util::InstanceMonadPlus< Lazy_t< T >, std::enable_if_t< IsMonadPlus< T >()> >

Definition at line 34 of file lazy.h.

Member Typedef Documentation

◆ UndefinedTag

using LC::Util::InstanceMonadPlus< T, std::enable_if_t< IsMonadPlus< T >()> >::UndefinedTag

Definition at line 21 of file monadplus.h.

Member Function Documentation

◆ Mplus()

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

Definition at line 41 of file lazy.h.

References LC::Util::Mzero().

+ Here is the call graph for this function:

◆ Mzero()

template<typename T>
static Lazy_t< T > LC::Util::InstanceMonadPlus< Lazy_t< T >, std::enable_if_t< IsMonadPlus< T >()> >::Mzero ( )
inlinestatic

Definition at line 36 of file lazy.h.

References LC::Util::Mzero().

+ Here is the call graph for this function:

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