Library with some functions for reading special tokens.
This library is included for backward compatibility. You should use the library ReadNumeric which provides a better interface for these functions.
Author: Michael Hanus
Version: January 2000
readNat
:: String -> Int
Read a natural number in a string. |
readInt
:: String -> Int
Read a (possibly negative) integer in a string. |
readHex
:: String -> Int
Read a hexadecimal number in a string. |
|
Read a natural number in a string. The string might contain leadings blanks and the the number is read up to the first non-digit. |
|
Read a (possibly negative) integer in a string. The string might contain leadings blanks and the the integer is read up to the first non-digit. |
|
Read a hexadecimal number in a string. The string might contain leadings blanks and the the integer is read up to the first non-heaxdecimal digit. |