Concepts

Here is a list of all concepts with brief descriptions:

[detail level 123456]

▼Ndi
►Nconcepts
►Ndetail
RVTableValidFor
RIndirectlyBinaryLeftFoldableHelper
RIndirectlyReadableHelper
RConstantRing
RMutableRing
RConstantString
RMutableString
RConstantVector
RMutableVector
RValidCompletionFor
RAdaptableToSequence
RComparesAs
RWeaklyEqualityComparableWith
RPartiallyOrderedWith
RWeaklyThreeWayComparableWith
RDestructibleHelper
RBooleanTestableImpl
RStrictWeakOrderCategory
RComparisonCategory
RInvocableToStrictWeakOrder
RInvocableToComparisonCategory
RStatusCodeErasableIntoHelper
RExpectedCanConvertConstructor
RIsMappingOf
RHasMemberGet
RCanStructuredBind
RHasTupleElement
RHasTupleGet
RHasVariantAlernative
RHasVariantGet
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
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
►Ncontainer
►Ndetail
RDirectConstructSequenceTo
RTagConstructSequenceTo
RReservableContainer
RDirectConstructTo
RTagConstructTo
RHashableContainer
RCustomFront
RMemberFront
RBeginFront
RCustomBack
RMemberBack
RRBeginBack
RCustomAt
RMemberAt
RIndexAt
RIteratorAt
RArrayBegin
RCustomBegin
RMemberBegin
RCustomData
RMemberData
RBeginData
RCustomEmpty
RMemberEmpty
RSizeEmpty
RIteratorEmpty
RArrayEnd
RCustomEnd
RMemberEnd
RCustomRBegin
RMemberRBegin
RReverseIteratorRBegin
RCustomReconstruct
RViewReconstruct
RValidREndReturn
RCustomREnd
RMemberREnd
RReverseIteratorREnd
RArraySize
RCustomSize
RMemberSize
RIteratorSize
RCustomSSize
RSizeSSize
RCustomIterMove
RRegularIterMove
RDerefIterMove
RCustomIteratorSwap
RDerefIteratorSwap
RExchangeIteratorSwap
RSized
REqual
RPriorityQueueCompatible
RQueueCompatible
RStackCompatible
RCanInvokeRepeat
RCartesianProductIsRandomAccess
RCartesianProductCommonArg
RCartesianProductIsBidirectional
RCartesianProductIsCommon
RCartesianProductIsSized
RCartesianSentinelIsSized
RConcatIndirectlyReadableImpl
RConcatIndirectlyReadable
RConcatable
RConcatRandomAccess
RConcatBidirectional
RReturnableElement
RIotaIncrementable
RIotaDecrementable
RIotaAdvancable
RCompatibleJoinableContainers
RBidirectionalCommon
RSlideCachesNothing
RSlideCachesLast
RSlideCachesFirst
►Nerase_ns
RCustomEraseIf
RMemberEraseIf
RCustomErase
RMemberErase
REraseIfErase
►Nstring
►Nencoding
►Ndetail
RCodePointView
RUnicodeCodePointView
RUniversal
RContiguous
RNullTerminated
►Nview
►Ndetail
RAllRefView
RAllOwningView
RAllAsConst
RAsConstViewAsConst
RAllAsRValue
RAsRValueViewAsRValue
RCustomCartesianProduct
REmptyCartesianProduct
RViewCartesianProduct
RCustomChunk
RViewChunk
RCustomChunkBy
RViewChunkBy
RAllCommon
RViewCommon
RCustomConcat
RAllConcat
RViewConcat
RCustomCounted
RSpanCounted
RViewCounted
RCustomCycle
RViewCycle
RCustomDropWhile
RViewDropWhile
RCustomEnumerate
RViewEnumerate
RCustomFilter
RViewFilter
RCustomJoin
RViewJoin
RCustomJoinWith
RViewJoinWith
RIsReverseView
RIsReverseRawView
RCanReverseView
RCustomSlide
RViewSlide
RCustomSplit
RViewSplit
RCustomStride
RViewStride
RCustomTakeWhile
RViewTakeWhile
RRegularTransform
RCustomZip
REmptyZip
RViewZip
RCustomZipTransform
REmptyZipTransform
RViewZipTransform
►Nexecution
►Ndetail
RCustomConnect
RAwaitableConnect
►Nmake_env_ns
ROverride
RHasTag
►Nrequest_stop_ns
RMemberInvocable
►Nwhen_all_ns
RValidSenders
RScope	A type which models an async scope
►Nformat
►Ndetail
RToStringFormattable
►Nfunction
►Ndetail
RTupleInvoceable
RCanUncurry
►Nfunction_ns
RStoredInline
►Npipeline
RPipeable
►Nmath
►Ndetail
RIsRatio
►Nlinalg
►Ndetail
RTag
►Nmeta
►Ndetail
RNeedsDecay
RHasCustomCommonType
RValueCommonType
RReferenceCommonType
RHasSimpleCommonReference
RHasCustomCommonReference
RHasValueCommonReference
RHasCommonTypeCommonReference
RConstexprParam
RDerivedFromConstexpr
RLhsConstexprParam
RHasCustomCommonError
RConvertibleToError
RCommonErrorIsError
RUniqueType
RContains
RExactlyOnce
►Nutil
►Ndetail
RCustomClonable
RMemberClonable
RCustomCreatable
RStaticCreatable
RCTADDeducible
RRebindableBoxCanConvertConstructor
RIsRebindableBox
RTag
RMemberToOwned
►Nvocab
►Ndetail
RConvertibleToWorkaround
RIsMappingOf
RLayoutMappingAlike
ROptionalConvertibleToWorkaround
RIntrusivePtrValid
RVariantValidOverload
RMemberVariantIndex
RConstructibleFromCRefOptional
ROptionalStorage
▼Ndius
►Nmain
►Ndetail
RHasHelp
►Nsystem
►Ndetail
RSystemCallArgument
RSystemCallResult