di::concepts::VariantLike Concept Reference

#include <di/vocab/variant/variant_like.h>

Concept definition

template<typename T>
concept di::concepts::VariantLike =  requires {
    typename meta::VariantTypes<T>;
    vocab::variant_size(types::in_place_type<meta::RemoveCVRef<T>>);
} && requires(T const& variant) {
    { vocab::variant_index(variant) } -> SameAs<size_t>;
} && detail::VariantLikeHelper<T, meta::MakeIndexSequence<meta::VariantSize<T>>>::value