eve::substitute_for Concept Reference

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...

Detailed Description

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.

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 substitute_for = generator_for<Substitute, Target> || std::constructible_from<Target, Substitute>