#include <nda/concepts.hpp>

Detailed Description

Check if a given type can be called with a certain number of long arguments.

An example of a type satisfying this concept is e.g. nda::basic_array or nda::basic_array_view. More generally, every type modelling the nda::Array concept has to be nda::CallableWithLongs as well.

Template Parameters

A	Type to check.
R	Number of long arguments.

Definition at line 53 of file concepts.hpp.

Concept definition

template<typename A, int R>
concept nda::CallableWithLongs =  requires(A const &a) {
    
    []<auto... Is>(std::index_sequence<Is...>, auto const &aa) -> decltype(aa(long(Is)...)) {return aa(long(Is)...);}
    (std::make_index_sequence<R>{}, a);
  }