Concept for senders, requires that the member type sneder_concept derives from sender_t, has a get_env member function that returns a queryable type, and is move constructible and constructible from itself. More...

#include <ecor.hpp>

Concept definition

template<typename T>
concept ecor::sender =  std::derived_from< typename std::remove_cvref_t< T >::sender_concept, sender_t > &&
                 requires( T const& s ) {
                         { get_env( s ) } -> queryable;
                 } && std::move_constructible< std::remove_cvref_t< T > > &&
                 std::constructible_from< std::remove_cvref_t< T >, T >

Detailed Description

Concept for senders, requires that the member type sneder_concept derives from sender_t, has a get_env member function that returns a queryable type, and is move constructible and constructible from itself.