Aleph::concepts_detail::traverse_arg< Container, Deferred > Struct Template Reference

What Container::Iterator::get_curr() yields, deferred. More...

#include <ah-concepts.H>

Public Types
using	type = decltype(std::declval< typename defer< Container, Deferred >::type::Iterator & >().get_curr())

Detailed Description

template<class Container, class Deferred>
struct Aleph::concepts_detail::traverse_arg< Container, Deferred >

What Container::Iterator::get_curr() yields, deferred.

The argument type a mixin's iterator-driven traverse() passes to its operation. Deferred on Deferred for the same reason as defer.

Template Parameters

Container	the CRTP-derived container.
Deferred	any type dependent on the member template.

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

Member Typedef Documentation

type

template<class Container , class Deferred >

using Aleph::concepts_detail::traverse_arg< Container, Deferred >::type = decltype(std::declval<typename defer<Container, Deferred>::type::Iterator &>().get_curr())

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

---

The documentation for this struct was generated from the following file:

• ah-concepts.H