monad_operator.h File Reference

#include "di/function/monad/monad_bind.h"
#include "di/function/monad/monad_concept.h"
#include "di/function/monad/monad_fail.h"
#include "di/function/monad/monad_fmap.h"
#include "di/function/monad/monad_fmap_right.h"
#include "di/util/forward.h"

Go to the source code of this file.

Namespaces
namespace	di
namespace	di::function
namespace	di::function::monad

Functions
template<typename M, typename F>
constexpr auto	di::function::monad::operator% (M &&m, F &&f) -> decltype(fmap(util::forward< M >(m), util::forward< F >(f)))
template<typename M, typename F>
constexpr auto	di::function::monad::operator>> (M &&m, F &&f) -> decltype(bind(util::forward< M >(m), util::forward< F >(f)))
template<typename M, typename F>
constexpr auto	di::function::monad::operator<< (M &&m, F &&f) -> decltype(fail(util::forward< M >(m), util::forward< F >(f)))
template<typename M, typename F>
constexpr auto	di::function::monad::operator& (M &&m, F &&f) -> decltype(fmap_right(util::forward< M >(m), util::forward< F >(f)))