Iros
 
Loading...
Searching...
No Matches
Public Member Functions | Friends | List of all members
di::View< Iter, Sent, is_sized > Class Template Reference

#include <di/container/view/view.h>

Inheritance diagram for di::View< Iter, Sent, is_sized >:
[legend]

Public Member Functions

constexpr View ()=default
 
constexpr View (concepts::ConvertibleToNonSlicing< Iter > auto iterator, Sent sentinel)
 
constexpr View (concepts::ConvertibleToNonSlicing< Iter > auto iterator, Sent sentinel, SizeType size)
 
template<typename Cont>
requires (!concepts::DecaySameAs<Cont, View> && concepts::BorrowedContainer<Cont> && concepts::ConvertibleToNonSlicing<meta::ContainerIterator<Cont>, Iter> && concepts::ConvertibleTo<meta::ContainerSentinel<Cont>, Sent>) (!store_size || concepts::SizedContainer<Cont>)
constexpr View (Cont &&container)
 
template<concepts::BorrowedContainer Cont>
requires (concepts::ConvertibleToNonSlicing<meta::ContainerIterator<Cont>, Iter> && concepts::ConvertibleTo<meta::ContainerSentinel<Cont>, Sent>) (is_sized)
constexpr View (Cont &&container, SizeType size)
 
constexpr auto begin () const -> Iter requires(concepts::Copyable< Iter >)
 
constexpr auto begin () -> Iter requires(!concepts::Copyable< Iter >)
 
constexpr auto end () const -> Sent
 
constexpr auto empty () const -> bool
 
constexpr auto size () const -> SizeType requires(is_sized)
 
constexpr auto advance (SSizeType n) -> View &
 
constexpr auto prev (SSizeType n=1) const -> View requires(concepts::BidirectionalIterator< Iter >)
 
constexpr auto next (SSizeType n=1) const &-> View requires(concepts::ForwardIterator< Iter >)
 
constexpr auto next (SSizeType n=1) &&-> View
 
- Public Member Functions inherited from di::container::ViewInterface< Self >
constexpr auto empty () -> bool requires(concepts::SizedContainer< Self >||concepts::ForwardContainer< Self >)
 
constexpr auto empty () const -> bool requires(concepts::SizedContainer< Self const >||concepts::ForwardContainer< Self const >)
 
constexpr operator bool ()
 
constexpr operator bool () const
 
constexpr auto cbegin ()
 
constexpr auto cbegin () const
 
constexpr auto cend ()
 
constexpr auto cend () const
 
constexpr auto data ()
 
constexpr auto data () const
 
constexpr auto size ()
 
constexpr auto size () const
 
constexpr auto front ()
 
constexpr auto front () const
 
constexpr auto back ()
 
constexpr auto back () const
 
template<concepts::RandomAccessContainer Cont = Self>
constexpr auto operator[] (meta::ContainerSSizeType< Cont > n) -> decltype(auto)
 
template<concepts::RandomAccessContainer Cont = Self const>
constexpr auto operator[] (meta::ContainerSSizeType< Cont > n) const -> decltype(auto)
 
template<concepts::RandomAccessContainer Cont = Self>
constexpr auto at (meta::ContainerSSizeType< Cont > n) -> Optional< meta::ContainerReference< Cont > >
 
template<concepts::RandomAccessContainer Cont = Self const>
constexpr auto at (meta::ContainerSSizeType< Cont > n) const -> Optional< meta::ContainerReference< Cont > >
 
- Public Member Functions inherited from di::util::AddMemberGet< Self >
template<types::size_t index>
requires (requires(Self& self) { util::get<index>(self); })
constexpr auto get () &-> decltype(auto)
 
template<types::size_t index>
requires (requires(Self const& self) { util::get<index>(self); })
constexpr auto get () const &-> decltype(auto)
 
template<types::size_t index>
requires (requires(Self&& self) { util::get<index>(util::move(self)); })
constexpr auto get () &&-> decltype(auto)
 
template<types::size_t index>
requires (requires(Self const&& self) { util::get<index>(util::move(self)); })
constexpr auto get () const &&-> decltype(auto)
 
template<typename T>
requires (requires(Self& self) { util::get<T>(self); })
constexpr auto get () &-> decltype(auto)
 
template<typename T>
requires (requires(Self const& self) { util::get<T>(self); })
constexpr auto get () const &-> decltype(auto)
 
template<typename T>
requires (requires(Self&& self) { util::get<T>(util::move(self)); })
constexpr auto get () &&-> decltype(auto)
 
template<typename T>
requires (requires(Self const&& self) { util::get<T>(util::move(self)); })
constexpr auto get () const &&-> decltype(auto)
 

Friends

constexpr friend auto tag_invoke (types::Tag< vocab::tuple_element >, types::InPlaceType< View >, Constexpr< 0ZU >) -> InPlaceType< Iter >
 
constexpr friend auto tag_invoke (types::Tag< vocab::tuple_element >, types::InPlaceType< View >, Constexpr< 1ZU >) -> InPlaceType< Sent >
 
constexpr friend auto tag_invoke (types::Tag< vocab::tuple_element >, types::InPlaceType< View const >, Constexpr< 0ZU >) -> InPlaceType< Iter const >
 
constexpr friend auto tag_invoke (types::Tag< vocab::tuple_element >, types::InPlaceType< View const >, Constexpr< 1ZU >) -> InPlaceType< Sent const >
 
constexpr friend auto tag_invoke (types::Tag< vocab::tuple_size >, types::InPlaceType< View >) -> types::size_t
 
template<concepts::DecaySameAs< View > Self>
constexpr friend auto tag_invoke (types::Tag< util::get_in_place >, Constexpr< 0ZU >, Self &&self) -> meta::Like< Self, Iter >
 
