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
Rcombinable	Checks that the types passed are all SIMD values that can be passed to eve::combine. i.e they share a common value type and their cardinals and numbers are consistent with eve::combine semantics
Rcombinable_to	Checks that the types passed can be passed to eve::combine and that the resulting type would be Tgt
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
Rinvocable_returning	Specifies that the function Op, when called with arguments of types Args..., returns a value convertible to R
Rsimd_predicate	Specifies a predicate that returns a logical value
Rmonoid	Specifies that Op is a monoid function operating on values of type T
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
Rtranslatable_ptr	Specify that a type is a scalar pointer to a type that has a plain translation
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
Rrelaxed_logical_scalar_value	The concept relaxed_logical_scalar_value<T> is satisfied if and only if T is a boolean value or satisfies the eve::logical_scalar_value concept
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
Rsubstitute_for	Specify that a type can be used as a substitute for another type after calling eve::as_value on a value of the first type
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
Rarithmetic_value	The concept plain_value<T> is satisfied if and only if T satisfies eve::arithmetic_simd_value or eve::arithmetic_scalar_value
Rrelaxed_logical_value	The concept relaxed_logical_value<T> is satisfied if and only if T is a boolean value or satisfies the eve::logical_value concept
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
Rtranslatable_struct	Defines the requirements for a struct to be translatable
Rtranslatable	Determines if a type can be translated
Rgenerator_from