di::concepts::detail::IndirectlyReadableHelper Concept Reference

#include <di/container/concepts/indirectly_readable.h>

Concept definition

template<typename T>
concept di::concepts::detail::IndirectlyReadableHelper = 
        requires(T const input) {
            typename meta::IteratorValue<T>;
            typename meta::IteratorReference<T>;
            typename meta::IteratorRValue<T>;
            { *input } -> SameAs<meta::IteratorReference<T>>;
            { container::iterator_move(input) } -> SameAs<meta::IteratorRValue<T>>;
        } && concepts::CommonReferenceWith<meta::IteratorReference<T>&&, meta::IteratorValue<T>&> &&
        concepts::CommonReferenceWith<meta::IteratorReference<T>&&, meta::IteratorRValue<T>&&> &&
        concepts::CommonReferenceWith<meta::IteratorRValue<T>&&, meta::IteratorValue<T> const&>