MPL11
 All Classes Namespaces Files Typedefs Macros Groups Pages
monad.hpp
Go to the documentation of this file.
1 
12 #ifndef BOOST_MPL11_FWD_MONAD_HPP
13 #define BOOST_MPL11_FWD_MONAD_HPP
14 
15 #include <boost/mpl11/fwd/bool.hpp>
16 
17 
18 namespace boost { namespace mpl11 {
38  template <typename Datatype, typename = true_>
39  struct Monad;
40 
43  template <typename monad>
44  struct join;
45 
47  template <typename MonadType, typename x>
48  struct unit;
50 }} // end namespace boost::mpl11
51 
52 #endif // !BOOST_MPL11_FWD_MONAD_HPP
Forwards to boost/mpl11/fwd/integer.hpp.
Lift a value into a monadic structure.
Definition: monad.hpp:48
Remove one level of monadic structure, projecting its argument into the outer level.
Definition: monad.hpp:44