monad_unit.h File Reference

#include "di/function/monad/monad_concept.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<template< typename... > typename M, typename T> requires (concepts::Monad<M> && requires(T&& value) { M { util::forward<T>(value) }; })
constexpr auto	di::function::monad::unit (T &&value) -> concepts::MonadInstance auto