mrdocs::HasSentinel

Concept that is satisfied when sentinel_traits<T> declares a usable sentinel.

Synopsis

Declared in <mrdocs/ADT/Nullable.hpp>

template<class T>
concept HasSentinel = requires
    {
        { sentinel_traits<T>::sentinel() } ‐> std::same_as<T>;
        { sentinel_traits<T>::is_sentinel(std::declval<const T&>()) } ‐> std::convertible_to<bool>;
    };

Created with MrDocs