|
template<typename T, typename I> |
constexpr bool | impl_helper = false |
|
template<typename T, typename... Methods> |
constexpr bool | impl_helper< T, meta::List< Methods... > > = (MethodCallableWith<meta::Type<Methods>, T> && ...) |
|
template<typename M, typename T> |
constexpr bool | method_callable_with_helper = false |
|
template<typename Tag, typename R, concepts::RemoveCVRefSameAs< This > Self, typename... BArgs, typename T> |
constexpr bool | method_callable_with_helper< types::Method< Tag, R(Self, BArgs...)>, T > |
|
template<typename T> |
constexpr bool | is_completion_signature = false |
|
template<typename... Args> |
constexpr bool | is_completion_signature< execution::SetValue(Args...)> = true |
|
template<typename Arg> |
constexpr bool | is_completion_signature< execution::SetError(Arg)> = true |
|
template<> |
constexpr bool | is_completion_signature< execution::SetStopped()> = true |
|
template<typename T, typename L> |
constexpr bool | ReceiverOfHelper = false |
|
template<typename T, typename... Types> |
constexpr bool | ReceiverOfHelper< T, types::CompletionSignatures< Types... > > |
|
template<typename T> |
constexpr bool | constexpr_helper = false |
|
template<auto val, typename T> |
constexpr bool | constexpr_helper< meta::Constexpr< val, T > > = true |
|
template<typename T, typename U> |
constexpr auto | same_as_helper = false |
|
template<typename T> |
constexpr auto | same_as_helper< T, T > = true |
|
template<typename T> |
constexpr bool | language_void_helper = false |
|
template<> |
constexpr bool | language_void_helper< void > = true |
|
template<typename T, template< typename... > typename Template> |
constexpr bool | instance_of_helper = false |
|
template<typename... Types, template< typename... > typename Template> |
constexpr bool | instance_of_helper< Template< Types... >, Template > = true |
|
template<typename T, template< auto... > typename Template> |
constexpr bool | instance_of_v_helper = false |
|
template<auto... values, template< auto... > typename Template> |
constexpr bool | instance_of_v_helper< Template< values... >, Template > = true |
|
template<typename T, template< template< typename... > typename... > typename Template> |
constexpr bool | instance_of_template_helper = false |
|
template<template< typename... > typename... Templates, template< template< typename... > typename... > typename Template> |
constexpr bool | instance_of_template_helper< Template< Templates... >, Template > = true |
|
template<typename T> |
constexpr bool | const_helper = false |
|
template<typename T> |
constexpr bool | const_helper< T const > = true |
|
template<typename T> |
constexpr bool | lvalue_reference_helper = false |
|
template<typename T> |
constexpr bool | lvalue_reference_helper< T & > = true |
|
template<typename T> |
constexpr bool | rvalue_reference_helper = false |
|
template<typename T> |
constexpr bool | rvalue_reference_helper< T && > = true |
|
template<typename T> |
constexpr bool | pointer_helper = false |
|
template<typename T> |
constexpr bool | pointer_helper< T * > = true |
|
template<typename T> |
constexpr bool | bounded_language_array_helper = false |
|
template<typename T, usize N> |
constexpr bool | bounded_language_array_helper< T[N]> = true |
|
template<typename T> |
constexpr bool | unbounded_language_array_helper = false |
|
template<typename T> |
constexpr bool | unbounded_language_array_helper< T[]> = true |
|
template<typename T> |
constexpr bool | member_pointer_helper = false |
|
template<typename T, typename U> |
constexpr bool | member_pointer_helper< T U::* > = true |
|
template<typename From, typename To> |
constexpr bool | qualification_convertible_to = SameAs<From, To> |
|
template<typename From, typename To> |
constexpr bool | qualification_convertible_to< From, To const > = SameAs<meta::RemoveConst<From>, To> |
|
template<typename From, typename To> |
constexpr bool | qualification_convertible_to< From, To volatile > = SameAs<meta::RemoveVolatile<From>, To> |
|
template<typename From, typename To> |
constexpr bool | qualification_convertible_to< From, To const volatile > = SameAs<meta::RemoveCV<From>, To> |
|
template<typename T> |
constexpr bool | array_helper = false |
|
template<typename T, usize size> |
constexpr bool | array_helper< vocab::Array< T, size > > = true |
|
template<typename T> |
constexpr bool | span_helper = false |
|
template<typename T, usize extent> |
constexpr bool | span_helper< vocab::Span< T, extent > > = true |
|
template<typename T> |
constexpr bool | erased_status_code_helper = false |
|
template<typename T> |
constexpr bool | erased_status_code_helper< vocab::StatusCode< vocab::Erased< T > > > = true |
|
template<typename T> |
constexpr bool | extents_helper = false |
|
template<typename T, usize... ins> |
constexpr bool | extents_helper< vocab::Extents< T, ins... > > = true |
|