Specify that a type can be used as a substitute for another type after calling eve::as_value on a value of the first type. More...

#include <eve/concept/substitute.hpp>

Detailed Description

Template Parameters

Substitute	Type of the substitute value.
Target	Type of the target value that will result from the `eve::as_value` call.

Concept definition

template<typename Substitute, typename Target>

concept eve::substitute_for = generator_for<Substitute, Target> || std::constructible_from<Target, Substitute>

Specify that a type can be used as a substitute for another type after calling eve::as_value on a val...

Definition substitute.hpp:27

typename decltype(detail::as_translated_type(as< T >{}))::type translate_t

Returns the final translated type of T.

Definition translation.hpp:107

	E.V.E v2023.02.15