Module Numeric

Library with some functions for reading and converting numeric tokens.

Author: Michael Hanus, Frank Huch, Bjoern Peemoeller

Version: November 2016

Summary of exported operations:

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

Exported operations:

 readInt :: String -> [(Int,String)] 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. On success returns [(v,s)], where v is the value of the integer and s is the remaing string without the integer token.
 readNat :: String -> [(Int,String)] 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. On success returns [(v,s)], where v is the value of the number and s is the remaing string without the number token.
 readHex :: String -> [(Int,String)] 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. On success returns [(v,s)], where v is the value of the number and s is the remaing string without the number token.
 readOct :: String -> [(Int,String)] 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. On success returns [(v,s)], where v is the value of the number and s is the remaing string without the number token.
 readBin :: String -> [(Int,String)] Read a binary number as a first token in a string. The string might contain leadings blanks and the number is read up to the first non-binary digit. On success returns [(v,s)], where v is the value of the number and s is the remaing string without the number token.