rpp::constraint::operator_lift Concept Reference

Accept downstream observer and return new upstream (of type Type) observer. More...

#include <fwd.hpp>

Concept definition

template<typename Op, typename Type>
concept rpp::constraint::operator_lift =  requires(const Op& op, rpp::details::observers::fake_observer<typename std::decay_t<Op>::template operator_traits<Type>::result_type>&& observer) {
        {
            op.template lift<Type>(std::move(observer))
        } -> rpp::constraint::observer_of_type<Type>;
    }

Detailed Description

Accept downstream observer and return new upstream (of type Type) observer.