Data.String

v11.3.15 • UTF-8 Strings

Strings represented as a list of natural numbers (UTF-8 codepoints).

Types

String :: *

Type alias for List Nat.

Implementation
type String = List Nat