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 >:

Classes
struct	view_as_cursor

Public Member Functions
	template (typename D=Derived)() const expr auto begin() -> detail::facade_iterator_t< D >
	Let d be static_cast<Derived &>(*this).
	template (typename D=Derived)() const expr auto begin() const -> detail::facade_iterator_t< D 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 D=Derived)() const expr auto end() -> detail::facade_sentinel_t< D >
	Let d be static_cast<Derived &>(*this).
	template (typename D=Derived)() const expr auto end() const -> detail::facade_sentinel_t< D const >
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
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
CPP_member constexpr auto	empty () const noexcept -> CPP_ret(bool)()
	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

Derived	A type that derives from view_facade and implements begin and end cursors. This type is permitted to be incomplete.
Cardinality	The cardinality of this view: finite, infinite, or unknown. See ranges::cardinality.

Member Function Documentation

template<typename Derived, cardinality Cardinality>

ranges::view_facade< Derived, Cardinality >::template ( typename D = Derived ) const->detail::facade_iterator_t< D >

inline

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.

template<typename Derived, cardinality Cardinality>

ranges::view_facade< Derived, Cardinality >::template ( typename D = Derived ) const->detail::facade_sentinel_t< D >

inline

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: