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.
type String = List Nat
Strings represented as a list of natural numbers (UTF-8 codepoints).
Type alias for List Nat.
type String = List Nat