Module "ReadNumeric.curry"

Library with some functions for reading and converting numeric tokens.

Author: Michael Hanus, Frank Huch

Version: September 2006


 Exported names:

Functions:
readHex | readInt | readNat | readOct


 Summary of exported functions:

readInt  :: String -> Maybe (Int,String)  deterministic rigid
          Read a (possibly negative) integer as a first token in a string.
readNat  :: String -> Maybe (Int,String)  deterministic 
          Read a natural number as a first token in a string.
readHex  :: String -> Maybe (Int,String)  deterministic 
          Read a hexadecimal number as a first token in a string.
readOct  :: String -> Maybe (Int,String)  deterministic 
          Read an octal number as a first token in a string.

 Imported modules:

Char
Prelude

 Exported datatypes:


 Exported functions:

readInt :: String -> Maybe (Int,String)  deterministic rigid

Read a (possibly negative) integer as a first token in a string. The string might contain leadings blanks and the integer is read up to the first non-digit. If the string does not start with an integer token, Nothing is returned, otherwise the result is (Just (v,s)) where v is the value of the integer and s is the remaing string without the integer token.


readNat :: String -> Maybe (Int,String)  deterministic 

Read a natural number as a first token in a string. The string might contain leadings blanks and the number is read up to the first non-digit. If the string does not start with a natural number token, Nothing is returned, otherwise the result is (Just (v,s)) where v is the value of the number and s is the remaing string without the number token.


readHex :: String -> Maybe (Int,String)  deterministic 

Read a hexadecimal number as a first token in a string. The string might contain leadings blanks and the number is read up to the first non-hexadecimal digit. If the string does not start with a hexadecimal number token, Nothing is returned, otherwise the result is (Just (v,s)) where v is the value of the number and s is the remaing string without the number token.


readOct :: String -> Maybe (Int,String)  deterministic 

Read an octal number as a first token in a string. The string might contain leadings blanks and the number is read up to the first non-octal digit. If the string does not start with an octal number token, Nothing is returned, otherwise the result is (Just (v,s)) where v is the value of the number and s is the remaing string without the number token.



Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Aug 28 15:27:04 2008