Aleph::AlephTraversable Concept Reference

A container whose items can be visited with traverse(). More...

#include <ah-concepts.H>

Concept definition

template<typename C>
concept Aleph::AlephTraversable = 
      requires { typename C::Item_Type; } and
      requires(C & c, bool (&op)(const typename C::Item_Type &))
        {
          { c.traverse(op) } -> std::convertible_to<bool>;
        }

Detailed Description

A container whose items can be visited with traverse().

Requires Item_Type and a traverse(op) that accepts a predicate on const Item_Type & (return false to stop) and reports whether every item was visited.

Template Parameters

C	candidate container type.

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