SeqAn3  3.2.0-rc.1
The Modern C++ library for sequence analysis.
seqan3::list_traits Namespace Reference

Namespace containing traits for working on seqan3::type_list. More...

Functions

Type list traits (return a single type)
template<ptrdiff_t idx, typename list_t >
 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 >
 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... pack_t>
constexpr size_t size< type_list< pack_t... > > = sizeof...(pack_t)
 The size of a type list. More...
 
template<typename query_t , typename... pack_t>
constexpr ptrdiff_t 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 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 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 query_t , typename list_t >
requires constexpr seqan3::detail::template_specialisation_of< list_t, seqan3::type_list > bool contains = (find<query_t, list_t> != -1)
 Whether a type occurs in a type list or not. More...
 

Type list traits (return a type list)

template<template< typename > typename trait_t, typename list_t >
using 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...
 
template<size_t count, typename t >
using repeat = decltype(detail::repeat< count, t >())
 Create a type list with the given type repeated count times.. More...
 
 list_t
 Apply a transformation trait to every type in the list and return a seqan3::type_list of the results. More...
 
template<typename... lists_t>
 requires (seqan3::detail::template_specialisation_of< lists_t, seqan3::type_list > &&...) using concat
 Join two seqan3::type_list s into one. More...
 
template<typename replace_t , std::ptrdiff_t i, typename list_t >
 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...
 

Detailed Description

Namespace containing traits for working on seqan3::type_list.