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