nda::HasValueTypeConstructibleFrom Concept Reference

#include <nda/concepts.hpp>

Detailed Description

Check if a given type is constructible from the value type of a given nda::Array type.

Template Parameters

A	nda::Array type.
U	Type to check.

Definition at line 339 of file concepts.hpp.

Concept definition

template<typename A, typename U>
concept nda::HasValueTypeConstructibleFrom =  Array<A> and (std::is_constructible_v<U, get_value_t<A>>)