di::concepts::IndirectEquivalenceRelation Concept Reference

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

Concept definition

template<class F, class It, class Jt It>
concept di::concepts::IndirectEquivalenceRelation = 
    concepts::IndirectlyReadable<It> && concepts::IndirectlyReadable<Jt> && concepts::CopyConstructible<F> &&
    concepts::EquivalenceRelation<F&, meta::IteratorValue<It>&, meta::IteratorValue<Jt>&> &&
    concepts::EquivalenceRelation<F&, meta::IteratorValue<It>&, meta::IteratorReference<Jt>> &&
    concepts::EquivalenceRelation<F&, meta::IteratorReference<It>, meta::IteratorValue<Jt>&> &&
    concepts::EquivalenceRelation<F&, meta::IteratorReference<It>, meta::IteratorReference<Jt>> &&
    concepts::EquivalenceRelation<F&, meta::IteratorCommonReference<It>, meta::IteratorCommonReference<Jt>>