ascii_range.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
primitive ASCIINUL
  """
  The NUL character.
  """
  fun apply(): String => "\x00"

primitive ASCIIDigits
  """
  The ASCII digit characters 0-9.
  """
  fun apply(): String => "0123456789"

primitive ASCIIWhiteSpace
  """
  The ASCII whitespace characters.
  """
  fun apply(): String => " \t\n\r\x0b\x0c"

primitive ASCIIPunctuation
  """
  The ASCII punctuation characters.
  """
  fun apply(): String => "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~"

primitive ASCIILettersLower
  """
  The lowercase ASCII letter characters a-z.
  """
  fun apply(): String => "abcdefghijklmnopqrstuvwxyz"

primitive ASCIILettersUpper
  """
  The uppercase ASCII letter characters A-Z.
  """
  fun apply(): String => "ABCDEFGHIJKLMNOPQRSTUVWXYZ"

primitive ASCIILetters
  """
  All ASCII letter characters, both lowercase and uppercase.
  """
  fun apply(): String => ASCIILettersLower() + ASCIILettersUpper()

primitive ASCIIPrintable
  """
  All printable ASCII characters.
  """
  fun apply(): String =>
    ASCIIDigits() +
      ASCIILetters() +
      ASCIIPunctuation() +
      ASCIIWhiteSpace()

primitive ASCIINonPrintable
  """
  The non-printable ASCII characters, excluding NUL.
  """
  fun apply(): String =>
    "\x01\x02\x03\x04\x05\x06\x07\x08\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f"

primitive ASCIIAll
  """
  Represents all ASCII characters,
  excluding the NUL (\x00) character for its special treatment in C strings.
  """
  fun apply(): String =>
    ASCIIPrintable() + ASCIINonPrintable()

primitive ASCIIAllWithNUL
  """
  Represents all ASCII characters,
  including the NUL (\x00) character for its special treatment in C strings.
  """
  fun apply(): String =>
    ASCIIAll() + ASCIINUL()

type ASCIIRange is
    ( ASCIINUL
    | ASCIIDigits
    | ASCIIWhiteSpace
    | ASCIIPunctuation
    | ASCIILettersLower
    | ASCIILettersUpper
    | ASCIILetters
    | ASCIIPrintable
    | ASCIINonPrintable
    | ASCIIAll
    | ASCIIAllWithNUL
    )