concepts.hpp

Go to the documentation of this file.

// Copyright (c) 2023-2025 Jakub Musiał
// This file is part of the CPP-AP project (https://github.com/SpectraL519/cpp-ap).
// Licensed under the MIT License. See the LICENSE file in the project root for full license information.
 
#pragma once
 
#include <iostream>
#include <ranges>
 
namespace ap::detail {
 
template <typename T>
concept c_readable = requires(T value, std::istream& input_stream) { input_stream >> value; };
 
template <typename T>
concept c_writable = requires(T value, std::ostream& output_stream) { output_stream << value; };
 
template <typename T>
concept c_arithmetic = std::is_arithmetic_v<T>;
 
template <typename T>
concept c_argument_value_type = c_readable<T> and std::semiregular<T>;
 
template <typename T, typename... Types>
concept c_one_of = std::disjunction_v<std::is_same<T, Types>...>;
 
enum class type_validator : bool {
    same, 
    convertible 
};
 
template <typename T, typename U, type_validator TV>
inline constexpr bool is_valid_type_v = false;
 
template <typename T, typename U>
inline constexpr bool is_valid_type_v<T, U, type_validator::same> = std::same_as<T, U>;
 
template <typename T, typename U>
inline constexpr bool is_valid_type_v<T, U, type_validator::convertible> =
    std::convertible_to<T, U>;
 
template <typename T, typename U, type_validator TV = type_validator::same>
concept c_valid_type = is_valid_type_v<T, U, TV>;
 
template <typename R, typename V, type_validator TV = type_validator::same>
concept c_range_of =
    std::ranges::range<R>
    and c_valid_type<std::remove_cvref_t<std::ranges::range_value_t<R>>, V, TV>;
 
template <typename R, typename V, type_validator TV = type_validator::same>
concept c_sized_range_of =
    std::ranges::sized_range<R>
    and c_valid_type<std::remove_cvref_t<std::ranges::range_value_t<R>>, V, TV>;
 
 
} // namespace ap::detail