monad_unit.h

Go to the documentation of this file.

#pragma once
 
#include "di/function/monad/monad_concept.h"
#include "di/util/forward.h"
 
namespace di::function::monad {
template<template<typename...> typename M, typename T>
requires(concepts::Monad<M> && requires(T&& value) { M { util::forward<T>(value) }; })
constexpr auto unit(T&& value) -> concepts::MonadInstance auto {
    return M { util::forward<T>(value) };
}
}