template <class MonadTag, class Expr>
struct make_monadic_c
{
// unspecified
};
The same as make_monadic
, but Expr
is an angle-bracket expression and not a syntax.
#include <mpllibs/metamonad/make_monadic_c.hpp>
For any t
, e
classes
make_monadic_c<t, e>::type
is equivalent to
make_monadic<t, syntax<e>>::type
MPLLIBS_METAFUNCTION(f, (N)) ((just<N>));
MPLLIBS_METAFUNCTION(maybe_divides, (A)(B)) ((just<divides<A, B>>));
make_monadic_c<
maybe_tag,
maybe_divides<already_monadic<f<int_<26>>>, already_monadic<f<int_<2>>>>
>::type
Copyright Abel Sinkovics (abel at elte dot hu) 2011. Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt