Module "Read.curry"

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


 Exported names:

Functions:
readHex | readInt | readNat


 Summary of exported functions:

readNat  :: String -> Int  deterministic 
          Read a natural number in a string.
readInt  :: String -> Int  deterministic 
          Read a (possibly negative) integer in a string.
readHex  :: String -> Int  deterministic 
          Read a hexadecimal number in a string.

 Imported modules:

Char
Prelude

 Exported datatypes:


 Exported functions:

readNat :: String -> Int  deterministic 

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.


readInt :: String -> Int  deterministic 

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.


readHex :: String -> Int  deterministic 

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.



Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Jun 16 17:12:14 2009