util.string.fold
Shared
Applies full Unicode case folding for caseless comparisons
Syntax
local result = util.string.fold(
input
)Parameters
| Type | Name | Description |
|---|---|---|
string | int | input | String to fold, or a single codepoint |
Returns
| Type | Name | Description |
|---|---|---|
string | int | result | Case-folded string, or the folded codepoint if input was a number |
Examples
local result = util.string.fold("HELLO")
core.engine.print("info", result) -- 'hello'local a = util.string.fold("Straße")
local b = util.string.fold("STRASSE")
core.engine.print("info", a == b) -- truelocal result = util.string.fold("İstanbul")
core.engine.print("info", result) -- folds 'İ' correctly, unlike a plain lower()