variant.h

Go to the documentation of this file.

#pragma once
#include <concepts>
#include <sstream>
#include <string>
#include <type_traits>
#include <variant>
 
#include <librepr/name/type.h>
 
#include <librepr/util/collections/list.h>
#include <librepr/util/overload.h>
 
#include "category.h"
 
namespace librepr {
template <typename T>
struct Reflect;
 
namespace detail {
template <typename T>
struct VariantDetector {
  static constexpr bool value = false;
};
struct VariantDetector {…};
 
template <template <typename...> class Variant, typename... Ts>
  requires std::derived_from<Variant<Ts...>, std::variant<Ts...>>
struct VariantDetector<Variant<Ts...> const> {
  static constexpr bool value = true;
  using alternatives          = typename TypeList<Ts...>::template map<std::add_const_t>;
};
struct VariantDetector<Variant<Ts...> const> {…};
 
template <template <typename...> class Variant, typename... Ts>
  requires std::derived_from<Variant<Ts...>, std::variant<Ts...>>
struct VariantDetector<Variant<Ts...>> {
  static constexpr bool value = true;
  using alternatives          = TypeList<Ts...>;
};
struct VariantDetector<Variant<Ts...>> {…};
 
}  // namespace detail
 
template <typename T>
concept is_variant = detail::VariantDetector<T>::value;
 
template <is_variant T>
struct Reflect<T> : category::Type<T> {
  using type                        = T;
  using alternatives                = typename detail::VariantDetector<T>::alternatives;
  constexpr static bool can_descend = true;
 
  template <typename V>
  static void visit(V&& visitor, type& obj) {
    std::visit(
        [&visitor]<typename U>(U&& alternative) {
          using alt_type = std::remove_reference_t<U>;
          visitor(category::Value<Reflect<alt_type>>{std::forward<U>(alternative)});
        },
        obj);
  }
  static void visit(V&& visitor, type& obj) {…}
 
  template <typename V>
  static void visit(V&& visitor) {
    alternatives::for_each([&visitor]<typename U>() { visitor(Reflect<U>{}); });
  }
  static void visit(V&& visitor) {…}
};
 
}  // namespace librepr