The IsDigit(char) command determines whether char is a decimal digit. A character is a decimal digit if it is one of the following:

If char is a decimal digit, IsDigit returns true. Otherwise, false is returned.

If char is a string that contains more than one character, then all the characters in the string are tested. The command returns true if the condition is true of all characters in the input string. For the empty string, the tested condition is vacuously true.

All of the StringTools package commands treat strings as (null-terminated) sequences of $8$-bit (ASCII) characters.  Thus, there is no support for multibyte character encodings, such as unicode encodings.

The StringTools[IsDigit] command is thread-safe as of Maple 15.

For more information on thread safety, see index/threadsafe.

$\mathrm{with}\left(\mathrm{StringTools}\right)\:$

$s≔\mathrm{convert}\left(\left[\mathrm{`\$`}\left(1..255\right)\right]\,'\mathrm{bytes}'\right)\:$

$\mathrm{length}\left(s\right)$

$255$

$\mathrm{Select}\left(\mathrm{IsDigit}\,s\right)$

$''0123456789''$