LiteFX::is_covariant Concept Reference

Evaluates if a type TCovariant behaves covariant to a value type TValue . In this context, covariance is expressed as the type TCovariant can be assigned a value of type TValue or can be constructed from a value of TValue . More...

#include <containers.hpp>

Concept definition

template<typename TValue, typename TCovariant>
concept LiteFX::is_covariant =  std::is_assignable_v<TCovariant, TValue> || std::is_constructible_v<TCovariant, TValue>

Detailed Description

Evaluates if a type TCovariant behaves covariant to a value type TValue . In this context, covariance is expressed as the type TCovariant can be assigned a value of type TValue or can be constructed from a value of TValue .

Template Parameters

TValue	The type of the value.
TCovariant	The covariant type to check against TValue .