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))