#include <nda/concepts.hpp>

Detailed Description

Check if a given type satisfies the array initializer concept for a given nda::MemoryArray type.

They are mostly used in lazy mpi calls (see e.g. nda::mpi_reduce).

Template Parameters

A	Type to check.
B	nda::MemoryArray type.

Definition at line 325 of file concepts.hpp.

Concept definition

template<typename A, typename B>
concept nda::ArrayInitializer =  requires(A const &a) {
    { a.shape() } -> StdArrayOfLong;
    typename std::remove_cvref_t<A>::value_type;
    requires MemoryArray<B> && requires(B &b) { a.invoke(b); }; 
  }