specs.hpp

Go to the documentation of this file.

#pragma once
#include <type_traits>
#include <utility>
 
namespace yorch {
 
template <typename T>
struct from_ctx_t {
    using type = std::remove_cvref_t<T>;
};
 
template <typename T>
struct borrow_prev_t {
    using type = std::remove_cvref_t<T>;
};
 
template <typename T>
struct borrow_prev_mut_t {
    using type = std::remove_cvref_t<T>;
};
 
template <typename T>
struct copy_prev_t {
    using type = std::remove_cvref_t<T>;
};
 
template <typename T>
struct consume_prev_t {
    using type = std::remove_cvref_t<T>;
};
 
template <typename T>
struct value_t {
    using stored_type = T;
 
    static_assert(!std::is_reference_v<T>,
                  "value_t<T> must store a non-reference type");
 
    T v;
};
 
template <typename T>
[[nodiscard]] constexpr auto from_ctx() noexcept
    -> from_ctx_t<std::remove_cvref_t<T>> {
    return {};
}
 
template <typename T>
[[nodiscard]] constexpr auto borrow_prev() noexcept
    -> borrow_prev_t<std::remove_cvref_t<T>> {
    return {};
}
 
template <typename T>
[[nodiscard]] constexpr auto borrow_prev_mut() noexcept
    -> borrow_prev_mut_t<std::remove_cvref_t<T>> {
    return {};
}
 
template <typename T>
[[nodiscard]] constexpr auto copy_prev() noexcept
    -> copy_prev_t<std::remove_cvref_t<T>> {
    return {};
}
 
template <typename T>
[[nodiscard]] constexpr auto consume_prev() noexcept
    -> consume_prev_t<std::remove_cvref_t<T>> {
    return {};
}
 
template <typename T>
[[nodiscard]] constexpr auto value(T&& v) // NOLINT(readability-identifier-length)
    -> value_t<std::remove_cvref_t<T>> {
    using stored_t = std::remove_cvref_t<T>;
    return value_t<stored_t>{std::forward<T>(v)};
}
 
} // namespace yorch