diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
commit | 2bca6e48c0ea8043c5300f4ebdefa5167e6472bf (patch) | |
tree | 1c61579ca6a1e1b8e8cbe309302c33857b191181 /src/settings.sig | |
parent | 73c287964e8d41d9b3b53a81f0ace3f509dc6a20 (diff) |
SQL SIMILAR (via pg_trgm)
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig index a2a56407..6a409cdd 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -224,10 +224,11 @@ signature SETTINGS = sig requiresTimestampDefaults : bool, supportsIsDistinctFrom : bool, supportsSHA512 : {InitializeDb : string, - GenerateHash : string -> string} option + GenerateHash : string -> string} option, (* If supported, give the SQL code to * enable the feature in a particular * database and to compute a hash of a value. *) + supportsSimilar : {InitializeDb : string} option } val addDbms : dbms -> unit |