^@ operator vs start_with function - Mailing list pgsql-docs

From PG Doc comments form
Subject ^@ operator vs start_with function
Date
Msg-id 169875607385.1769272.18010444720249291234@wrigleys.postgresql.org
Whole thread Raw
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/16/functions-string.html
Description:

https://www.postgresql.org/docs/16/functions-string.html
Said
text ^@ text → boolean
Returns true if the first string starts with the second string (equivalent
to the starts_with() function).
'alphabet' ^@ 'alph' → t

This is not true equivalent, because ^@ can be accelerated by special
SP-GiST index
https://www.postgresql.org/docs/14/spgist-builtin-opclasses.html
while function starts_with() perhaps no.
Thus need to mention in the description of ^@ it can be accelerated by the
special index with link to it. And in the description on start_with() need
to mention that alternative ^@ is better, because it can be accelerated by
index, while the function is not.

pgsql-docs by date:

Previous
From: "Daniel Westermann (DWE)"
Date:
Subject: Re: Missing word? https://www.postgresql.org/docs/current/continuous-archiving.html#BACKUP-ARCHIVING-WAL
Next
From: Bruce Momjian
Date:
Subject: Re: 'value' has special behaviour in alter system