di::concepts::BidirectionalIterator Concept Reference

#include <di/container/concepts/bidirectional_iterator.h>

Concept definition

template<typename Iter>
concept di::concepts::BidirectionalIterator = 
    ForwardIterator<Iter> && DerivedFrom<meta::IteratorCategory<Iter>, types::BidirectionalIteratorTag> &&
    requires(Iter iter) {
        { --iter } -> SameAs<Iter&>;
        { iter-- } -> SameAs<Iter>;
    }