di::concepts Namespace Reference

Concepts
concept	AnyStorable
concept	AnyStorableInfallibly
concept	AnyStorage
concept	Impl
concept	Interface
concept	Method
concept	MethodCallableWith
concept	VTableFor
concept	BitTag
concept	Clock
concept	Allocator
concept	InfallibleAllocator
concept	FallibleAllocator
concept	BidirectionalContainer
concept	BidirectionalIterator
concept	BorrowedContainer
concept	CommonContainer
concept	ConstantContainer
concept	ConstantIterator
concept	Container
concept	ContainerCompatible
concept	ContainerIteratorReconstructibleContainer
concept	ContainerOf
concept	ContiguousContainer
concept	ContiguousIterator
concept	ForwardContainer
concept	ForwardIterator
concept	HasEmptyContainer
concept	IndirectBinaryPredicate
concept	IndirectEquivalenceRelation
concept	IndirectStrictWeakOrder
concept	IndirectStrictPartialOrder
concept	IndirectUnaryPredicate
concept	IndirectlyBinaryLeftFoldable
concept	IndirectlyBinaryRightFoldable
concept	IndirectlyComparable
concept	IndirectlyCopyable
concept	IndirectlyCopyableStorable
concept	IndirectlyMovable
concept	IndirectlyMovableStorable
concept	IndirectlyReadable
concept	IndirectlyRegularUnaryInvocable
concept	IndirectlySwappable
concept	IndirectlyUnaryInvocable
concept	IndirectlyWritable
concept	InputContainer
concept	InputIterator
concept	Iterator
concept	IteratorReconstructibleContainer
concept	Mergeable
concept	OutputContainer
concept	OutputIterator
concept	Permutable
concept	RandomAccessContainer
concept	RandomAccessIterator
concept	ReconstructibleContainer
concept	SentinelFor
concept	SimpleView
concept	SizedContainer
concept	SizedSentinelFor
concept	Sortable
concept	UninitBidirectionalContainer
concept	UninitBidirectionalIterator
concept	UninitForwardContainer
concept	UninitForwardIterator
concept	UninitInputContainer
concept	UninitInputIterator
concept	UninitSentinelFor
concept	View
concept	ViewableContainer
concept	WeaklyIncrementable
concept	HashSame
concept	Hashable
concept	Hasher
concept	Encoding
concept	HasEncoding
concept	AwaitSuspendResult
concept	AwaitableSender
concept	CompletionSignature
concept	ExecutionContext
concept	ForwardingQuery
concept	IsAwaitable
concept	IsAwaiter
concept	OperationState
concept	Queryable
concept	Receiver
concept	ReceiverOf
concept	Scheduler
concept	Sender
concept	SenderIn
concept	SenderOf
concept	SenderTo
concept	SingleSender
concept	ValidCompletionSignatures
concept	AsyncResource
	Checks that a type model AsyncResource.
concept	AsyncReadable
concept	AsyncWritable
concept	MessageWithReply
concept	HasProtocol
concept	Reply
concept	AlwaysLockstepSequence
	Checks if Send is a sequence that is always lockstep.
concept	DebugEnv
	Check the given environment is a debug environment.
concept	AsyncRange
concept	AwaitableAsyncRange
concept	NextSender
	A sender that can be returned from di::execution::set_next().
concept	SequenceSender
concept	SequenceSenderIn
concept	SubscriberOf
concept	SubscriberFrom
concept	SequenceSenderTo
concept	FormatArg
concept	FormatArgs
concept	FormatContext
concept	Formattable
concept	Invocable
concept	InvocableTo
concept	InvocableR
concept	MonadInstance
concept	Monad
concept	TagInvocable
concept	TagInvocableTo
concept	Callable
concept	CallableTo
concept	CommonReferenceWith
concept	CommonWith
concept	EqualityComparable
concept	EqualityComparableWith
concept	ThreeWayComparable
concept	ThreeWayComparableWith
concept	TotallyOrdered
concept	TotallyOrderedWith
concept	Constexpr
	Checks if T is a Constexpr instance.
concept	ConstexprOf
	Checks if T is a Constexpr instance with value U.
concept	Trait
concept	AlwaysFalse
	This concept is used with static_assert() to cause the static assert to fail only when the template has been instantiated.
concept	AlwaysTrue
	This concept is used with static_assert() to stop compilation if any provided type is not well-formed.
