Text.ParserCombinators.ReadPrec (original) (raw)

Contents

• Precedences
• Precedence operations
• Other operations
• Converters

Description

This module defines parser combinators for precedence parsing.

Synopsis

• data ReadPrec a
• type Prec = Int
• minPrec :: Prec
• lift :: ReadP a -> ReadPrec a
• prec :: Prec -> ReadPrec a -> ReadPrec a
• step :: ReadPrec a -> ReadPrec a
• reset :: ReadPrec a -> ReadPrec a
• get :: ReadPrec Char
• look :: ReadPrec String
• (+++) :: ReadPrec a -> ReadPrec a -> ReadPrec a
• (<++) :: ReadPrec a -> ReadPrec a -> ReadPrec a
• pfail :: ReadPrec a
• choice :: [ReadPrec a] -> ReadPrec a
• readPrec_to_P :: ReadPrec a -> Int -> ReadP a
• readP_to_Prec :: (Int -> ReadP a) -> ReadPrec a
• readPrec_to_S :: ReadPrec a -> Int -> ReadS a
• readS_to_Prec :: (Int -> ReadS a) -> ReadPrec a

Documentation

PrecedencesPrecedence operations

prec :: Prec -> ReadPrec a -> ReadPrec a Source #

(prec n p) checks whether the precedence context is less than or equal to n, and

• if not, fails
• if so, parses p in context n.

Other operations

All are based directly on their similarly-named ReadP counterparts.

Converters