seqan3::detail::instantiate_if< lazy< template_t, spec_t... >, true > Struct Template Reference

A transformation trait that instantiates seqan3::lazy types given a boolean condition. If condition is true and parameter is lazy, the instantiated type. More...

#include <seqan3/utility/type_traits/lazy_conditional.hpp>

Inheritance diagram for seqan3::detail::instantiate_if< lazy< template_t, spec_t... >, true >:

Public Types
using	type = template_t< spec_t... >
	Return type of the trait [instantiates the template arguments].

Detailed Description

template<template< typename... > typename template_t, typename... spec_t>
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.

Template Parameters

template_t	The uninstantiated template.
spec_t	The arguments to template_t.

---

The documentation for this struct was generated from the following file:

• lazy_conditional.hpp