Loading [MathJax]/jax/input/TeX/config.js
Iros
▼
Iros
►
Iros Project Documentation
►
Namespaces
▼
Concepts
▼
di
▼
concepts
►
detail
AnyStorable
AnyStorableInfallibly
AnyStorage
Impl
Interface
Method
MethodCallableWith
VTableFor
BitTag
Clock
Allocator
InfallibleAllocator
FallibleAllocator
BidirectionalContainer
BidirectionalIterator
BorrowedContainer
CommonContainer
ConstantContainer
ConstantIterator
Container
ContainerCompatible
ContainerIteratorReconstructibleContainer
ContainerOf
ContiguousContainer
ContiguousIterator
ForwardContainer
ForwardIterator
HasEmptyContainer
IndirectBinaryPredicate
IndirectEquivalenceRelation
IndirectStrictWeakOrder
IndirectStrictPartialOrder
IndirectUnaryPredicate
IndirectlyBinaryLeftFoldable
IndirectlyBinaryRightFoldable
IndirectlyComparable
IndirectlyCopyable
IndirectlyCopyableStorable
IndirectlyMovable
IndirectlyMovableStorable
IndirectlyReadable
IndirectlyRegularUnaryInvocable
IndirectlySwappable
IndirectlyUnaryInvocable
IndirectlyWritable
InputContainer
InputIterator
Iterator
IteratorReconstructibleContainer
Mergeable
OutputContainer
OutputIterator
Permutable
RandomAccessContainer
RandomAccessIterator
ReconstructibleContainer
SentinelFor
SimpleView
SizedContainer
SizedSentinelFor
Sortable
UninitBidirectionalContainer
UninitBidirectionalIterator
UninitForwardContainer
UninitForwardIterator
UninitInputContainer
UninitInputIterator
UninitSentinelFor
View
ViewableContainer
WeaklyIncrementable
HashSame
Hashable
Hasher
Encoding
HasEncoding
AwaitSuspendResult
AwaitableSender
CompletionSignature
ExecutionContext
ForwardingQuery
IsAwaitable
IsAwaiter
OperationState
Queryable
Receiver
ReceiverOf
Scheduler
Sender
SenderIn
SenderOf
SenderTo
SingleSender
ValidCompletionSignatures
AsyncResource
AsyncReadable
AsyncWritable
MessageWithReply
HasProtocol
Reply
AlwaysLockstepSequence
DebugEnv
AsyncRange
AwaitableAsyncRange
NextSender
SequenceSender
SequenceSenderIn
SubscriberOf
SubscriberFrom
SequenceSenderTo
FormatArg
FormatArgs
FormatContext
Formattable
Invocable
InvocableTo
InvocableR
MonadInstance
Monad
TagInvocable
TagInvocableTo
Callable
CallableTo
CommonReferenceWith
CommonWith
EqualityComparable
EqualityComparableWith
ThreeWayComparable
ThreeWayComparableWith
TotallyOrdered
TotallyOrderedWith
Constexpr
ConstexprOf
Trait
AlwaysFalse
AlwaysTrue
SameAs
OneOf
LanguageVoid
InstanceOf
InstanceOfV
InstanceOfT
TypeList
ValidInstantiation
MetaInvocable
Const
LValueReference
ConstLValueReference
RValueReference
MutableRValueReference
Reference
Pointer
LanguageFunction
BoundedLanguageArray
UnboundedLanguageArray
LanguageArray
MemberPointer
MemberFunctionPointer
MemberObjectPointer
NullPointer
InitializerList
Aggregate
Integer
Integral
FloatingPoint
Arithmetic
Signed
SignedInteger
UnsignedInteger
SignedIntegral
UnsignedIntegral
Class
Union
Enum
IntegralOrEnum
Scalar
Object
BaseOf
UniqueObjectRepresentation
ConstructibleFrom
WeaklyAssignableFrom
AssignableFrom
DefaultConstructible
DefaultInitializable
CopyConstructible
CopyAssignable
Copyable
MoveConstructible
MoveAssignable
Movable
Destructible
QualificationConvertibleTo
ImplicitlyConvertibleTo
ExplicitlyConvertibleTo
ConvertibleTo
ConvertibleToNonSlicing
DerivedFrom
Semiregular
Regular
BooleanTestable
CanReference
Dereferenceable
Predicate
Relation
EquivalenceRelation
StrictWeakOrder
StrictPartialOrder
Trivial
TriviallyAssignableFrom
TriviallyConstructibleFrom
TriviallyCopyAssignable
TriviallyCopyConstructible
TriviallyCopyable
TriviallyDefaultConstructible
TriviallyMoveAssignable
TriviallyMoveConstructible
TriviallyDestructible
TriviallyRelocatable
ImplicitLifetime
NotSameAs
RemoveCVSameAs
RemoveCVRefSameAs
RemoveCVRefInstanceOf
Like
NotLike
LikeDerivedFrom
NotLikeDerivedFrom
RemoveCVRefConstructible
RemoveCVRefConvertible
SameQualifiersAs
DecaysTo
NotDecaysTo
DecayDerivedFrom
NotDecayDerivedFrom
DecaySameAs
ClassType
DecayConstructible
DecayConvertible
MovableValue
Array
Expected
ExpectedOf
ExpectedError
MaybeFallible
Optional
OptionalOf
ReferenceWrapper
Span
Tuple
Unexpected
Parser
ParserContext
ParserOf
Parsable
IntoParserContext
UniformRandomBitGenerator
Enumerator
Field
ReflectionValue
Reflectable
ReflectableToAtom
ReflectableToFields
ReflectableToEnumerators
Deserializer
DeserializationFormat
Deserializable
Serializer
SerializationFormat
Serializable
Lock
StoppableToken
StoppableTokenFor
UnstoppableToken
Clonable
CreatableFrom
TemplateCreatableFrom
CreateDeducible
HasNamedArgument
ValidNamedArguments
Swappable
SwappableWith
ErasedStatusCode
StatusCode
StatusCodeErasableInto
ConvertibleToAnyStatusCode
ConvertibleToStatusCode
CommonErrorWith
Extents
MDAccessor
MDLayoutMapping
MDLayout
TupleLike
VariantLike
►
container
►
execution
►
format
►
function
►
math
►
meta
►
util
►
vocab
►
dius
►
Classes
►
Files
GitHub
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
Concepts
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.0