char_strictly_to.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 <ranges>
 
#include <bio/alphabet/cigar/cigar.hpp>
#include <bio/alphabet/custom/all.hpp>
#include <bio/meta/overloaded.hpp>
#include <bio/ranges/type_traits.hpp>
#include <bio/ranges/views/char_to.hpp>
#include <bio/ranges/views/deep.hpp>
#include <bio/ranges/views/type_reduce.hpp>
 
namespace bio::ranges::views
{
template <typename alphabet_type>
    requires(alphabet::alphabet<alphabet_type> || std::same_as<alphabet_type, alphabet::cigar>)
inline auto const char_strictly_to = detail::adaptor_from_functor{meta::overloaded{
  // clang-format off
    []<std::ranges::input_range rng_t>(rng_t && range)
        requires(std::convertible_to<ranges::range_innermost_value_t<rng_t>, alphabet::char_t<alphabet_type>> &&
                 std::same_as<ranges::range_innermost_value_t<rng_t>, alphabet_type>)
    {
        return std::forward<rng_t>(range) | views::type_reduce; // NOP
    },
    []<std::ranges::input_range rng_t>(rng_t && range)
        requires(std::convertible_to<ranges::range_innermost_value_t<rng_t>, alphabet::char_t<alphabet_type>>)
    {
        auto fn = [] (alphabet::char_t<alphabet_type> const in) -> alphabet_type
        {
            return alphabet::assign_char_strictly_to(in, alphabet_type{});
        };
        return std::forward<rng_t>(range) | deep{std::views::transform(fn)};
    },
    []<typename rng_t>(rng_t &&)
    {
        static_assert(meta::always_false<rng_t>,
                      "The type you pass to bio::views::char_strictly_to must be a range of elements convertible "
                      "to the target alphabet's character type.");
    }}};
// clang-format on
 
template <>
inline constexpr auto char_strictly_to<bio::alphabet::cigar> = char_to<bio::alphabet::cigar>;
 
 
template <alphabet::alphabet alph_t>
using char_conversion_view_t = decltype(std::string_view{} | bio::views::char_strictly_to<alph_t>);
 
} // namespace bio::ranges::views