2011-11-13 08:54:38 +00:00
|
|
|
#ifndef SPROUT_WEED_OPERATOR_SHIFT_LEFT_HPP
|
|
|
|
|
#define SPROUT_WEED_OPERATOR_SHIFT_LEFT_HPP
|
|
|
|
|
|
|
|
|
|
#include <type_traits>
|
|
|
|
|
#include <sprout/config.hpp>
|
|
|
|
|
#include <sprout/utility/forward.hpp>
|
|
|
|
|
#include <sprout/weed/expr/tag.hpp>
|
|
|
|
|
#include <sprout/weed/expr/make_expr.hpp>
|
|
|
|
|
#include <sprout/weed/traits/expr/expr_of.hpp>
|
|
|
|
|
#include <sprout/weed/traits/parser/is_parser.hpp>
|
|
|
|
|
#include <sprout/weed/detail/uncvref.hpp>
|
|
|
|
|
|
|
|
|
|
namespace sprout {
|
|
|
|
|
namespace weed {
|
|
|
|
|
//
|
|
|
|
|
// operator>>
|
|
|
|
|
//
|
|
|
|
|
template<
|
|
|
|
|
typename Arg1,
|
|
|
|
|
typename Arg2,
|
|
|
|
|
typename = typename std::enable_if<
|
|
|
|
|
sprout::weed::traits::is_parser<
|
|
|
|
|
typename sprout::weed::detail::uncvref<Arg1>::type
|
|
|
|
|
>::value
|
|
|
|
|
&& sprout::weed::traits::is_parser<
|
|
|
|
|
typename sprout::weed::detail::uncvref<Arg2>::type
|
|
|
|
|
>::value
|
|
|
|
|
>::type
|
|
|
|
|
>
|
2012-04-04 13:23:41 +00:00
|
|
|
inline SPROUT_CONSTEXPR typename sprout::weed::traits::expr_of<
|
2011-11-13 08:54:38 +00:00
|
|
|
sprout::weed::tag::shift_left,
|
|
|
|
|
Arg1,
|
|
|
|
|
Arg2
|
|
|
|
|
>::type operator>>(Arg1&& arg1, Arg2&& arg2) {
|
|
|
|
|
return sprout::weed::make_expr<sprout::weed::tag::shift_left>(
|
|
|
|
|
sprout::forward<Arg1>(arg1),
|
|
|
|
|
sprout::forward<Arg2>(arg2)
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
} // namespace weed
|
|
|
|
|
} // namespace sprout
|
|
|
|
|
|
|
|
|
|
#endif // #ifndef SPROUT_WEED_OPERATOR_SHIFT_LEFT_HPP
|
