concepts.hpp

Go to the documentation of this file.

// Copyright (c) 2023-2026 Jakub Musiał
// This file is part of the CPP-ARGON project (https://github.com/SpectraL519/cpp-argon).
// Licensed under the MIT License. See the LICENSE file in the project root for full license information.
 
#pragma once
 
#include "argon/types.hpp"
 
#include <iostream>
#include <ranges>
 
namespace argon::util {
 
template <typename T>
concept c_is_none = std::same_as<T, none_type>;
 
template <typename T>
concept c_readable = requires(T value, std::istream& input_stream) { input_stream >> value; };
 
template <typename T>
concept c_trivially_readable = std::constructible_from<T, const std::string&>;
 
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 =
    std::same_as<T, argon::none_type>
 or (std::semiregular<T> and (c_trivially_readable<T> or c_readable<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_forward_range_of =
    std::ranges::range<R>
 and c_valid_type<std::remove_cvref_t<std::ranges::range_value_t<R>>, V, TV>;
 
template <typename It, typename V, type_validator TV = type_validator::same>
concept c_forward_iterator_of =
    std::input_iterator<It> and c_valid_type<std::iter_value_t<It>, V, TV>;
 
} // namespace argon::util