template<concepts::DecaySameAs< View > Self>
constexpr friend auto tag_invoke (types::Tag< util::get_in_place >, Constexpr< 1ZU >, Self &&self) -> meta::Like< Self, Sent >
 
template<concepts::DecaySameAs< View > Self, typename T>
requires (!concepts::SameAs<Iter, Sent> && (concepts::SameAs<T, Iter> || concepts::SameAs<T, Sent>) )
constexpr friend auto tag_invoke (types::Tag< util::get_in_place >, types::InPlaceType< T >, Self &&self) -> decltype(auto)
 

Constructor & Destructor Documentation

◆ View() [1/5]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
di::container::View< Iter, Sent, is_sized >::View ( )
constexprdefault

◆ View() [2/5]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
di::container::View< Iter, Sent, is_sized >::View ( concepts::ConvertibleToNonSlicing< Iter > auto iterator,
Sent sentinel )
inlineconstexpr

◆ View() [3/5]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
di::container::View< Iter, Sent, is_sized >::View ( concepts::ConvertibleToNonSlicing< Iter > auto iterator,
Sent sentinel,
SizeType size )
inlineconstexpr

◆ View() [4/5]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
template<typename Cont>
requires (!concepts::DecaySameAs<Cont, View> && concepts::BorrowedContainer<Cont> && concepts::ConvertibleToNonSlicing<meta::ContainerIterator<Cont>, Iter> && concepts::ConvertibleTo<meta::ContainerSentinel<Cont>, Sent>) (!store_size || concepts::SizedContainer<Cont>)
di::container::View< Iter, Sent, is_sized >::View ( Cont && container)
inlineconstexpr

◆ View() [5/5]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
template<concepts::BorrowedContainer Cont>
requires (concepts::ConvertibleToNonSlicing<meta::ContainerIterator<Cont>, Iter> && concepts::ConvertibleTo<meta::ContainerSentinel<Cont>, Sent>) (is_sized)
di::container::View< Iter, Sent, is_sized >::View ( Cont && container,
SizeType size )
inlineconstexpr

Member Function Documentation

◆ advance()

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::advance ( SSizeType n) -> View&
inlineconstexpr

◆ begin() [1/2]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::begin ( ) -> Iter requires(!concepts::Copyable<Iter>)
inlinenodiscardconstexpr

◆ begin() [2/2]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::begin ( ) const -> Iter requires(concepts::Copyable<Iter>)
inlineconstexpr

◆ empty()

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::empty ( ) const -> bool
inlineconstexpr

◆ end()

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::end ( ) const -> Sent
inlineconstexpr

◆ next() [1/2]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::next ( SSizeType n = 1) && -> View
inlinenodiscardconstexpr

◆ next() [2/2]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::next ( SSizeType n = 1) const & -> View requires(concepts::ForwardIterator<Iter>)
inlinenodiscardconstexpr

◆ prev()

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::prev ( SSizeType n = 1) const -> View requires(concepts::BidirectionalIterator<Iter>)
inlinenodiscardconstexpr

◆ size()

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
auto di::container::View< Iter, Sent, is_sized >::size ( ) const -> SizeType requires(is_sized)
inlineconstexpr

Friends And Related Symbol Documentation

◆ tag_invoke [1/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
template<concepts::DecaySameAs< View > Self>
friend auto tag_invoke ( types::Tag< util::get_in_place > ,
Constexpr< 0ZU > ,
Self && self ) -> meta::Like<Self, Iter>
friend

◆ tag_invoke [2/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
template<concepts::DecaySameAs< View > Self>
friend auto tag_invoke ( types::Tag< util::get_in_place > ,
Constexpr< 1ZU > ,
Self && self ) -> meta::Like<Self, Sent>
friend

◆ tag_invoke [3/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
template<concepts::DecaySameAs< View > Self, typename T>
requires (!concepts::SameAs<Iter, Sent> && (concepts::SameAs<T, Iter> || concepts::SameAs<T, Sent>) )
friend auto tag_invoke ( types::Tag< util::get_in_place > ,
types::InPlaceType< T > ,
Self && self ) -> decltype(auto)
friend

◆ tag_invoke [4/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
friend auto tag_invoke ( types::Tag< vocab::tuple_element > ,
types::InPlaceType< View< Iter, Sent, is_sized > > ,
Constexpr< 0ZU >  ) -> InPlaceType<Iter>
friend

◆ tag_invoke [5/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
friend auto tag_invoke ( types::Tag< vocab::tuple_element > ,
types::InPlaceType< View< Iter, Sent, is_sized > > ,
Constexpr< 1ZU >  ) -> InPlaceType<Sent>
friend

◆ tag_invoke [6/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
friend auto tag_invoke ( types::Tag< vocab::tuple_element > ,
types::InPlaceType< View< Iter, Sent, is_sized > const > ,
Constexpr< 0ZU >  ) -> InPlaceType<Iter const>
friend

◆ tag_invoke [7/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
friend auto tag_invoke ( types::Tag< vocab::tuple_element > ,
types::InPlaceType< View< Iter, Sent, is_sized > const > ,
Constexpr< 1ZU >  ) -> InPlaceType<Sent const>
friend

◆ tag_invoke [8/8]

template<concepts::Iterator Iter, concepts::SentinelFor< Iter > Sent = Iter, bool is_sized = concepts::SizedSentinelFor<Sent, Iter>>
friend auto tag_invoke ( types::Tag< vocab::tuple_size > ,
types::InPlaceType< View< Iter, Sent, is_sized > >  ) -> types::size_t
friend
The documentation for this class was generated from the following file: