Aleph::AlephIterableContainer Concept Reference

A traversable, AlephIterable container with a size. More...

#include <ah-concepts.H>

Concept definition

template<typename C>
concept Aleph::AlephIterableContainer = 
      AlephTraversable<C> and
      AlephIterable<C> and
      requires(const C & cc)
        {
          { cc.size() } -> std::convertible_to<std::size_t>;
          { cc.is_empty() } -> std::convertible_to<bool>;
        }

Detailed Description

A traversable, AlephIterable container with a size.

Adds size() and is_empty() on a const container. (Named to avoid clashing with the STL-range AlephContainer of ah-ranges.H.)

Template Parameters

C	candidate container type.

Definition at line 344 of file ah-concepts.H.