is_assignable< T, U > Struct Template Reference

If the expression etl::declval<T>() = etl::declval<U>() is well-formed in unevaluated context, provides the member constant value equal true. Otherwise, value is false. Access checks are performed as if from a context unrelated to either type. More...

#include <is_assignable.hpp>

Inheritance diagram for is_assignable< T, U >:

Additional Inherited Members
Public Types inherited from integral_constant< Type, Val >
using	type = integral_constant< Type, Val >
using	value_type = Type
Public Member Functions inherited from integral_constant< Type, Val >
constexpr	operator value_type () const noexcept
constexpr auto	operator() () const noexcept -> value_type
Static Public Attributes inherited from integral_constant< Type, Val >
static constexpr Type	value = Val
Related Symbols inherited from integral_constant< Type, Val >
template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto	operator!= (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< bool, L !=R >
template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto	operator+ (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< decltype(L+R), L+R >
template<typename Rhs , Rhs R, typename Lhs , Lhs L>
constexpr auto	operator== (integral_constant< Rhs, R >, integral_constant< Lhs, L >) -> integral_constant< bool, L==R >

Detailed Description

template<typename T, typename U>
struct etl::is_assignable< T, U >

If the expression etl::declval<T>() = etl::declval<U>() is well-formed in unevaluated context, provides the member constant value equal true. Otherwise, value is false. Access checks are performed as if from a context unrelated to either type.

---

The documentation for this struct was generated from the following file:

• include/etl/_type_traits/is_assignable.hpp