ranges::v3::view_interface< Derived, Cardinality > Struct Template Reference

Inheritance diagram for ranges::v3::view_interface< Derived, Cardinality >:

Friends
template<bool B = true, typename Stream = meta::if_c<B, std::ostream>>
Stream &	operator<< (Stream &sout, Derived &rng)
	Print a range to an ostream.
template<bool B = true, typename Stream = meta::if_c<B, std::ostream>, typename D = Derived, requires = (InputView<D const>())>
Stream &	operator<< (Stream &sout, Derived const &rng)
template<bool B = true, typename Stream = meta::if_c<B, std::ostream>>
Stream &	operator<< (Stream &sout, Derived &&rng)

Public Member Functions
template<typename D = Derived, requires = (Same<D, Derived>() && BoundedView<D>() && BidirectionalView<D>())>
range_reference_t< D >	back ()
	Access the last element in a range:
template<typename D = Derived, requires = (Same<D, Derived>() && BoundedView<D const>() && BidirectionalView<D const>())>
range_reference_t< D const >	back () const
constexpr bool	empty () const
template<typename D = Derived, requires = (Same<D, Derived>())>
range_reference_t< D >	front ()
	Access the first element in a range:
template<typename D = Derived, requires = (Same<D, Derived>())>
range_reference_t< D const >	front () const
constexpr	operator bool () const
template<typename Container , typename D = Derived, typename Alloc = typename Container::allocator_type, requires = (detail::ConvertibleToContainer<D, Container>())>
	operator Container ()
	Implicit conversion to something that looks like a container.
template<typename Container , typename D = Derived, typename Alloc = typename Container::allocator_type, requires = (detail::ConvertibleToContainer<D const, Container>())>
	operator Container () const
constexpr bool	operator! () const
view_interface &	operator= (view_interface &&)=default
view_interface &	operator= (view_interface const &)=default
template<typename D = Derived, requires = (Same<D, Derived>() && RandomAccessView<D>())>
auto	operator[] (range_difference_t< D > n) -> decltype(std::declval< D & >().begin()[n])
	Simple indexing:
template<typename D = Derived, requires = (Same<D, Derived>() && RandomAccessView<D const>())>
auto	operator[] (range_difference_t< D > n) const -> decltype(std::declval< D const & >().begin()[n])
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >> offs) -> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
	Python-ic slicing:
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >> offs) const -> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >, detail::from_end_< range_difference_t< D >>> offs) -> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >, detail::from_end_< range_difference_t< D >>> offs) const -> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< detail::from_end_< range_difference_t< D >>, detail::from_end_< range_difference_t< D >>> offs) -> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< detail::from_end_< range_difference_t< D >>, detail::from_end_< range_difference_t< D >>> offs) const -> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >, end_fn > offs) -> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< range_difference_t< D >, end_fn > offs) const -> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< detail::from_end_< range_difference_t< D >>, end_fn > offs) -> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>
auto	operator[] (detail::slice_bounds< detail::from_end_< range_difference_t< D >>, end_fn > offs) const -> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
template<typename D = Derived, requires = (Same<D, Derived>() && Cardinality >= 0)>
constexpr range_size_t< D >	size () const
	Access the size of the range, if it can be determined:
template<typename D = Derived, requires = (Same<D, Derived>() && Cardinality < 0 && SizedSentinel<range_sentinel_t<const D>, range_iterator_t<const D>>())>
constexpr range_size_t< D >	size () const
	view_interface (view_interface &&)=default
	view_interface (view_interface const &)=default

Protected Member Functions
Derived &	derived ()
Derived const &	derived () const

Methods

template<typename Derived, cardinality Cardinality>

template<bool B = true, typename Stream = meta::if_c<B, std::ostream>, typename D = Derived, requires = (InputView<D const>())>

Stream& operator<< ( Stream &  sout, Derived const &  rng  )

friend

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<bool B = true, typename Stream = meta::if_c<B, std::ostream>>

Stream& operator<< ( Stream &  sout, Derived &&  rng  )

friend

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Member Function Documentation

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, requires = (Same<D, Derived>() && BoundedView<D const>() && BidirectionalView<D const>())>

range_reference_t<D const> ranges::v3::view_interface< Derived, Cardinality >::back

(

)

const

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

Derived const& ranges::v3::view_interface< Derived, Cardinality >::derived ( ) const

protected

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, requires = (Same<D, Derived>())>

range_reference_t<D const> ranges::v3::view_interface< Derived, Cardinality >::front

(

)

const

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename Container , typename D = Derived, typename Alloc = typename Container::allocator_type, requires = (detail::ConvertibleToContainer<D const, Container>())>

ranges::v3::view_interface< Derived, Cardinality >::operator Container

(

)

const

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, requires = (Same<D, Derived>() && RandomAccessView<D const>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

range_difference_t< D >

n

)

const -> decltype(std::declval<D const &>().begin()[n])

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< range_difference_t< D >>

offs

)

const -> decltype(std::declval<Slice>()(std::declval<D const &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< range_difference_t< D >, detail::from_end_< range_difference_t< D >>>

offs

)

-> decltype(std::declval<Slice>()(std::declval<D &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< range_difference_t< D >, detail::from_end_< range_difference_t< D >>>

offs

)

const -> decltype(std::declval<Slice>()(std::declval<D const &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< detail::from_end_< range_difference_t< D >>, detail::from_end_< range_difference_t< D >>>

offs

)

-> decltype(std::declval<Slice>()(std::declval<D &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< detail::from_end_< range_difference_t< D >>, detail::from_end_< range_difference_t< D >>>

offs

)

const -> decltype(std::declval<Slice>()(std::declval<D const &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< range_difference_t< D >, end_fn >

offs

)

-> decltype(std::declval<Slice>()(std::declval<D &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< range_difference_t< D >, end_fn >

offs

)

const -> decltype(std::declval<Slice>()(std::declval<D const &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< detail::from_end_< range_difference_t< D >>, end_fn >

offs

)

-> decltype(std::declval<Slice>()(std::declval<D &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

template<typename Derived, cardinality Cardinality>

template<typename D = Derived, typename Slice = view::slice_fn, requires = (Same<D, Derived>())>

auto ranges::v3::view_interface< Derived, Cardinality >::operator[]

(

detail::slice_bounds< detail::from_end_< range_difference_t< D >>, end_fn >

offs

)

const -> decltype(std::declval<Slice>()(std::declval<D const &>(), offs.from, offs.to))

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.