std::experimental::ranges::Readable

From cppreference.com
< cpplrm; | experimentallrm; | ranges
Technical specifications
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals 2 TS)
Extensions for parallelism (parallelism TS)
Extensions for parallelism 2 (parallelism TS v2)
Extensions for concurrency (concurrency TS)
Concepts (concepts TS)
Ranges (ranges TS)
Special mathematical functions (special math TR)
template < class In >

concept bool Readable =
requires {
typename ranges::value_type_t<In>;
typename ranges::reference_t<In>;
typename ranges::rvalue_reference_t<In>;
} &&
CommonReference<ranges::reference_t<In>&&, ranges::value_type_t<In>&> &&
CommonReference<ranges::reference_t<In>&&, ranges::rvalue_reference_t<In>&&> &&

CommonReference<ranges::rvalue_reference_t<In>&&, const ranges::value_type_t<In>&>;
(ranges TS)

The concept Readable is satisfied by types that are readable by applying operator*, such as pointers, smart pointers, and iterators.