concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2022, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2022, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <concepts>
#include <type_traits>
 
#include <seqan3/core/platform.hpp>
 
namespace seqan3
{
template <typename from, typename to>
concept implicitly_convertible_to = std::is_convertible_v<from, to>;
 
template <typename from, typename to>
concept explicitly_convertible_to = requires { static_cast<to>(std::declval<from>()); };
 
template <typename t>
concept arithmetic = std::is_arithmetic_v<t>;
 
namespace deprecated
{
template <typename t>
concept floating_point = arithmetic<t> && std::is_floating_point_v<t>;
} // namespace deprecated
 
template <typename t>
SEQAN3_DEPRECATED_330 constexpr bool floating_point = deprecated::floating_point<t>;
 
 
template <typename t>
concept builtin_character = std::integral<t>
                         && (std::same_as<t, char> || std::same_as<t, unsigned char> || std::same_as<t, signed char> ||
#ifdef __cpp_char8_t
                             std::same_as<t, char8_t> ||
#endif
                             std::same_as<t, char16_t> || std::same_as<t, char32_t> || std::same_as<t, wchar_t>);
 
template <typename t>
concept trivially_destructible = std::destructible<t> && std::is_trivially_destructible_v<t>;
 
template <typename t>
concept trivially_copyable = std::copyable<t> && std::is_trivially_copyable_v<t>;
 
template <typename t>
concept trivial = trivially_copyable<t> && trivially_destructible<t> && std::is_trivial_v<t>;
 
template <typename t>
concept standard_layout = std::is_standard_layout_v<t>;
 
template <typename t, typename u>
concept weakly_assignable_from = std::is_assignable_v<t, u>;
} // namespace seqan3