Loading...
Searching...
No Matches
is_class_template_declarable.hpp
Go to the documentation of this file.
// SPDX-FileCopyrightText: 2006-2025 Knut Reinert & Freie Universität Berlin
// SPDX-FileCopyrightText: 2016-2025 Knut Reinert & MPI für molekulare Genetik
// SPDX-License-Identifier: BSD-3-Clause
#pragma once
#include <type_traits>
#include <seqan3/core/platform.hpp>
namespace seqan3::detail
{
template <template <typename...> typename query_t, typename... args_t>
struct is_class_template_declarable_with :
public std::false_type
{};
template <template <typename...> typename query_t, typename... args_t>
requires requires { typename std::type_identity<query_t<args_t...>>::type; }
struct is_class_template_declarable_with<query_t, args_t...> : public std::true_type
{};
template <template <typename...> typename query_t, typename... args_t>
inline constexpr bool is_class_template_declarable_with_v =
is_class_template_declarable_with<query_t, args_t...>::value;
} // namespace seqan3::detail
platform.hpp
Provides platform and dependency checks.
type_traits
Hide me