#ifndef RFL_TAGGEDUNION_HPP_
#define RFL_TAGGEDUNION_HPP_

#include <variant>

#include "define_literal.hpp"
#include "internal/Getter.hpp"
#include "internal/StringLiteral.hpp"
#include "internal/tag_t.hpp"

namespace rfl {

// https://serde.rs/enum-representations.html
template <internal::StringLiteral _discriminator, class... Ts>
struct TaggedUnion {
  static constexpr internal::StringLiteral discrimininator_ = _discriminator;

  /// The type of the underlying variant.
  using VariantType = std::variant<Ts...>;

  /// A literal containing all the tags that are possible
  using PossibleTags = define_literal_t<internal::tag_t<_discriminator, Ts>...>;

  TaggedUnion(const VariantType& _variant) : variant_(_variant) {}

  TaggedUnion(VariantType&& _variant) noexcept
      : variant_(std::move(_variant)) {}

  TaggedUnion(const TaggedUnion<_discriminator, Ts...>& _tagged_union) =
      default;

  TaggedUnion(TaggedUnion<_discriminator, Ts...>&& _tagged_union) noexcept =
      default;

  template <class T,
            typename std::enable_if<std::is_convertible_v<T, VariantType>,
                                    bool>::type = true>
  TaggedUnion(const T& _t) : variant_(_t) {}

  template <class T,
            typename std::enable_if<std::is_convertible_v<T, VariantType>,
                                    bool>::type = true>
  TaggedUnion(T&& _t) noexcept : variant_(std::forward<T>(_t)) {}

  ~TaggedUnion() = default;

  /// Assigns the underlying object.
  TaggedUnion<_discriminator, Ts...>& operator=(const VariantType& _variant) {
    variant_ = _variant;
    return *this;
  }

  /// Assigns the underlying object.
  TaggedUnion<_discriminator, Ts...>& operator=(VariantType&& _variant) {
    variant_ = std::move(_variant);
    return *this;
  }

  /// Assigns the underlying object.
  template <class T,
            typename std::enable_if<std::is_convertible_v<T, VariantType>,
                                    bool>::type = true>
  TaggedUnion<_discriminator, Ts...>& operator=(T&& _variant) {
    variant_ = std::forward<T>(_variant);
    return *this;
  }

  /// Assigns the underlying object.
  template <class T,
            typename std::enable_if<std::is_convertible_v<T, VariantType>,
                                    bool>::type = true>
  TaggedUnion<_discriminator, Ts...>& operator=(const T& _variant) {
    variant_ = _variant;
    return *this;
  }

  /// Assigns the underlying object.
  TaggedUnion<_discriminator, Ts...>& operator=(
      const TaggedUnion<_discriminator, Ts...>& _other) = default;

  /// Assigns the underlying object.
  TaggedUnion<_discriminator, Ts...>& operator=(
      TaggedUnion<_discriminator, Ts...>&& _other) = default;

  /// Returns the underlying variant.
  VariantType& variant() { return variant_; }

  /// Returns the underlying variant.
  const VariantType& variant() const { return variant_; }

  static_assert(!PossibleTags::has_duplicates(),
                "Duplicate tags are not allowed inside tagged unions.");

  /// The underlying variant - a TaggedUnion is a thin wrapper
  /// around a variant that is mainly used for parsing.
  VariantType variant_;
};

namespace internal {

template <StringLiteral _discriminator, class... NamedTupleTypes>
struct Getter<TaggedUnion<_discriminator, NamedTupleTypes...>> {
 public:
  /// Retrieves the indicated value from the tuple.
  template <int _index>
  static inline auto& get(
      TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get<_index>(
        _tu.variant_);
  }

  /// Gets a field by name.
  template <StringLiteral _field_name>
  static inline auto& get(
      TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get<_field_name>(
        _tu.variant_);
  }

  /// Gets a field by the field type.
  template <class Field>
  static inline auto& get(
      TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get<Field>(
        _tu.variant_);
  }

  /// Retrieves the indicated value from the tuple.
  template <int _index>
  static inline const auto& get_const(
      const TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get_const<_index>(
        _tu.variant_);
  }

  /// Gets a field by name.
  template <StringLiteral _field_name>
  static inline const auto& get_const(
      const TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get_const<
        _field_name>(_tu.variant_);
  }

  /// Gets a field by the field type.
  template <class Field>
  static inline const auto& get_const(
      const TaggedUnion<_discriminator, NamedTupleTypes...>& _tu) {
    return Getter<std::variant<NamedTupleTypes...>>::template get_const<Field>(
        _tu.variant_);
  }
};

}  // namespace internal

}  // namespace rfl

#endif  // RFL_TAGGEDUNION_HPP_