jh::concepts::output_iterator Concept Reference

Concept for writable single-pass iterators. More...

#include <jh/conceptual/iterator.h>

Concept definition

    template<typename I, typename T = jh::concepts::iterator_value_t<I>>
    concept output_iterator =
    is_iterator<I> &&
    indirectly_writable<I, T> && requires(I it, T &&t) {
        *it++ = std::forward<T>(t);
    }

Detailed Description

Concept for writable single-pass iterators.

• Refines is_iterator and indirectly_writable, ensuring the iterator can assign values through dereference.
• Represents single-pass output traversal — writable but not necessarily readable or multi-pass.

Template Parameters

I	Iterator-like type providing writable sequential access.
T	Value type assignable through the iterator (defaults to iterator_value_t).