iros/variant__value_8h_source.html

#pragma once


#include "di/types/prelude.h"

#include "di/util/declval.h"

#include "di/util/get.h"

#include "di/vocab/variant/variant_like.h"


namespace di::meta {

template<concepts::VariantLike Var, size_t index>

using VariantValue = decltype(util::get<index>(util::declval<Var>()));

}

declval.h

get.h

prelude.h

di::meta
Definition merge_interfaces.h:6

di::meta::VariantValue
decltype(util::get< index >(util::declval< Var >())) VariantValue
Definition variant_value.h:10

di::util::get
constexpr auto get(T &&value) -> decltype(auto)
Definition get.h:8

di::util::declval
auto declval() -> meta::AddRValueReference< T >
Definition declval.h:8

variant_like.h