concepts.hpp

#include "./stdutil/concepts.hpp"
#include "./traits.hpp"
#include <array>
#include <concepts>
#include <type_traits>
#include <utility>

Detailed Description

Provides concepts for the nda library.

Definition in file concepts.hpp.

Go to the source code of this file.

Concepts
concept	nda::CallableWithLongs
	Check if a given type can be called with a certain number of long arguments.
concept	nda::StdArrayOfLong
	Check if a given type is of type std::array<long, R> for some arbitrary R.
concept	nda::Scalar
	Check if a given type is either an arithmetic or complex type.
concept	nda::DoubleOrComplex
	Check if a given type is either a double or complex type.
concept	nda::InstantiationOf
	Check if a given type is an instantiation of some other template type.
concept	nda::AnyOf
	True iif T is same_as any of the Us.
concept	nda::mem::Allocator
	Check if a given type satisfies the allocator concept.
concept	nda::mem::Handle
	Check if a given type satisfies the memory handle concept.
concept	nda::mem::OwningHandle
	Check if a given type satisfies the owning memory handle concept.
concept	nda::Array
	Check if a given type satisfies the array concept.
concept	nda::MemoryArray
	Check if a given type satisfies the memory array concept.
concept	nda::ArrayOfRank
	Check if a given type is an nda::Array of a certain rank.
concept	nda::MemoryArrayOfRank
	Check if a given type is an nda::MemoryArray of a certain rank.
concept	nda::ArrayOrScalar
	Check if if a given type is either an nda::Array or an nda::Scalar.
concept	nda::Matrix
	Check if a given type is a matrix, i.e. an nda::ArrayOfRank<2>.
concept	nda::Vector
	Check if a given type is a vector, i.e. an nda::ArrayOfRank<1>.
concept	nda::MemoryMatrix
	Check if a given type is a memory matrix, i.e. an nda::MemoryArrayOfRank<2>.
concept	nda::MemoryVector
	Check if a given type is a memory vector, i.e. an nda::MemoryArrayOfRank<1>.
concept	nda::ArrayInitializer
	Check if a given type satisfies the array initializer concept for a given nda::MemoryArray type.
concept	nda::HasValueTypeConstructibleFrom
	Check if a given type is constructible from the value type of a given nda::Array type.