31template <
template <
typename...>
typename template_t,
typename... spec_t>
54template <
template <
typename...>
typename template_t,
typename... spec_t>
58 using type = template_t<spec_t...>;
79template <
typename t,
bool condition>
100template <
template <
typename...>
typename template_t,
typename... spec_t>
104 using type = template_t<spec_t...>;
111template <
typename t,
bool condition>
119template <
typename t,
bool condition>
140template <
bool decision,
typename on_true_t,
typename on_false_t>
150template <
bool decision,
typename on_true_t,
typename on_false_t>
151 requires requires {
typename instantiate_t<std::conditional_t<decision, on_true_t, on_false_t>>; }
The internal SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
template_t< spec_t... > type
Return type of the trait [instantiates the template arguments].
Definition: lazy_conditional.hpp:58
template_t< spec_t... > type
Return type of the trait [instantiates the template arguments].
Definition: lazy_conditional.hpp:104
A transformation trait that instantiates seqan3::lazy types given a boolean condition....
Definition: lazy_conditional.hpp:81
typename instantiate_if< t, condition >::type instantiate_if_t
A transformation trait that instantiates seqan3::lazy types, conditionally. Transformation trait shor...
Definition: lazy_conditional.hpp:113
A transformation trait that instantiates seqan3::lazy types. Base template is the identity transforma...
Definition: lazy_conditional.hpp:46
typename instantiate< t >::type instantiate_t
A transformation trait that instantiates seqan3::lazy types. Transformation trait shortcut.
Definition: lazy_conditional.hpp:67
Behaves like std::conditional, but instantiates types wrapped in seqan3::lazy.
Definition: lazy_conditional.hpp:142
instantiate_t< std::conditional_t< decision, on_true_t, on_false_t > > lazy_conditional_t
Behaves like std::conditional_t, but instantiates types wrapped in seqan3::lazy. Transformation trait...
Definition: lazy_conditional.hpp:152
An empty type whose only purpose is to hold an uninstantiated template plus its arguments.
Definition: lazy_conditional.hpp:33