Concepts

Here is a list of all concepts with brief descriptions:

[detail level 12345]

Ndi
Nconcepts
RAnyStorable
RAnyStorableInfallibly
RAnyStorage
RImpl
RInterface
RMethod
RMethodCallableWith
RVTableFor
RBitTag
RClock
RAllocator
RInfallibleAllocator
RFallibleAllocator
RBidirectionalContainer
RBidirectionalIterator
RBorrowedContainer
RCommonContainer
RConstantContainer
RConstantIterator
RContainer
RContainerCompatible
RContainerIteratorReconstructibleContainer
RContainerOf
RContiguousContainer
RContiguousIterator
RForwardContainer
RForwardIterator
RHasEmptyContainer
RIndirectBinaryPredicate
RIndirectEquivalenceRelation
RIndirectStrictWeakOrder
RIndirectStrictPartialOrder
RIndirectUnaryPredicate
RIndirectlyBinaryLeftFoldable
RIndirectlyBinaryRightFoldable
RIndirectlyComparable
RIndirectlyCopyable
RIndirectlyCopyableStorable
RIndirectlyMovable
RIndirectlyMovableStorable
RIndirectlyReadable
RIndirectlyRegularUnaryInvocable
RIndirectlySwappable
RIndirectlyUnaryInvocable
RIndirectlyWritable
RInputContainer
RInputIterator
RIterator
RIteratorReconstructibleContainer
RMergeable
ROutputContainer
ROutputIterator
RPermutable
RRandomAccessContainer
RRandomAccessIterator
RReconstructibleContainer
RSentinelFor
RSimpleView
RSizedContainer
RSizedSentinelFor
RSortable
RUninitBidirectionalContainer
RUninitBidirectionalIterator
RUninitForwardContainer
RUninitForwardIterator
RUninitInputContainer
RUninitInputIterator
RUninitSentinelFor
RView
RViewableContainer
RWeaklyIncrementable
RHashSame
RHashable
RHasher
REncoding
RHasEncoding
RAwaitSuspendResult
RAwaitableSender
RCompletionSignature
RExecutionContext
RForwardingQuery
RIsAwaitable
RIsAwaiter
ROperationState
RQueryable
RReceiver
RReceiverOf
RScheduler
RSender
RSenderIn
RSenderOf
RSenderTo
RSingleSender
RValidCompletionSignatures
RAsyncResource	Checks that a type model AsyncResource
RAsyncReadable
RAsyncWritable
RMessageWithReply
RHasProtocol
RReply
RAlwaysLockstepSequence	Checks if Send is a sequence that is always lockstep
RDebugEnv	Check the given environment is a debug environment
RAsyncRange
RAwaitableAsyncRange
RNextSender	A sender that can be returned from di::execution::set_next()
RSequenceSender
RSequenceSenderIn
RSubscriberOf
RSubscriberFrom
RSequenceSenderTo
RFormatArg
RFormatArgs
RFormatContext
RFormattable
RInvocable
RInvocableTo
RInvocableR
RMonadInstance
RMonad
RTagInvocable
RTagInvocableTo
RCallable
RCallableTo
RCommonReferenceWith
RCommonWith
REqualityComparable
REqualityComparableWith
RThreeWayComparable
RThreeWayComparableWith
RTotallyOrdered
RTotallyOrderedWith
RConstexpr	Checks if T is a Constexpr instance
RConstexprOf	Checks if T is a Constexpr instance with value U
RTrait
RAlwaysFalse	This concept is used with static_assert() to cause the static assert to fail only when the template has been instantiated
RAlwaysTrue	This concept is used with static_assert() to stop compilation if any provided type is not well-formed
RSameAs
ROneOf
RLanguageVoid
RInstanceOf
RInstanceOfV
RInstanceOfT
RTypeList
RValidInstantiation
RMetaInvocable
RConst
RLValueReference
RConstLValueReference
RRValueReference
RMutableRValueReference
RReference
RPointer
RLanguageFunction
RBoundedLanguageArray
RUnboundedLanguageArray
RLanguageArray
RMemberPointer
RMemberFunctionPointer
RMemberObjectPointer
RNullPointer
RInitializerList
RAggregate
RInteger
RIntegral
RFloatingPoint
RArithmetic
RSigned
RSignedInteger
RUnsignedInteger
RSignedIntegral
RUnsignedIntegral
RClass
RUnion
REnum
RIntegralOrEnum
RScalar
RObject
RBaseOf
RUniqueObjectRepresentation
RConstructibleFrom
RWeaklyAssignableFrom
RAssignableFrom
RDefaultConstructible
RDefaultInitializable
RCopyConstructible
RCopyAssignable
RCopyable
RMoveConstructible
RMoveAssignable
RMovable
RDestructible
RQualificationConvertibleTo
RImplicitlyConvertibleTo	Implicit conversion for this test refers to the ability to return a value of function from a type
RExplicitlyConvertibleTo
RConvertibleTo
RConvertibleToNonSlicing	This concept requires that the conversion from From to To would not result in converting a derived type to a base type
RDerivedFrom
RSemiregular
RRegular
RBooleanTestable
RCanReference
RDereferenceable
RPredicate
RRelation
REquivalenceRelation
RStrictWeakOrder
RStrictPartialOrder
RTrivial
RTriviallyAssignableFrom
RTriviallyConstructibleFrom
RTriviallyCopyAssignable
RTriviallyCopyConstructible
RTriviallyCopyable
RTriviallyDefaultConstructible
RTriviallyMoveAssignable
RTriviallyMoveConstructible
RTriviallyDestructible
RTriviallyRelocatable
RImplicitLifetime	An implicit life time type is one for which the object's lifetime can be started without an explicit call to its constructor
RNotSameAs
RRemoveCVSameAs
RRemoveCVRefSameAs
RRemoveCVRefInstanceOf
RLike
RNotLike
RLikeDerivedFrom
RNotLikeDerivedFrom
RRemoveCVRefConstructible
RRemoveCVRefConvertible
RSameQualifiersAs
RDecaysTo
RNotDecaysTo
RDecayDerivedFrom
RNotDecayDerivedFrom
RDecaySameAs
RClassType
RDecayConstructible
RDecayConvertible
RMovableValue
RArray
RExpected
RExpectedOf
RExpectedError
RMaybeFallible
ROptional
ROptionalOf
RReferenceWrapper
RSpan
RTuple
RUnexpected
RParser
RParserContext
RParserOf
RParsable
RIntoParserContext
RUniformRandomBitGenerator
REnumerator
RField
RReflectionValue
RReflectable
RReflectableToAtom
RReflectableToFields
RReflectableToEnumerators
RDeserializer
RDeserializationFormat
RDeserializable
RSerializer
RSerializationFormat
RSerializable
RLock
RStoppableToken
RStoppableTokenFor
RUnstoppableToken
RBitwiseEnum
RClonable
RCreatableFrom
RTemplateCreatableFrom
RCreateDeducible
RHasNamedArgument	A concept to check if a named argument is present
RValidNamedArguments	A concept to check if a list of named arguments is valid
RSwappable
RSwappableWith
RErasedStatusCode
RStatusCode
RStatusCodeErasableInto
RConvertibleToAnyStatusCode
RConvertibleToStatusCode
RCommonErrorWith
RExtents
RMDAccessor
RMDLayoutMapping
RMDLayout
RTupleLike
RVariantLike
Nmeta
RUniqueType
RContains
RExactlyOnce
Ncli
RHasCliParser
Ncontainer
Nerase_ns
RCustomEraseIf
RMemberEraseIf
RCustomErase
RMemberErase
REraseIfErase
Nstring
Nencoding
RUniversal
RContiguous
RNullTerminated
Nexecution
Nwhen_all_ns
RValidSenders
Nmake_env_ns
ROverride
RHasTag
Nrequest_stop_ns
RMemberInvocable
RScope	A type which models an async scope
Nvocab
RConstructibleFromCRefOptional
ROptionalStorage
Nfunction
Nfunction_ns
RStoredInline
Npipeline
RPipeable