LeechCraft 0.6.70-17335-ge406ffdcaf
Modular cross-platform feature rich live environment.
Loading...
Searching...
No Matches
LC::Util::InstanceApplicative< Either< L, R > > Struct Template Reference

#include "applicative.h"

+ Inheritance diagram for LC::Util::InstanceApplicative< Either< L, R > >:
+ Collaboration diagram for LC::Util::InstanceApplicative< Either< L, R > >:

Classes

struct  GSLResult
 
struct  GSLResult< Either< L, V > >
 

Public Types

using Type_t = Either<L, R>
 

Static Public Member Functions

template<typename RP>
static Either< L, RP > Pure (const RP &v)
 
template<typename AV>
static GSLResult_t< Type_t, AV > GSL (const Type_t &f, const AV &v)
 

Detailed Description

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

Definition at line 81 of file applicative.h.

Member Typedef Documentation

◆ Type_t

template<typename L, typename R>
using LC::Util::InstanceApplicative< Either< L, R > >::Type_t = Either<L, R>

Definition at line 83 of file applicative.h.

Member Function Documentation

◆ GSL()

template<typename L, typename R>
template<typename AV>
static GSLResult_t< Type_t, AV > LC::Util::InstanceApplicative< Either< L, R > >::GSL ( const Type_t & f,
const AV & v )
inlinestatic

Definition at line 101 of file applicative.h.

◆ Pure()

template<typename L, typename R>
template<typename RP>
static Either< L, RP > LC::Util::InstanceApplicative< Either< L, R > >::Pure ( const RP & v)
inlinestatic

Definition at line 95 of file applicative.h.

References LC::Util::Either< L, R >::Right().

+ Here is the call graph for this function:

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