di
0.1.0
Loading...
Searching...
No Matches
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>
>
di::concepts::CopyConstructible
Definition
operations.h:34
di::concepts::EquivalenceRelation
Definition
relation.h:13
di::concepts::IndirectEquivalenceRelation
Definition
indirect_equivalence_relation.h:11
di::concepts::IndirectlyReadable
Definition
indirectly_readable.h:26
di::meta::IteratorCommonReference
meta::CommonReference< meta::IteratorReference< T >, meta::IteratorValue< T > & > IteratorCommonReference
Definition
iterator_common_reference.h:10
di::meta::IteratorValue
meta::Type< decltype(container::iterator_value(types::in_place_type< meta::RemoveCVRef< T > >))> IteratorValue
Definition
iterator_value.h:8
di::meta::IteratorReference
decltype(*util::declval< T const & >()) IteratorReference
Definition
iterator_reference.h:7
di
concepts
IndirectEquivalenceRelation
Generated by
1.13.2