sparrow/conceptsparrow_1_1layout.html

template<class T>

concept sparrow::layout =  requires(const T& t) {

    typename T::inner_value_type;

    typename T::value_type;

    typename T::const_reference;

    typename T::size_type;

    typename T::const_iterator;

    typename T::const_reverse_iterator;


    requires detail::layout_const_reference<typename T::const_reference>;


    { t[std::size_t()] } -> std::same_as<typename T::const_reference>;

    { t.size() } -> std::same_as<typename T::size_type>;


    { t.begin() } -> std::same_as<typename T::const_iterator>;

    { t.end() } -> std::same_as<typename T::const_iterator>;

    { t.cbegin() } -> std::same_as<typename T::const_iterator>;

    { t.cend() } -> std::same_as<typename T::const_iterator>;

    { t.rbegin() } -> std::same_as<typename T::const_reverse_iterator>;

    { t.rend() } -> std::same_as<typename T::const_reverse_iterator>;

    { t.crbegin() } -> std::same_as<typename T::const_reverse_iterator>;

    { t.crend() } -> std::same_as<typename T::const_reverse_iterator>;

}

sparrow::detail::layout_const_reference
Definition layout_concept.hpp:26

sparrow::layout
Concept for layouts.
Definition layout_concept.hpp:41