concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2022 deCODE Genetics
// Copyright (c) 2006-2020, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2020, 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 <concepts>
 
#include <bio/alphabet/concept.hpp>
 
// ============================================================================
// complement()
// ============================================================================
 
namespace bio::alphabet
{
 
inline constexpr auto complement = []<typename alph_t>(alph_t const a)
    requires(requires {
        {
            tag_invoke(custom::complement{}, a)
        };
        // NOTE we are using the trait here and not the concept, because the concept
        // also checks explicit convertibility but we don't want to substitute into
        // explicit constructors/conversion operators to prevent loops
        requires std::is_convertible_v<alph_t, decltype(tag_invoke(custom::complement{}, a))>;
        requires noexcept(tag_invoke(custom::complement{}, a));
    })
{
    return tag_invoke(custom::complement{}, a);
};
 
// ============================================================================
// nucleotide concept
// ============================================================================
 
template <typename t>
concept nucleotide = alphabet<t> && requires(t val) {
    {
        bio::alphabet::complement(val)
    };
};
 
} // namespace bio::alphabet