transaction_options.h

#pragma once
 
#include <boost/hana/optional.hpp>
#include <boost/hana/type.hpp>
#include <ozo/core/none.h>
#include <ozo/core/options.h>
#include <type_traits>
 
namespace ozo {
 
namespace hana = boost::hana;
 
struct isolation_level {
    constexpr static hana::type<class serializable_tag> serializable{}; 
    constexpr static hana::type<class repeatable_tag> repeatable_read{}; 
    constexpr static hana::type<class read_committed_tag> read_committed{}; 
    constexpr static hana::type<class read_uncommitted> read_uncommitted{}; 
};
 
struct transaction_mode {
    constexpr static hana::type<class read_write_tag> read_write{}; 
    constexpr static hana::type<class read_only_tag> read_only{}; 
};
 
template <typename V>
struct deferrable_mode : V {
    using base = V;
 
    constexpr auto operator!() const noexcept {
        return deferrable_mode<typename std::negation<V>::type>{};
    }
};
 
constexpr deferrable_mode<std::true_type> deferrable;
 
struct transaction_options {
    constexpr static option<class isolation_level_tag> isolation_level{}; 
    constexpr static option<class mode_tag> mode{}; 
    constexpr static option<class deferrability_tag> deferrability{}; 
};
 
} // ozo