rpp::constraint::operator_lift Concept Reference

Concept definition

template<typename Op, typename Type>
concept rpp::constraint::operator_lift =  operator_base<Op, Type> && 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>;
    }