utility/type_traits/concept.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
{
 
template <typename t>
concept transformation_trait = requires { typename t::type; };
 
template <typename t>
concept unary_type_trait = std::is_base_of_v<std::integral_constant<typename t::value_type, t::value>, t>;
 
} // namespace seqan3