CommonConcepts.hpp

Go to the documentation of this file.

#pragma once
 
#include "srs/utils/CommonAlias.hpp" // IWYU pragma: keep
#include <boost/asio/any_io_executor.hpp>
#include <concepts>
#include <fstream>
#include <iterator>
#include <type_traits>
#include <utility>
 
namespace srs
{
    template <typename T>
    concept Deserializer = requires(T) {
        typename T::OutputType;
        typename T::InputType;
    };
 
    template <typename T>
    concept StreamableOutput = requires(T obj) { std::declval<std::ofstream>() << obj; };
 
    template <typename T>
    concept StreamableDeserializer = Deserializer<T> and StreamableOutput<typename T::OutputType>;
 
    template <typename T>
    concept RangedData = requires(T obj) {
        requires std::contiguous_iterator<decltype(obj.begin())>;
        requires std::contiguous_iterator<decltype(obj.end())>;
    };
 
    template <typename DataType, typename TaskType>
    concept OutputCompatible = requires(DataType, TaskType task) {
        std::is_same_v<DataType, std::remove_cvref_t<decltype(task.get_output_data())>>;
    };
 
    template <typename Converter, typename OutputType>
    concept OutputTo = requires(Converter converter) {
        std::is_const_v<OutputType>;
        std::is_reference_v<OutputType>;
        { converter(0) } -> std::same_as<OutputType>;
    };
}; // namespace srs