detail.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2022 deCODE Genetics
// Copyright (c) 2006-2021, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2021, 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/biocpp/biocpp-core/blob/main/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <bio/alphabet/concept.hpp>
#include <bio/meta/concept/core_language.hpp>
#include <bio/meta/type_list/type_list.hpp>
 
namespace bio::alphabet::detail
{
 
// ------------------------------------------------------------------
// alphabet_tuple_like
// ------------------------------------------------------------------
 
template <typename t>
concept alphabet_tuple_like = requires { requires t::biocpp_alphabet_tuple_like; };
 
// ------------------------------------------------------------------
// required_types
// ------------------------------------------------------------------
 
template <typename t>
struct required_types
{
    using type = meta::type_list<>;
};
 
template <typename t>
    requires(requires { typename t::biocpp_required_types; })
struct required_types<t>
{
    using type = typename t::biocpp_required_types;
};
 
template <typename t>
using required_types_t = typename required_types<t>::type;
 
// ------------------------------------------------------------------
// recursive_required_types
// ------------------------------------------------------------------
 
//TODO: This can be replaced with metaprogramming magic once a few more functions land in list_traits.
 
template <typename t>
struct recursive_required_types
{
    using type = meta::type_list<>;
};
 
template <typename t>
    requires(requires { typename t::biocpp_recursive_required_types; })
struct recursive_required_types<t>
{
    using type = typename t::biocpp_recursive_required_types;
};
 
template <typename t>
using recursive_required_types_t = typename recursive_required_types<t>::type;
 
// ------------------------------------------------------------------
// Callable concept helpers for meta::invoke
// ------------------------------------------------------------------
 
template <typename T>
struct constructible_from
{
    template <typename type>
    using invoke = std::integral_constant<bool, std::is_constructible_v<type, T>>;
};
 
template <typename T>
struct implicitly_convertible_from
{
    template <typename type>
    using invoke = std::integral_constant<bool, std::is_convertible_v<T, type>>;
};
 
template <typename T>
struct assignable_from
{
    template <typename type>
    using invoke = std::integral_constant<bool, meta::weakly_assignable_from<type, T>>;
};
 
template <typename T>
struct weakly_equality_comparable_with_
{
    template <typename type>
    using invoke = std::integral_constant<bool, meta::weakly_equality_comparable_with<type, T>>;
};
 
template <typename T>
struct weakly_ordered_with_
{
    template <typename type>
    using invoke = std::integral_constant<bool, meta::weakly_ordered_with<type, T>>;
};
 
// ------------------------------------------------------------------
// Concept traits helper
// ------------------------------------------------------------------
 
template <typename lhs_t, typename rhs_t>
struct weakly_equality_comparable_with_trait :
  std::integral_constant<bool, meta::weakly_equality_comparable_with<lhs_t, rhs_t>>
{};
 
template <typename lhs_t, typename rhs_t>
struct weakly_ordered_with_trait : std::integral_constant<bool, meta::weakly_ordered_with<lhs_t, rhs_t>>
{};
 
} // namespace bio::alphabet::detail
 
// ------------------------------------------------------------------
// Forwards
// ------------------------------------------------------------------
 
namespace bio::alphabet
{
 
// forward
template <typename... alternative_types>
    requires((detail::writable_constexpr_alphabet<alternative_types> && ...) &&
             (std::regular<alternative_types> && ...) && (sizeof...(alternative_types) >= 2))
class variant;
 
template <typename derived_type, typename... component_types>
    requires((detail::writable_constexpr_semialphabet<component_types> && ...) &&
             (std::regular<component_types> && ...))
class tuple_base;
 
} // namespace bio::alphabet