concept	SameAs
concept	OneOf
concept	LanguageVoid
concept	InstanceOf
concept	InstanceOfV
concept	InstanceOfT
concept	TypeList
concept	ValidInstantiation
concept	MetaInvocable
concept	Const
concept	LValueReference
concept	ConstLValueReference
concept	RValueReference
concept	MutableRValueReference
concept	Reference
concept	Pointer
concept	LanguageFunction
concept	BoundedLanguageArray
concept	UnboundedLanguageArray
concept	LanguageArray
concept	MemberPointer
concept	MemberFunctionPointer
concept	MemberObjectPointer
concept	NullPointer
concept	InitializerList
concept	Aggregate
concept	Integer
concept	Integral
concept	FloatingPoint
concept	Arithmetic
concept	Signed
concept	SignedInteger
concept	UnsignedInteger
concept	SignedIntegral
concept	UnsignedIntegral
concept	Class
concept	Union
concept	Enum
concept	IntegralOrEnum
concept	Scalar
concept	Object
concept	BaseOf
concept	UniqueObjectRepresentation
concept	ConstructibleFrom
concept	WeaklyAssignableFrom
concept	AssignableFrom
concept	DefaultConstructible
concept	DefaultInitializable
concept	CopyConstructible
concept	CopyAssignable
concept	Copyable
concept	MoveConstructible
concept	MoveAssignable
concept	Movable
concept	Destructible
concept	QualificationConvertibleTo
concept	ImplicitlyConvertibleTo
	Implicit conversion for this test refers to the ability to return a value of function from a type.
concept	ExplicitlyConvertibleTo
concept	ConvertibleTo
concept	ConvertibleToNonSlicing
	This concept requires that the conversion from From to To would not result in converting a derived type to a base type.
concept	DerivedFrom
concept	Semiregular
concept	Regular
concept	BooleanTestable
concept	CanReference
concept	Dereferenceable
concept	Predicate
concept	Relation
concept	EquivalenceRelation
concept	StrictWeakOrder
concept	StrictPartialOrder
concept	Trivial
concept	TriviallyAssignableFrom
concept	TriviallyConstructibleFrom
concept	TriviallyCopyAssignable
concept	TriviallyCopyConstructible
concept	TriviallyCopyable
concept	TriviallyDefaultConstructible
concept	TriviallyMoveAssignable
concept	TriviallyMoveConstructible
concept	TriviallyDestructible
concept	TriviallyRelocatable
concept	ImplicitLifetime
	An implicit life time type is one for which the object's lifetime can be started without an explicit call to its constructor.
concept	NotSameAs
concept	RemoveCVSameAs
concept	RemoveCVRefSameAs
concept	RemoveCVRefInstanceOf
concept	Like
concept	NotLike
concept	LikeDerivedFrom
concept	NotLikeDerivedFrom
concept	RemoveCVRefConstructible
concept	RemoveCVRefConvertible
concept	SameQualifiersAs
concept	DecaysTo
concept	NotDecaysTo
concept	DecayDerivedFrom
concept	NotDecayDerivedFrom
concept	DecaySameAs
concept	ClassType
concept	DecayConstructible
concept	DecayConvertible
concept	MovableValue
concept	Array
concept	Expected
concept	ExpectedOf
concept	ExpectedError
concept	MaybeFallible
concept	Optional
concept	OptionalOf
concept	ReferenceWrapper
concept	Span
concept	Tuple
concept	Unexpected
concept	Parser
concept	ParserContext
concept	ParserOf
concept	Parsable
concept	IntoParserContext
concept	UniformRandomBitGenerator
concept	Enumerator
concept	Field
concept	ReflectionValue
concept	Reflectable
concept	ReflectableToAtom
concept	ReflectableToFields
concept	ReflectableToEnumerators
concept	Deserializer
concept	DeserializationFormat
concept	Deserializable
concept	Serializer
concept	SerializationFormat
concept	Serializable
concept	Lock
concept	StoppableToken
concept	StoppableTokenFor
concept	UnstoppableToken
concept	BitwiseEnum
concept	Clonable
concept	CreatableFrom
concept	TemplateCreatableFrom
concept	CreateDeducible
concept	HasNamedArgument
	A concept to check if a named argument is present.
concept	ValidNamedArguments
	A concept to check if a list of named arguments is valid.
concept	Swappable
concept	SwappableWith
concept	ErasedStatusCode
concept	StatusCode
concept	StatusCodeErasableInto
concept	ConvertibleToAnyStatusCode
concept	ConvertibleToStatusCode
concept	CommonErrorWith
concept	Extents
concept	MDAccessor
concept	MDLayoutMapping
concept	MDLayout
concept	TupleLike
concept	VariantLike

Variables
constexpr auto	trivially_relocatable = detail::TriviallyRelocatableFunction {}

Variable Documentation

trivially_relocatable

auto di::concepts::trivially_relocatable = detail::TriviallyRelocatableFunction {}

inlineconstexpr