di::meta::detail Namespace Reference

Classes
struct	AddLValueReferenceHelper
struct	AddLValueReferenceHelper< T >
struct	AddPointerHelper
struct	AddPointerHelper< T >
struct	AddRValueReferenceHelper
struct	AddRValueReferenceHelper< T >
struct	AllHelper
struct	AllHelper< Pred, List< Types... > >
struct	ApplyHelper
struct	ApplyHelper< F, List< Args... > >
struct	AsLanguageFunction
struct	AsLanguageFunction< R, List< Types... > >
struct	AsListHelper
struct	AsListHelper< ListV< values... > >
struct	AsListHelper< R(Args...)>
struct	AsListHelper< Template< Types... > >
struct	AsTemplateHelper
struct	AsTemplateHelper< Template, List< Types... > >
struct	AtHelper
struct	AtHelper< 0, T, Rest... >
struct	AtHelper< index, T, Rest... >
struct	BackHelper
struct	BackHelper< Head, Tail... >
struct	BackHelper< T >
struct	CartesianProductHelper
struct	CartesianProductHelper< List< Ts... >, Rest... >
struct	CartesianProductHelper< List< Types... > >
struct	CartesianProductHelper<>
struct	ChainHelper
struct	ChainHelper< F >
struct	ChainHelper< F, G >
struct	ChainHelper< F, Gs... >
struct	CommonComparisonCategoryHelper
struct	CommonComparisonCategoryHelper< partial_ordering, Types... >
struct	CommonComparisonCategoryHelper< strong_ordering, Types... >
struct	CommonComparisonCategoryHelper< weak_ordering, Types... >
struct	CommonComparisonCategoryHelper<>
struct	CommonErrorHelper
struct	CommonErrorHelper< T >
struct	CommonErrorHelper< T, U >
struct	CommonErrorHelper< T, U, W, Rest... >
struct	CommonErrorHelper< T, Variant< Us... > >
struct	CommonErrorHelper< Variant< Ts... >, U >
struct	CommonErrorHelper< Variant< Ts... >, Variant< Us... > >
struct	CommonReferenceHelper
struct	CommonReferenceHelper< T >
struct	CommonReferenceHelper< T, U >
struct	CommonReferenceHelper< T, U, W, Rest... >
struct	CommonTypeHelper
struct	CommonTypeHelper< T >
struct	CommonTypeHelper< T, U >
struct	CommonTypeHelper< T, U, W, Rest... >
struct	CompareThreeWayResultHelper
struct	CompareThreeWayResultHelper< T, U >
struct	ComposeHelper
struct	ComposeHelper< F >
struct	ComposeHelper< F, G >
struct	ComposeHelper< F, Gs... >
struct	ConcatHelper
struct	ConcatHelper< List< Ts... >, List< Us... >, Rest... >
struct	ConcatHelper< T >
struct	ConcatHelper<>
struct	ConditionalHelper
struct	ConditionalHelper< false, T, U >
struct	ConstSentinelHelper
struct	ConstSentinelHelper< Iter >
struct	CountHelper
struct	CountHelper< T, List< U, Rest... > >
struct	CountHelper< T, List<> >
struct	DeferHelper
struct	DeferHelper< Fun, Args... >
struct	EmptyVariant
struct	FilterReducer
struct	FoldHelper
struct	FoldHelper< List< T, Rest... >, Acc, MetaFn >
struct	FoldHelper< List<>, Acc, MetaFn >
struct	FoldRightHelper
struct	FoldRightHelper< List< T, Rest... >, Init, MetaFn >
struct	FoldRightHelper< List<>, Init, MetaFn >
struct	GatherSignaturesHelper
struct	GatherSignaturesHelper< Tag, List< T, Rest... >, Tup >
struct	GatherSignaturesHelper< Tag, List<>, Tup >
struct	GetElement
struct	GetElementHelper
struct	GetElementHelper< Tup, Constexpr< index > >
struct	IndirectMetaApply
struct	LanguageFunctionReturnHelper
struct	LanguageFunctionReturnHelper< R(Args...)>
struct	LikeExpectedHelper
struct	LikeExpectedHelper< vocab::Expected< X, E >, U >
struct	LikeHelper
struct	LikeHelper< T &&, U >
struct	LikeHelper< T &, U >
struct	LikeHelper< T const &&, U >
struct	LikeHelper< T const &, U >
struct	LikeHelper< T const volatile &&, U >
struct	LikeHelper< T const volatile &, U >
struct	LikeHelper< T const volatile, U >
struct	LikeHelper< T const, U >
struct	LikeHelper< T volatile &&, U >
struct	LikeHelper< T volatile &, U >
struct	LikeHelper< T volatile, U >
struct	LookupHelper
struct	LookupHelper< Needle, T, Rest... >
struct	MakeCompletionSignaturesHelper
struct	MakeCompletionSignaturesHelper< As, meta::List< Bs... >, meta::List< Cs... >, Ds >
struct	MakeIntegerSequenceConcatHelper
struct	MakeIntegerSequenceConcatHelper< T, ListV< s1... >, ListV< s2... > >
struct	MakeIntegerSequenceHelper
struct	MakeIntegerSequenceHelper< T, 0 >
struct	MakeIntegerSequenceHelper< T, 1 >
struct	MakeSignedHelper
struct	MakeSignedHelper< char16_t >
struct	MakeSignedHelper< char32_t >
struct	MakeSignedHelper< char8_t >
struct	MakeSignedHelper< double >
struct	MakeSignedHelper< float >
struct	MakeSignedHelper< T >
struct	MakeSignedHelper< unsigned char >
struct	MakeSignedHelper< unsigned int >
struct	MakeSignedHelper< unsigned long >
struct	MakeSignedHelper< unsigned long long >
struct	MakeSignedHelper< unsigned short >
struct	MakeUnsignedHelper
struct	MakeUnsignedHelper< char >
struct	MakeUnsignedHelper< char16_t >
struct	MakeUnsignedHelper< char32_t >
struct	MakeUnsignedHelper< char8_t >
struct	MakeUnsignedHelper< int >
struct	MakeUnsignedHelper< long >
struct	MakeUnsignedHelper< long long >
struct	MakeUnsignedHelper< short >
struct	MakeUnsignedHelper< signed char >
struct	MakeUnsignedHelper< T >
struct	MemberPointerClassHelper
struct	MemberPointerClassHelper< Value Class::* >
struct	MemberPointerValueHelper
struct	MemberPointerValueHelper< Value Class::* >
struct	MessageReplyHelper
struct	MessageReplyHelper< T >
struct	MetaApply
struct	MetaApply< F, meta::List< Args... > >
struct	MustBeClientOrServer
struct	PopBackHelper
struct	PopBackHelper< List< T, U, Rest... > >
struct	PopFrontHelper
struct	PopFrontHelper< List< T, Rest... > >
struct	ProjectQualifiers
struct	PushBackIfUnique
struct	RemoveAllExtentsHelper
struct	RemoveAllExtentsHelper< T >
struct	RemoveConstHelper
struct	RemoveConstHelper< T const >
struct	RemoveExtentHelper
struct	RemoveExtentHelper< T[]>
struct	RemoveExtentHelper< T[N]>
struct	RemoveFunctionQualifiersHelper
struct	RemoveFunctionQualifiersHelper< R(Args...) && >
struct	RemoveFunctionQualifiersHelper< R(Args...) &&noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) &noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const & >
struct	RemoveFunctionQualifiersHelper< R(Args...) const && >
struct	RemoveFunctionQualifiersHelper< R(Args...) const &&noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const &noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const >
struct	RemoveFunctionQualifiersHelper< R(Args...) const noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile & >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile && >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile &&noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile &noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile >
struct	RemoveFunctionQualifiersHelper< R(Args...) const volatile noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile & >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile && >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile &&noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile &noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile >
struct	RemoveFunctionQualifiersHelper< R(Args...) volatile noexcept >
struct	RemoveFunctionQualifiersHelper< R(Args...)& >
struct	RemoveFunctionQualifiersHelper< R(Args...)>
struct	RemovePointerHelper
struct	RemovePointerHelper< T * >
struct	RemovePointerHelper< T *const >
struct	RemovePointerHelper< T *const volatile >
struct	RemovePointerHelper< T *volatile >
struct	RemoveReferenceHelper
struct	RemoveReferenceHelper< T & >
struct	RemoveReferenceHelper< T && >
struct	RemoveVolatile
struct	RemoveVolatile< T volatile >
struct	RepeatHelper
struct	RepeatHelper< T, 0 >
struct	RepeatHelper< T, 1 >
struct	RepeatHelper< T, N >
struct	ReplaceIfReducer
struct	ReplaceReducer
struct	SimpleCommonReference
struct	SimpleCommonReference< T, U >
struct	SingleSenderValueTypeHelperBadValue
struct	StatusCodeDomainHelper
struct	StatusCodeDomainHelper< vocab::Erased< T > >
struct	StatusCodeDomainValueHelper
struct	StatusCodeDomainValueHelper< vocab::Erased< T > >
struct	TransformHelper
struct	TransformHelper< List< Types... >, Fun >
struct	UnionCV
struct	UnionCV< T const volatile, U const volatile, R >
struct	UnionCV< T const volatile, U const, R >
struct	UnionCV< T const volatile, U volatile, R >
struct	UnionCV< T const volatile, U, R >
struct	UnionCV< T const, U const volatile, R >
struct	UnionCV< T const, U const, R >
struct	UnionCV< T const, U volatile, R >
struct	UnionCV< T const, U, R >
struct	UnionCV< T volatile, U const volatile, R >
struct	UnionCV< T volatile, U const, R >
struct	UnionCV< T volatile, U volatile, R >
struct	UnionCV< T volatile, U, R >
struct	UnwrapReferenceHelper
struct	UnwrapReferenceHelper< T >
struct	VariantOrEmptyHelper
struct	VariantOrEmptyHelper< List< Types... > >
struct	VariantOrEmptyHelper< List<> >
struct	WrapReference
struct	WrapReference< T >
struct	ZipHelper
struct	ZipHelper< List< T, Ts... >, List< U, Us... > >

