Module Char

Character operations and character classes.

type Char.Class = either {
  .any !,
  .ascii either {
    .alpha !,
    .alphanum !,
    .any !,
    .digit !,
  },
  .char Char,
  .whitespace !,
}

A class of characters for parsers and Char.Is.

  • .any! — any character.
  • .char c — a specific character.
  • .whitespace! — any whitespace character.
  • .ascii.any! — any ASCII character.
  • .ascii.alpha! — ASCII letter (a-z, A-Z).
  • .ascii.alphanum! — ASCII letter or digit.
  • .ascii.digit! — ASCII digit (0-9).
dec Char.Code : [Char] Nat

Returns the Unicode code point of a character as a natural number.