category

`text_whitespace`ï

Portable Unicode whitespace, line-ending, and control-character normalization rules over code lists.

Availability:

logtalk_load(text_normalization(loader))

Author: Paulo Moura
Version: 1:0:0
Date: 2026-09-06

Compilation flags:

static

Uses:

string(Representation)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates ï

(no local declarations; see entity ancestors if any)

Normalizes code-list whitespace using trim, collapse, line-ending, and control-character policies.

Compilation flags:

static

Template:

normalize_whitespace_codes(Codes,Trim,Collapse,LineEndings,Controls,Normalized)

Mode and number of proofs:

normalize_whitespace_codes(+list(integer),+boolean,+atom,+atom,+atom,-list(integer)) - one

(no local declarations; see entity ancestors if any)

(none)