Horizon
Classes | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
ranges::view_facade< Derived, Cardinality > Struct Template Reference
Views

A utility for constructing a view from a (derived) type that implements begin and end cursors. More...

#include <facade.hpp>

Inheritance diagram for ranges::view_facade< Derived, Cardinality >:
ranges::view_interface< Derived, Cardinality > ranges::basic_view< Cardinality > ranges::view_base ranges::view_adaptor< remove_if_view< Rng, logical_negate< Pred > >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< remove_if_view< Rng, Pred >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< iter_take_while_view< Rng, indirected< Pred > >, Rng, is_finite< Rng >::value ? finite :unknown > ranges::view_adaptor< delimit_view< Rng, Val >, Rng, is_finite< Rng >::value ? finite :unknown > ranges::view_adaptor< const_view< Rng >, Rng > ranges::view_adaptor< iter_transform_view< Rng, Fun >, Rng > ranges::view_adaptor< iter_transform_view< Rng, indirected< Fun > >, Rng > ranges::view_adaptor< drop_last_view< Rng, detail::drop_last_view::mode_forward >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< adjacent_filter_view< Rng, Pred >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< move_view< Rng >, Rng > ranges::view_adaptor< exclusive_scan_view< Rng, T, Fun >, Rng > ranges::view_adaptor< iter_take_while_view< Rng, Pred >, Rng, is_finite< Rng >::value ? finite :unknown > ranges::view_adaptor< indirect_view< Rng >, Rng > ranges::view_adaptor< adjacent_remove_if_view< Rng, Pred >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< chunk_view_< Rng, IsForwardRange >, Rng, is_finite< Rng >::value ? finite :range_cardinality< Rng >::value > ranges::view_adaptor< Derived, BaseRng, Cardinality >

Classes

struct  view_as_cursor
 

Public Member Functions

 template (typename D=Derived)(requires same_as< D
 Let d be static_cast<Derived &>(*this). More...
 
constexpr Derived auto begin () -> detail::facade_iterator_t< D >
 
 template (typename D=Derived)(requires same_as< D
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
constexpr Derived auto begin () const -> detail::facade_iterator_t< D const >
 
 template (typename D=Derived)(requires same_as< D
 Let d be static_cast<Derived &>(*this). More...
 
constexpr Derived auto end () -> detail::facade_sentinel_t< D >
 
 template (typename D=Derived)(requires same_as< D
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
constexpr Derived auto end () const -> detail::facade_sentinel_t< D const >
 
- Public Member Functions inherited from ranges::view_interface< Derived, Cardinality >
 view_interface (view_interface &&)=default
 
 view_interface (view_interface const &)=default
 
view_interface & operator= (view_interface &&)=default
 
view_interface & operator= (view_interface const &)=default
 
constexpr CPP_member auto empty () const noexcept -> CPP_ret(bool)(requires(detail::has_fixed_size_< Cardinality >))
 Test whether a range can be empty:
 

Protected Member Functions

constexpr view_as_cursor begin_cursor () const
 
constexpr default_sentinel_t end_cursor () const
 
- Protected Member Functions inherited from ranges::view_interface< Derived, Cardinality >
constexpr Derived & derived () noexcept
 
constexpr Derived const & derived () const noexcept
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 

Protected Attributes

friend range_access
 

Additional Inherited Members

- Protected Types inherited from ranges::view_interface< Derived, Cardinality >
template<bool B>
using D = meta::invoke< detail::dependent_< B >, Derived >
 

Detailed Description

template<typename Derived, cardinality Cardinality>
struct ranges::view_facade< Derived, Cardinality >

A utility for constructing a view from a (derived) type that implements begin and end cursors.

Template Parameters
DerivedA type that derives from view_facade and implements begin and end cursors. This type is permitted to be incomplete.
CardinalityThe cardinality of this view: finite, infinite, or unknown. See ranges::cardinality.

Member Function Documentation

◆ template() [1/2]

template<typename Derived , cardinality Cardinality>
ranges::view_facade< Derived, Cardinality >::template ( typename D  = Derived)

Let d be static_cast<Derived &>(*this).

Let b be std::as_const(d).begin_cursor() if that expression is well-formed; otherwise, let b be d.begin_cursor(). Let B be the type of b.

Returns
ranges::basic_iterator<B>(b)

◆ template() [2/2]

template<typename Derived , cardinality Cardinality>
ranges::view_facade< Derived, Cardinality >::template ( typename D  = Derived)

Let d be static_cast<Derived &>(*this).

Let e be std::as_const(d).end_cursor() if that expression is well-formed; otherwise, let e be d.end_cursor(). Let E be the type of e.

Returns
ranges::basic_iterator<E>(e) if E is the same as B computed above for begin(); otherwise, return e.
The documentation for this struct was generated from the following files:
Generated by doxygen 1.9.1