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 <ranges>
 
#include <bio/alphabet/concept.hpp>
 
namespace bio::ranges::detail
{
 
template <class range_t>
concept simple_view = std::ranges::view<range_t> && std::ranges::range<range_t const> &&
                      std::same_as<std::ranges::iterator_t<range_t>, std::ranges::iterator_t<range_t const>> &&
                      std::same_as<std::ranges::sentinel_t<range_t>, std::ranges::sentinel_t<range_t const>>;
 
} // namespace bio::ranges::detail
 
namespace bio::ranges
{
 
template <typename type>
concept const_iterable_range =
  std::ranges::input_range<std::remove_const_t<type>> && std::ranges::input_range<type const> &&
  (std::ranges::forward_range<std::remove_const_t<type>> == std::ranges::forward_range<type const>)&&(
    std::ranges::bidirectional_range<std::remove_const_t<type>> ==
    std::ranges::bidirectional_range<type const>)&&(std::ranges::random_access_range<std::remove_const_t<type>> ==
                                                    std::ranges::random_access_range<type const>);
 
template <typename rng_t, typename val_t>
concept back_insertable_with = requires(rng_t & v) { v.push_back(std::declval<val_t>()); };
 
template <typename rng_t>
concept back_insertable =
  std::ranges::input_range<rng_t> && back_insertable_with<rng_t, std::ranges::range_reference_t<rng_t>>;
 
template <typename rng_t, typename... args_t>
concept back_emplaceable_with = requires(rng_t & v) { v.emplace_back(std::declval<args_t>()...); };
 
} // namespace bio::ranges