Concepts List

Here is a list of all documented concepts with brief descriptions:

[detail level 123]

▼Neve	EVE Main Namespace
▼Nalgo
Rnon_owning_range	Non_owning range is a relaxed_range that does not own it's elements and can be copied without it's contents being affected TODO: FIX-#1017: how is this related to std::borrowed_range?
Rwide_cardinal	Concept to determine if this is cardinal type of a wide
Rconditional_expr	Specifies that a type is a Conditional Expression
Rrelative_conditional_expr	Specifies that a type is a Conditional Expression using relative mask
Rgenerator
Rirregular_predicate	Std::predicate but doesn't require regularity
Rmatch_option	Checks if the type associated to a given Keyword in an Option pack is equal to Type
Ronly_if	Checks if the type is one of the Choices
Rplain_scalar_value	Specify that a type represents a plain scalar value The concept plain_scalar_value<T> is satisfied if and only if the translation of T is an instance of any non-bool, non-long double, arithmetic types
Rlogical_scalar_value	Specify that a type represents a logical scalar value The concept logical_scalar_value<T> is satisfied if and only if T is an instance of eve::logical and its contents satisfy eve::plain_scalar_value
Rproduct_scalar_value	Specify that a type represents a product type made of scalars The concept product_scalar_value<T> is satisfied if and only if T is a kumi::product_type containing only eve::plain_scalar_value or eve::logical_scalar_value
Rarithmetic_scalar_value	Specify that a type represents a type suitable for vectorization The concept arithmetic_scalar_value<T> is satisfied if and only if T can be used as a base type for eve::wide , i.e it's either satisfying eve::plain_scalar_value or eve::product_scalar_value
Rscalar_value	Specify that a type represents a scalar value The concept scalar_value<T> is satisfied if and only if T satisfies either arithmetic_scalar_value or logical_scalar_value
Rlogical_simd_value	Specify that a type represents a logical SIMD value. The concept logical_simd_value<T> is satisfied if and only if T is an instance of eve::logical and its contents satisfy eve::plain_simd_value
Rhas_plain_translation	Specify that a type can be translated to a plain scalar value. The concept has_plain_translation<T> is satisfied if and only if calling translate_t<T> returns a type that is different from T
Rvalue	The concept value<T> is satisfied if and only if T satisfies either eve::scalar_value or eve::simd_value
Rintegral_value	The concept integral_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies std::integral
Rsigned_value	The concept signed_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies std::is_signed
Runsigned_value	The concept unsigned_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies std::unsigned_integral
Rsigned_integral_value	The concept signed_integral_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies std::signed_integral
Rfloating_value	The concept floating_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies std::floating_point
Rlogical_value	The concept logical_value<T> is satisfied if and only if T satisfies eve::value and the element type satisfies is_logical_v
Rplain_value	The concept plain_value<T> is satisfied if and only if T satisfies eve::plain_simd_value or eve::plain_scalar_value
Rintegral_scalar_value	Specify that a type represents an integral scalar value. The concept integral_scalar_value<T> is satisfied if and only if T satisfies eve::arithmetic_scalar_value<T> and std::integral<T>
Rsigned_scalar_value	Specify that a type represents a signed scalar value. The concept signed_scalar_value<T> is satisfied if and only if T satisfies eve::arithmetic_scalar_value<T> and std::integral<T>
Runsigned_scalar_value	Specify that a type represents an unsigned scalar value. The concept unsigned_scalar_value<T> is satisfied if and only if T satisfies eve::arithmetic_scalar_value<T> and std::unsigned_integral<T>
Rsigned_integral_scalar_value	Specify that a type represents an integral scalar value. The concept unsigned_scalar_value<T> is satisfied if and only if T satisfies eve::arithmetic_scalar_value<T> and std::signed_integral<T>
Rfloating_scalar_value	Specify that a type represents a floating scalar value. The concept unsigned_scalar_value<T> is satisfied if and only if T satisfies eve::arithmetic_scalar_value<T> and std::floating_point<T>
Rsimd_value	Specifies that a type is a SIMD type. The concept simd_value<T> is satisfied if and only if T satisfies either eve::arithmetic_simd_value or eve::logical_simd_value
Rintegral_simd_value	Specifies that a type is a SIMD type with integral elements
Rsigned_simd_value	Specifies that a type is a SIMD type with signed elements
Runsigned_simd_value	Specifies that a type is a SIMD type with unsigned elements
Rsigned_integral_simd_value	Specifies that a type is a SIMD type with signed integral elements
Rfloating_simd_value	Specifies that a type is a SIMD type with floating elements
Rhas_store_equivalent	Tests if store_equivalent has a non-default definition for a value and a pointer
Rpattern_formula	What callable can be a pattern formula
Rcallable_object	EVE callable object
Rlike	Specifies semantic compatibility between wrapper/wrapped types