Concepts
concept	NeedsDecay
concept	HasCustomCommonType
concept	ValueCommonType
concept	ReferenceCommonType
concept	HasSimpleCommonReference
concept	HasCustomCommonReference
concept	HasValueCommonReference
concept	HasCommonTypeCommonReference
concept	ConstexprParam
concept	DerivedFromConstexpr
concept	LhsConstexprParam
concept	HasCustomCommonError
concept	ConvertibleToError
concept	CommonErrorIsError

Typedefs
template<concepts::detail::ConstantRing T>
using	RingValue = meta::Conditional<concepts::Const<T>, VectorConstValue<T>, VectorValue<T>>
template<concepts::detail::MutableVector T>
using	RingAllocResult = decltype(util::declval<T&>().reserve_from_nothing(util::declval<size_t>()))
template<concepts::detail::ConstantVector T>
using	VectorValue = T::Value
template<concepts::detail::ConstantVector T>
using	VectorConstValue = T::ConstValue
template<concepts::detail::ConstantVector T>
using	VectorIterator = T::Value*
template<concepts::detail::ConstantVector T>
using	VectorConstIterator = T::ConstValue*
template<concepts::detail::MutableVector T>
using	VectorAllocResult = decltype(util::declval<T&>().reserve_from_nothing(util::declval<size_t>()))
template<concepts::TypeList Messages>
using	MessagesReplies = Filter<Transform<Messages, meta::Quote<MessageReply>>, Not<SameAs<void>>>
template<typename... Values>
using	DefaultSetValue = types::CompletionSignatures<execution::SetValue(Values...)>
template<typename Error>
using	DefaultSetError = types::CompletionSignatures<execution::SetError(Error)>
template<typename... Types>
using	SingleSenderValueTypeHelper

