concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// 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/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <seqan3/alphabet/concept.hpp>
#include <seqan3/std/concepts>
 
// ============================================================================
// complement()
// ============================================================================
 
namespace seqan3::detail::adl_only
{
 
template <typename ...args_t>
void complement(args_t ...) = delete;
 
struct complement_fn
{
public:
    SEQAN3_CPO_IMPL(2, seqan3::custom::alphabet<decltype(v)>::complement(v)) // explicit customisation
    SEQAN3_CPO_IMPL(1, complement(v)                                       ) // ADL
    SEQAN3_CPO_IMPL(0, v.complement()                                      ) // member
 
public:
    template <typename nucleotide_t>
        requires requires (nucleotide_t const nucl)
        {
            { impl(priority_tag<2>{}, nucl) };
            requires noexcept(impl(priority_tag<2>{}, nucl));
            requires std::same_as<nucleotide_t, decltype(impl(priority_tag<2>{}, nucl))>;
        }
    constexpr nucleotide_t operator()(nucleotide_t const nucl) const noexcept
    {
        return impl(priority_tag<2>{}, nucl);
    }
};
 
} // namespace seqan3::detail::adl_only
 
namespace seqan3
{
 
inline constexpr auto complement = detail::adl_only::complement_fn{};
 
// ============================================================================
// nucleotide_alphabet concept
// ============================================================================
 
template <typename t>
SEQAN3_CONCEPT nucleotide_alphabet = alphabet<t> && requires (t val)
{
    { seqan3::complement(val) };
};
 
} // namespace seqan3