std::experimental::ranges::TaggedType

From cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
Technical specifications
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals TS v2)
Library fundamentals 3 (library fundamentals TS v3)
Extensions for parallelism (parallelism TS)
Extensions for parallelism 2 (parallelism TS v2)
Extensions for concurrency (concurrency TS)
Extensions for concurrency 2 (concurrency TS v2)
Concepts (concepts TS)
Ranges (ranges TS)
Reflection (reflection TS)
Mathematical special functions (special functions TR)
 
 
General utilities library
Utility components
Function objects
Metaprogramming and type traits
Tagged pairs and tuples
TaggedType
                          
tag specifiers
                                      
                          
 
template< class T >
concept bool TaggedType = /* implementation-defined */;
(ranges TS)

The concept TaggedType<T> is satisfied if and only if T is a unary function type of the form R(A), where R is a TagSpecifier.

Such types are used with the convenience alias templates tagged_tuple and tagged_pair.

See also

alias template for a tagged std::tuple
(alias template)
alias template for a tagged std::pair
(alias template)
tag specifiers for use with ranges::tagged
(class)