char package:turtle
Match a specific character
>>> match (char '1') "1"
"1"
>>> match (char '2') "1"
""
Like star dot or star anyChar, except more efficient
Like plus dot or plus anyChar, except more efficient
Match any character
>>> match anyChar "1"
"1"
>>> match anyChar ""
""
Match any character except the given one
>>> match (notChar '2') "1"
"1"
>>> match (notChar '1') "1"
""
Count the number of characters in the stream (like wc -c)
This uses the convention that the elements of the stream are
implicitly ended by newlines that are one character wide
Checks if this file is a character device.