Concept for receivers, requires that the member type receiver_concept derives from receiver_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::receiver = 
    std::derived_from< typename std::remove_cvref_t< T >::receiver_concept, receiver_t > &&
    requires( T const& r ) {
            { get_env( r ) } -> queryable;
    } && std::move_constructible< std::remove_cvref_t< T > > &&
    std::constructible_from< std::remove_cvref_t< T >, T >

Detailed Description

Concept for receivers, requires that the member type receiver_concept derives from receiver_t, has a get_env member function that returns a queryable type, and is move constructible and constructible from itself.