base-4.7.0.0: Basic libraries

Copyright | (c) The University of Glasgow 2002
License | BSD-style (see the file libraries/base/LICENSE)
Maintainer | libraries@haskell.org
Stability | provisional
Portability | non-portable (uses Text.ParserCombinators.ReadP)
Safe Haskell | Trustworthy
Language | Haskell2010

Text.Read.Lex

Description

The cut-down Haskell lexer, used by Text.Read

Synopsis

- data Lexeme
  - = Char Char
  - | String String
  - | Punc String
  - | Ident String
  - | Symbol String
  - | Number Number
  - | EOF
- data Number
- numberToInteger :: Number -> Maybe Integer
- numberToFixed :: Integer -> Number -> Maybe (Integer, Integer)
- numberToRational :: Number -> Rational
- numberToRangedRational :: (Int, Int) -> Number -> Maybe Rational
- lex :: ReadP Lexeme
- expect :: Lexeme -> ReadP ()
- hsLex :: ReadP String
- lexChar :: ReadP Char
- readIntP :: Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadP a
- readOctP :: (Eq a, Num a) => ReadP a
- readDecP :: (Eq a, Num a) => ReadP a
- readHexP :: (Eq a, Num a) => ReadP a

# Documentation

data Lexeme

Haskell lexemes.

Constructors

Char Char | Character literal
String String | String literal, with escapes interpreted
Punc String | Punctuation or reserved symbol, e.g. `(`, `::`
Ident String | Haskell identifier, e.g. `foo`, `Baz`
Symbol String | Haskell symbol, e.g. `>>`, `:%`
Number Number | Since: 4.6.0.0
EOF |

Instances

Eq Lexeme |
Read Lexeme |
Show Lexeme |

data Number

Since: 4.7.0.0

Instances

Eq Number |
Show Number |

numberToInteger :: Number -> Maybe Integer

Since: 4.5.1.0

numberToFixed :: Integer -> Number -> Maybe (Integer, Integer)

Since: 4.7.0.0

numberToRational :: Number -> Rational

Since: 4.6.0.0

numberToRangedRational :: (Int, Int) -> Number -> Maybe Rational

Since: 4.5.1.0

lex :: ReadP Lexeme

expect :: Lexeme -> ReadP ()

Since: 4.7.0.0

hsLex :: ReadP String

Haskell lexer: returns the lexed string, rather than the lexeme

lexChar :: ReadP Char

readIntP :: Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadP a

readOctP :: (Eq a, Num a) => ReadP a

readDecP :: (Eq a, Num a) => ReadP a

readHexP :: (Eq a, Num a) => ReadP a