StormByte::Type::VariantHasType Concept Reference

Concept to check if a variant type contains a specific type. More...

#include <type_traits.hxx>

Concept definition

template<typename T, typename U>
concept StormByte::Type::VariantHasType =  Variant<T> && variant_has_type<std::remove_cvref_t<T>, U>::value

Detailed Description

Concept to check if a variant type contains a specific type.

Template Parameters

T	Variant type to check.
U	Type to look for within the variant.

A type satisfies VariantHasType if U is one of the alternative types in the variant T.

template<Type::VariantHasType<T, U> T, U>
void handle_variant(T var) { ... }