jh::concepts::indirectly_readable Concept Reference

Concept for types that can be read indirectly via dereference. More...

#include <jh/conceptual/iterator.h>

Concept definition

    template<typename I>
    concept indirectly_readable =requires(I &it) {
        typename jh::concepts::iterator_value_t<I>;
        typename jh::concepts::iterator_reference_t<I>;
        typename jh::concepts::iterator_rvalue_reference_t<I>;
        requires (!std::same_as<jh::concepts::iterator_value_t<I>, void>);
        requires (!std::same_as<jh::concepts::iterator_reference_t<I>, void>);
        requires (!std::same_as<jh::concepts::iterator_rvalue_reference_t<I>, void>);
        { *it } -> std::convertible_to<std::remove_cvref_t<jh::concepts::iterator_reference_t<I>>>;
    } && requires(I &&it) {
        detail::adl_iter_move(std::forward<I>(it));
    } &&
                                 std::common_reference_with<
                                         std::remove_cvref_t<iterator_reference_t<I>>,
                                         iterator_value_t<I>
                                 > &&
                                 std::common_reference_with<
                                         std::remove_cvref_t<iterator_rvalue_reference_t<I>>,
                                         iterator_value_t<I>
                                 >

Detailed Description

Concept for types that can be read indirectly via dereference.

Template Parameters

I	Iterator-like type to be checked.