Spec.hpp

#pragma once
 
#include "util/config/ObjectView.hpp"
 
#include <boost/asio/spawn.hpp>
 
#include <memory>
#include <string>
 
namespace migration::impl {

template <typename T, typename Backend>
concept MigratorSpec =
    requires(std::shared_ptr<Backend> const& backend, util::config::ObjectView const& cfg) {
        // Check that 'kNAME' exists and is a string
        { T::kNAME } -> std::convertible_to<std::string>;
 
        // Check that 'kDESCRIPTION' exists and is a string
        { T::kDESCRIPTION } -> std::convertible_to<std::string>;
 
        // Check that the migrator specifies the backend type it supports
        typename T::Backend;
 
        // Check that 'runMigration' exists and is callable
        { T::runMigration(backend, cfg) } -> std::same_as<void>;
    };

template <typename... Types>
concept AllMigratorSpec = (MigratorSpec<Types, typename Types::Backend> && ...);
 
}  // namespace migration::impl