Range-v3
Range algorithms, views, and actions for the Standard Library
Friends | Public Member Functions | Protected Member Functions | List of all members
ranges::v3::range_interface< Derived, Cardinality > Struct Template Reference
Core
+ Inheritance diagram for ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(InputView< D const >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&BoundedView< D >()&&BidirectionalView< D >()), int >::type = 0>
range_reference_t< D > back ()
 Access the last element in a range:
 
template<typename D = Derived, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&BoundedView< D const >()&&BidirectionalView< D const >()), int >::type = 0>
range_reference_t< D const > back () const
 
constexpr bool empty () const
 
template<typename D = Derived, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
range_reference_t< D > front ()
 Access the first element in a range:
 
template<typename D = Derived, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
range_reference_t< D const > front () const
 
constexpr operator bool () const
 
template<typename Container , typename D = Derived, typename Alloc = typename Container::allocator_type, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(detail::ConvertibleToContainer< D, Container >()), int >::type = 0>
 operator Container ()
 Implicit conversion to something that looks like a container.
 
template<typename Container , typename D = Derived, typename Alloc = typename Container::allocator_type, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(detail::ConvertibleToContainer< D const, Container >()), int >::type = 0>
 operator Container () const
 
constexpr bool operator! () const
 
template<typename D = Derived, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&RandomAccessView< D >()), int >::type = 0>
auto operator[] (range_difference_t< D > n) -> decltype(std::declval< D & >().begin()[n])
 Simple indexing:
 
template<typename D = Derived, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&RandomAccessView< D const >()), int >::type = 0>
auto operator[] (range_difference_t< D > n) const -> decltype(std::declval< D const & >().begin()[n])
 
template<typename D = Derived, typename Slice = view::slice_fn, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&(Cardinality > = 0 || SizedIteratorRange<range_iterator_t<D>, range_sentinel_t<D>>()>
constexpr range_size_t< D > size () const
 Access the size of the range, if it can be determined:
 

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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(InputView< D const >()), int >::type = 0>
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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&BoundedView< D const >()&&BidirectionalView< D const >()), int >::type = 0>
range_reference_t<D const> ranges::v3::range_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::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
range_reference_t<D const> ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(detail::ConvertibleToContainer< D const, Container >()), int >::type = 0>
ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()&&RandomAccessView< D const >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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, int _concept_requires___LINE__ = 42, typename std::enable_if< (_concept_requires___LINE__==43)||(Same< D, Derived >()), int >::type = 0>
auto ranges::v3::range_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.