Iros
Loading...
Searching...
No Matches
di::concepts::IndirectStrictWeakOrder Concept Reference
#include <
di/container/concepts/indirect_strict_weak_order.h
>
Concept definition
template
<
typename
F,
typename
It,
typename
Jt It>
concept
di::concepts::IndirectStrictWeakOrder
=
IndirectlyReadable<It>
&&
IndirectlyReadable<Jt>
&&
CopyConstructible<F>
&&
StrictWeakOrder<F&, meta::IteratorValue<It>
&,
meta::IteratorValue<Jt>
&> &&
StrictWeakOrder<F&, meta::IteratorValue<It>
&,
meta::IteratorReference<Jt>
> &&
StrictWeakOrder<F&, meta::IteratorReference<It>
,
meta::IteratorValue<Jt>
&> &&
StrictWeakOrder<F&, meta::IteratorReference<It>
,
meta::IteratorReference<Jt>
> &&
StrictWeakOrder<F&, meta::IteratorCommonReference<It>
,
meta::IteratorCommonReference<Jt>
>
di::concepts::CopyConstructible
Definition
operations.h:34
di::concepts::IndirectStrictWeakOrder
Definition
indirect_strict_weak_order.h:12
di::concepts::IndirectlyReadable
Definition
indirectly_readable.h:26
di::concepts::StrictWeakOrder
Definition
relation.h:31
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
IndirectStrictWeakOrder
Generated by
1.13.0