type predicate expressions

Author: JPryce-Aklundh

modules/ROOT/pages/expressions/predicates/type-predicate-expressions.adoc

@@ -38,8 +38,119 @@ RETURN val, val IS :: INTEGER AS isInteger
 2+d|Rows: 4
 |===
 
+[role=label-new-2025.xx]
 [[type-predicate-vector]]
-== Type predicate expressions and VECTOR values
+=== VECTOR values
+
+Whilst it is not possible to store a xref:values-and-types/vector.adoc[`VECTOR`] value without a coordinate type and dimension, it is possible to use the `VECTOR` supertype (encompassing all combinations of `VECTOR<TYPE>(DIMENSION)`) in type predicate expressions.
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against the `VECTOR` supertype
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR AS isVector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isVector
+
+| true
+
+1+d|Rows: 1
+|===
+
+The same is true for the supertypes `VECTOR<TYPE>` (which encompasses all `VECTOR` values with the same coordinate type regardless of the dimension) and `VECTOR(DIMENSION)` (which encompasses all `VECTOR` values with the same dimension regardless of the coordinate type).
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against the `VECTOR<TYPE>` supertype
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR<INTEGER8> AS isInteger8Vector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isInteger8Vector
+
+| true
+
+1+d|Rows: 1
+|===
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against the `VECTOR(DIMENSION)` supertype
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR(3) AS isDimension3Vector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isDimension3Vector
+
+| true
+
+1+d|Rows: 1
+|===
+
+If the coordinate type or dimension in the `VECTOR` does not match what is specified in the type predicate expression, the result will be `false`.
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against a `VECTOR` with a different dimension
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR(5) AS isDimension5Vector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isDimension5Vector
+
+| false
+
+1+d|Rows: 1
+|===
+
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against a `VECTOR` with a different coordinate type
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR<INTEGER16> AS isInteger16Vector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isInteger16Vector
+
+| false
+
+1+d|Rows: 1
+|===
+
+.Verify a `VECTOR<TYPE>(DIMENSION)` value against a `VECTOR` the same coordinate type and dimension
+[source, cypher]
+----
+WITH vector([1, 2, 3], 3, INTEGER8) AS vector
+RETURN vector IS :: VECTOR<INTEGER8>(3) AS isVector
+----
+
+.Result
+[role="queryresult",options="header,footer",cols="1*<m"]
+|===
+| isVector
+
+| true
+
+1+d|Rows: 1
+|===
+
 
 [[type-predicate-not]]
 == Type predicate expressions with NOT

modules/ROOT/pages/values-and-types/ordering-equality-comparison.adoc

@@ -38,8 +38,7 @@ For example, `1 > b` and `1 < b` are both `false` when `b` is NaN.
 * xref:values-and-types/spatial.adoc[Spatial values] and xref:values-and-types/vector.adoc[`VECTOR`] values cannot be compared using the operators `\<=`, `<`,`>=`, `>`.
 To compare spatial values within a specific range, use either the xref:functions/spatial.adoc#functions-withinBBox[`point.withinBBox()`] or the xref:functions/spatial.adoc#functions-point-wgs84-2d[`point()`] function.
 
-[NOTE]
-See also xref:values-and-types/vector.adoc#ordering-vector[`VECTOR` values -> Ordering `VECTOR` values].
+For the ordering of `VECTOR` types, see xref:values-and-types/vector.adoc#ordering-vector[`VECTOR` values -> Ordering `VECTOR` types].
 
 [[value-hierarchy]]
 === Hierarchy of values

modules/ROOT/pages/values-and-types/property-structural-constructed.adoc

@@ -111,7 +111,7 @@ Note that closed dynamic types (`INNER_TYPE_1 | INNER_TYPE_2...`) cannot be appe
 The `INNER_TYPE` of a `LIST` cannot be a `VECTOR` value.
 
 [[type-normalization]]
-== Type Normalization
+== Type normalization
 
 Cypher runs a normalization algorithm on all input types, simplifying the given type to a deterministic representation for equivalent types.
 Types are simplified to their default name (e.g. `BOOL` is simplified to `BOOLEAN`).
@@ -125,6 +125,8 @@ For example, given the closed dynamic type `BOOL | LIST<INT> | BOOLEAN | LIST<FL
 This normalization is run on types used in xref::expressions/predicates/type-predicate-expressions.adoc[type predicate expressions], and in xref::constraints/managing-constraints.adoc#create-property-type-constraints[property type constraints].
 Type normalization is also used to ensure the consistency of the output for the xref::functions/scalar.adoc#functions-valueType[valueType()] function.
 
+For the normalization of `VECTOR` types, see xref:values-and-types/vector.adoc#vector-normalization[Vectors -> `VECTOR` type normalization].
+
 [[ordering-of-types]]
 === Ordering of types
 The ordering of types is as follows: