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 <ranges>
#include <tuple>
 
#include <seqan3/alphabet/concept.hpp>
#include <seqan3/utility/tuple/concept.hpp>
 
namespace seqan3::detail
{
 
template <typename t>
concept sequence_pair = requires () {
                            requires tuple_like<t>;
                            requires std::tuple_size_v<t> == 2;
                            requires std::ranges::forward_range<std::tuple_element_t<0, t>>;
                            requires std::ranges::forward_range<std::tuple_element_t<1, t>>;
                            requires semialphabet<std::ranges::range_value_t<std::tuple_element_t<0, t>>>;
                            requires semialphabet<std::ranges::range_value_t<std::tuple_element_t<1, t>>>;
                        };
 
template <typename t>
concept sequence_pair_range = std::ranges::forward_range<t> && sequence_pair<std::ranges::range_value_t<t>>;
 
template <typename t>
concept indexed_sequence_pair_range =
    std::ranges::forward_range<t> && requires (std::ranges::range_value_t<t> value) {
                                         requires tuple_like<decltype(value)>;
                                         requires std::tuple_size_v<decltype(value)> == 2;
                                         requires sequence_pair<std::tuple_element_t<0, decltype(value)>>;
                                         requires std::copy_constructible<std::tuple_element_t<1, decltype(value)>>;
                                     };
 
template <typename t>
concept align_pairwise_single_input =
    sequence_pair<std::remove_reference_t<t>> && std::is_lvalue_reference_v<t>
    || (std::ranges::viewable_range<std::tuple_element_t<0, std::remove_reference_t<t>>>
        && std::ranges::viewable_range<std::tuple_element_t<1, std::remove_reference_t<t>>>);
 
template <typename t>
concept align_pairwise_range_input =
    std::ranges::forward_range<t> && sequence_pair<std::ranges::range_value_t<t>>
    && ((std::ranges::viewable_range<t> && std::is_lvalue_reference_v<std::ranges::range_reference_t<t>>)
        || align_pairwise_single_input<std::remove_reference_t<std::ranges::range_reference_t<t>>>);
} // namespace seqan3::detail