mpc
Haskell-like feature supports in C++
mpc::monad Concept Reference

Requires applicative and bind is valid in monad_traits . More...

#include <monad.hpp>

Concept definition

template<class M>
concept mpc::monad = applicative<M> and monad_traits_specialized<M>
mpc::applicative
Requires functor and pure, seq_apply, liftA2, discard2nd and discard1st is valid in applicative_trait...
Definition: applicative.hpp:32
mpc::monad_traits_specialized
monad_traits_specialized
Definition: monad.hpp:19
mpc::monad
Requires applicative and bind is valid in monad_traits .
Definition: monad.hpp:25

Detailed Description

Requires applicative and bind is valid in monad_traits .