LeechCraft  0.6.70-15082-g543737046d
Modular cross-platform feature rich live environment.
applicative.h File Reference
#include <optional>
#include "either.h"
+ Include dependency graph for applicative.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  LC::Util::InstanceApplicative< Applicative >
 
struct  LC::Util::InstanceApplicative< std::optional< T > >
 
struct  LC::Util::InstanceApplicative< std::optional< T > >::GSLResult< typename >
 
struct  LC::Util::InstanceApplicative< std::optional< T > >::GSLResult< std::optional< V > >
 
struct  LC::Util::InstanceApplicative< Either< L, R > >
 
struct  LC::Util::InstanceApplicative< Either< L, R > >::GSLResult< typename >
 
struct  LC::Util::InstanceApplicative< Either< L, R > >::GSLResult< Either< L, V > >
 

Namespaces

 LC
 
 LC::Util
 

Typedefs

template<typename AF , typename AV >
using LC::Util::GSLResult_t = typename InstanceApplicative< AF >::template GSLResult< AV >::Type_t
 

Functions

template<template< typename... > class Applicative, typename... Args, typename T >
auto LC::Util::Pure (const T &v)
 
template<typename Applicative , typename T >
auto LC::Util::Pure (const T &v) -> decltype(InstanceApplicative< Applicative >::Pure(v))
 
template<typename AF , typename AV >
GSLResult_t< AF, AV > LC::Util::GSL (const AF &af, const AV &av)
 
template<typename AF , typename AV >
auto LC::Util::operator* (const AF &af, const AV &av) -> decltype(GSL(af, av))