view-concepts.hpp File Reference

#include "basics/compatibility/language-features.hpp"
#include "basics/compatibility/internal/exposition.hpp"
#include "basics/global-definitions.hpp"
#include "view_interface.hpp"

Include dependency graph for view-concepts.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	OpenKalman::stdex::ranges::view_base
struct	OpenKalman::stdex::ranges::detail::is_derived_from_view_interface< T, typename >
struct	OpenKalman::stdex::ranges::detail::is_derived_from_view_interface< T, std::void_t< decltype(is_derived_from_view_interface_test(std::declval< T >(), std::declval< T >()))> >

Functions
template<typename T , typename U , std::enable_if_t< not std::is_same_v< T, view_interface< U >>, int > = 0>
void	OpenKalman::stdex::ranges::detail::is_derived_from_view_interface_test (const T &, const view_interface< U > &)

Variables
template<class T >
constexpr bool	OpenKalman::stdex::ranges::enable_view
template<typename T >
constexpr bool	OpenKalman::stdex::ranges::view = range<T> and stdex::movable<T> and enable_view<T>
template<typename T >
constexpr bool	OpenKalman::stdex::ranges::viewable_range

Variable Documentation

enable_view

template<class T >

constexpr bool OpenKalman::stdex::ranges::enable_view

inline

Initial value:

=
    (std::is_base_of_v<view_base, T> and stdex::convertible_to<const volatile T&, const volatile view_base&>) or
    detail::is_derived_from_view_interface<T>::value

viewable_range

template<typename T >

constexpr bool OpenKalman::stdex::ranges::viewable_range

Initial value:

=  stdex::ranges::range<T> and
    ((view<stdex::remove_cvref_t<T>> and stdex::constructible_from<stdex::remove_cvref_t<T>, T>) or
     (not view<remove_cvref_t<T>> and
      (std::is_lvalue_reference_v<T> or
        (stdex::movable<std::remove_reference_t<T>> and not OpenKalman::internal::is_initializer_list<stdex::remove_cvref_t<T>>::value))))