Provides traits for seqan3::type_list. More...
#include <type_traits>#include <seqan3/utility/type_list/type_list.hpp>#include <seqan3/utility/type_pack/traits.hpp>
Include dependency graph for type_list/traits.hpp:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Namespaces | |
| seqan3 | |
| The main SeqAn3 namespace. | |
| seqan3::list_traits | |
| Namespace containing traits for working on seqan3::type_list. | |
Functions | |
Type list traits (return a single type) | |
| template<ptrdiff_t idx, typename list_t > | |
| seqan3::list_traits::requires (seqan3::detail::template_specialisation_of< list_t, seqan3::type_list >) &&((idx >=0 &&idx< size< list_t >)||(-idx< | |
| Return the type at given index from the type list. More... | |
| template<typename list_t > | |
| seqan3::list_traits::requires (seqan3::detail::template_specialisation_of< list_t, seqan3::type_list >) &&(size< list_t > > 0) using front = typename decltype(detail::back(list_t{}))::type | |
| Return the first type from the type list. More... | |
Variables | |
Type list traits (return a value) | |
| template<typename query_t , typename list_t > | |
| requires constexpr seqan3::detail::template_specialisation_of< list_t, seqan3::type_list > bool | seqan3::list_traits::contains = (find<query_t, list_t> != -1) |
| Whether a type occurs in a type list or not. More... | |
| template<typename query_t , typename... pack_t> | |
| constexpr ptrdiff_t | seqan3::list_traits::count< query_t, type_list< pack_t... > > = seqan3::pack_traits::count<query_t, pack_t...> |
| Count the occurrences of a type in a type list. More... | |
| template<typename query_t , typename... pack_t> | |
| constexpr ptrdiff_t | seqan3::list_traits::find< query_t, type_list< pack_t... > > |
| Get the index of the first occurrence of a type in a type list. More... | |
| template<template< typename > typename pred_t, typename... pack_t> | |
| constexpr ptrdiff_t | seqan3::list_traits::find_if< pred_t, type_list< pack_t... > > |
| Get the index of the first type in a type list that satisfies the given predicate. More... | |
| template<typename... pack_t> | |
| constexpr size_t | seqan3::list_traits::size< type_list< pack_t... > > = sizeof...(pack_t) |
| The size of a type list. More... | |
Type list traits (return a type list) | |
| seqan3::list_traits::list_t | |
| Apply a transformation trait to every type in the list and return a seqan3::type_list of the results. More... | |
| template<size_t count, typename t > | |
| using | seqan3::list_traits::repeat = decltype(detail::repeat< count, t >()) |
Create a type list with the given type repeated count times.. More... | |
| template<typename replace_t , std::ptrdiff_t i, typename list_t > | |
| seqan3::list_traits::requires (seqan3::detail::template_specialisation_of< list_t, seqan3::type_list >) &&(i >=0 &&i< size< list_t >) using replace_at | |
| Replace the type at the given index with the given type. More... | |
| template<typename... lists_t> | |
| seqan3::list_traits::requires (seqan3::detail::template_specialisation_of< lists_t, seqan3::type_list > &&...) using concat | |
| Join two seqan3::type_list s into one. More... | |
| template<template< typename > typename trait_t, typename list_t > | |
| using | seqan3::list_traits::transform = decltype(detail::transform< trait_t >(list_t{})) |
| Apply a transformation trait to every type in the list and return a seqan3::type_list of the results. More... | |
Provides traits for seqan3::type_list.