crunch_serdes.hpp

#pragma once
 
#include <concepts>
#include <crunch/messages/crunch_messages.hpp>
#include <cstddef>
#include <optional>
#include <span>
#include <type_traits>
 
namespace Crunch {
 
template <typename Policy, typename Message>
concept SerdesPolicy =
    messages::CrunchMessage<Message> &&
    requires(const Message& msg, std::span<std::byte> output,
             std::span<const std::byte> input) {
        {
            std::bool_constant<(Policy::template Size<Message>(), true)>()
        } -> std::same_as<std::true_type>;
        { Policy::template Size<Message>() } -> std::same_as<std::size_t>;
 
        { Policy::Serialize(msg, output) } -> std::same_as<std::size_t>;
        {
            Policy::Deserialize(input, const_cast<Message&>(msg))
        } -> std::same_as<std::optional<Error>>;
        {
            std::bool_constant<(Policy::GetFormat(), true)>()
        } -> std::same_as<std::true_type>;
        { Policy::GetFormat() } -> std::same_as<Format>;
    };
 
}  // namespace Crunch