Concept definition

    template< typename M, typename Rep = typename std::chrono::milliseconds::rep, typename Period = typename std::chrono::milliseconds::period, typename Clock = std::chrono::steady_clock, typename Duration = typename Clock::duration>
    concept timed_excl_lockable =
    excl_lockable<M> && requires(M m,
                                 const std::chrono::duration<Rep, Period> &rel_time,
                                 const std::chrono::time_point<Clock, Duration> &abs_time)
    {
        { m.try_lock_for(rel_time) } -> std::convertible_to<bool>;
        { m.try_lock_until(abs_time) } -> std::convertible_to<bool>;
    }

Detailed Description

Concept for timed exclusive lockable objects.

Extends excl_lockable with try_lock_for() and try_lock_until() overloads.

Examples:

std::timed_mutex
std::recursive_timed_mutex
jh::typed::null_mutex_t