The companion static type quadbin holds a single (non-temporal) QUADBIN cell identifier; quadbinset holds a finite set of them. They share the same hexadecimal / decimal textual representation as the temporal type. The static type carries the standard equality / ordering operators (a btree and a hash operator class), and exposes the validity predicates below.
Return whether a value is a structurally valid QUADBIN identifier (correct header tag and resolution field)
isValidIndex(quadbin) → boolean
Return whether a value is a valid QUADBIN cell (a valid index whose tile coordinates fall within the bounds of its resolution)
isValidCell(quadbin) → boolean
SELECT isValidCell(quadbin '480fffffffffffff'); -- true SELECT isValidCell(quadbin '0'); -- false