|
struct | seqan3::const_reference< t > |
| Exposes the const_reference of another type. More...
|
|
struct | seqan3::detail::deferred_type< t, dependent_ts > |
| Return the type identity; further arguments are ignored, but can make this type dependent if they are. More...
|
|
struct | seqan3::difference_type< t > |
| Exposes the difference_type of another type. More...
|
|
struct | seqan3::function_traits< std::function< return_t(args_t...)> > |
| A traits class to provide a uniform interface to the properties of a function type. More...
|
|
struct | seqan3::detail::instantiate< t > |
| A transformation trait that instantiates seqan3::lazy types. Base template is the identity transformation. More...
|
|
struct | seqan3::detail::instantiate< lazy< template_t, spec_t... > > |
| A transformation trait that instantiates seqan3::lazy types. More...
|
|
struct | seqan3::detail::instantiate_if< t, condition > |
| A transformation trait that instantiates seqan3::lazy types given a boolean condition. Base template is std::false_type. More...
|
|
struct | seqan3::detail::instantiate_if< lazy< template_t, spec_t... >, true > |
| A transformation trait that instantiates seqan3::lazy types given a boolean condition. If condition is true and parameter is lazy, the instantiated type. More...
|
|
struct | seqan3::detail::instantiate_if< t, true > |
| A transformation trait that instantiates seqan3::lazy types given a boolean condition. If condition is true and parameter is not lazy, the type identity. More...
|
|
struct | seqan3::is_constexpr_default_constructible< t > |
| Whether a type std::is_default_constructible in constexpr -context. More...
|
|
struct | seqan3::is_constexpr_default_constructible< t > |
| Whether a type std::is_default_constructible in constexpr -context (unary_type_trait specialisation). More...
|
|
struct | seqan3::detail::lazy< template_t, spec_t > |
| An empty type whose only purpose is to hold an uninstantiated template plus its arguments. More...
|
|
struct | seqan3::detail::lazy_conditional< decision, on_true_t, on_false_t > |
| Behaves like std::conditional, but instantiates types wrapped in seqan3::lazy. More...
|
|
struct | seqan3::detail::multi_invocable< invocable_ts > |
| A type that can conveniently inherit multiple invocables and acts as a union over them. More...
|
|
struct | seqan3::reference< t > |
| Exposes the reference of another type. More...
|
|
struct | seqan3::remove_rvalue_reference< t > |
| Return the input type with && removed, but lvalue references preserved. More...
|
|
struct | seqan3::rvalue_reference< t > |
| Exposes the rvalue_reference of another type. More...
|
|
struct | seqan3::size_type< t > |
| Exposes the size_type of another type. More...
|
|
interface | template_specialisation_of |
| Provides concept seqan3::template_specialisation_of<mytype, [...]> for checking the type specialisation of some type with a given template, for example a specialized type_list<float> with the type_list template. More...
|
|
interface | transformation_trait |
| Concept for a transformation trait. More...
|
|
interface | unary_type_trait |
| Concept for a unary traits type. More...
|
|
struct | seqan3::value_type< t > |
| Exposes the value_type of another type. More...
|
|
|
template<typename t > |
using | seqan3::const_reference_t = typename detail::const_reference_t< t > |
| Shortcut for seqan3::const_reference (transformation_trait shortcut). More...
|
|
template<typename t , typename ... dependent_ts> |
using | seqan3::detail::deferred_type_t = typename deferred_type< t, dependent_ts... >::type |
| Return the type identity; further arguments are ignored, but can make this type dependent if they are (transformation_trait shortcut). More...
|
|
template<typename t > |
using | seqan3::difference_type_t = typename detail::difference_type_t< t > |
| Shortcut for seqan3::difference_type (transformation_trait shortcut). More...
|
|
using | seqan3::detail::ignore_t = std::remove_cvref_t< decltype(std::ignore)> |
| Return the type of std::ignore with const , volatile and references removed (type trait).
|
|
template<typename t , bool condition> |
using | instantiate_if_t = typename instantiate_if< t, condition >::type |
| A transformation trait that instantiates seqan3::lazy types, conditionally. Transformation trait shortcut. More...
|
|
template<typename t > |
using | instantiate_t = typename instantiate< t >::type |
| A transformation trait that instantiates seqan3::lazy types. Transformation trait shortcut. More...
|
|
template<bool decision, typename on_true_t , typename on_false_t > |
using | lazy_conditional_t = instantiate_t< std::conditional_t< decision, on_true_t, on_false_t > > |
| Behaves like std::conditional_t, but instantiates types wrapped in seqan3::lazy. Transformation trait shortcut. More...
|
|
template<typename t > |
using | seqan3::reference_t = typename detail::reference_t< t > |
| Shortcut for seqan3::reference (transformation_trait shortcut). More...
|
|
template<typename t > |
using | seqan3::remove_cvref_t = std::remove_cv_t< std::remove_reference_t< t > > |
| Return the input type with const , volatile and references removed (type trait). More...
|
|
template<typename t > |
using | seqan3::remove_rvalue_reference_t = typename remove_rvalue_reference< t >::type |
| Return the input type with && removed, but lvalue references preserved (transformation_trait shortcut). More...
|
|
template<typename t > |
using | seqan3::rvalue_reference_t = typename detail::rvalue_reference_t< t > |
| Shortcut for seqan3::rvalue_reference (transformation_trait shortcut). More...
|
|
template<typename t > |
using | seqan3::size_type_t = typename detail::size_type_t< t > |
| Shortcut for seqan3::size_type (transformation_trait shortcut). More...
|
|
template<typename type_t , typename default_t > |
using | seqan3::detail::transformation_trait_or = std::conditional_t< transformation_trait< type_t >, type_t, std::type_identity< default_t > > |
| This gives a fallback type if type_t::type is not defined. More...
|
|
template<typename type_t , typename default_t > |
using | seqan3::detail::transformation_trait_or_t = typename transformation_trait_or< type_t, default_t >::type |
| Helper type of seqan3::detail::transformation_trait_or (transformation_trait shortcut). More...
|
|
template<typename t > |
using | seqan3::value_type_t = typename detail::value_type_t< t > |
| Shortcut for seqan3::value_type (transformation_trait shortcut). More...
|
|
Provides various type traits and their shortcuts.
template<bool decision, typename on_true_t , typename on_false_t >
template<bool decision, typename on_true_t , typename on_false_t >
Behaves like std::conditional_t, but instantiates types wrapped in seqan3::lazy. Transformation trait shortcut.
- Template Parameters
-
decision | Whether to resolve to the first type or the second. |
on_true_t | The return type in case decision is true. |
on_false_t | The return type in case decision is false. |