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

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

(no local declarations; see entity ancestors if any)

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

(no local declarations; see entity ancestors if any)

(none)