Functions
template<typename T>
auto	__get_value () -> T

Typedef Documentation

DefaultSetError

template<typename Error>

using di::meta::detail::DefaultSetError = types::CompletionSignatures<execution::SetError(Error)>

DefaultSetValue

template<typename... Values>

using di::meta::detail::DefaultSetValue = types::CompletionSignatures<execution::SetValue(Values...)>

MessagesReplies

template<concepts::TypeList Messages>

using di::meta::detail::MessagesReplies = Filter<Transform<Messages, meta::Quote<MessageReply>>, Not<SameAs<void>>>

RingAllocResult

template<concepts::detail::MutableVector T>

using di::meta::detail::RingAllocResult = decltype(util::declval<T&>().reserve_from_nothing(util::declval<size_t>()))

RingValue

template<concepts::detail::ConstantRing T>

using di::meta::detail::RingValue = meta::Conditional<concepts::Const<T>, VectorConstValue<T>, VectorValue<T>>

SingleSenderValueTypeHelper

template<typename... Types>

using di::meta::detail::SingleSenderValueTypeHelper

Initial value:

 meta::Type<
        meta::Conditional<sizeof...(Types) == 0, meta::TypeConstant<void>,
                          meta::Conditional<sizeof...(Types) == 1, meta::Defer<meta::Front, meta::List<Types...>>,
                                            meta::TypeConstant<SingleSenderValueTypeHelperBadValue>>>>

VectorAllocResult

template<concepts::detail::MutableVector T>

using di::meta::detail::VectorAllocResult = decltype(util::declval<T&>().reserve_from_nothing(util::declval<size_t>()))

VectorConstIterator

template<concepts::detail::ConstantVector T>

using di::meta::detail::VectorConstIterator = T::ConstValue*

VectorConstValue

template<concepts::detail::ConstantVector T>

using di::meta::detail::VectorConstValue = T::ConstValue

VectorIterator

template<concepts::detail::ConstantVector T>

using di::meta::detail::VectorIterator = T::Value*

VectorValue

template<concepts::detail::ConstantVector T>

using di::meta::detail::VectorValue = T::Value

Function Documentation

__get_value()

template<typename T>

auto di::meta::detail::__get_value

(

)

-> T