category

text_case_folding

Portable Unicode 17.0 default case conversion over lists of Unicode scalar values.

Availability:
logtalk_load(text_normalization(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-09-06
Compilation flags:
static
Uses:
list
user
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

convert_case_codes/4

Applies a profile override or the default fold, lower, upper, or title case conversion.

Compilation flags:
static
Template:
convert_case_codes(Mode,Codes,Profile,Converted)
Mode and number of proofs:
convert_case_codes(+atom,+list(integer),+object_identifier,-list(integer)) - one

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)