Movatterモバイル変換

base-4.12.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.ParserCombinators.ReadPrec

Contents

Description

This library defines parser combinators for precedence parsing.

Synopsis

dataReadPrec a
typePrec =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

dataReadPrec aSource #

Instances

Monad ReadPrecSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadPrec Methods (>>=) ::ReadPrec a -> (a ->ReadPrec b) ->ReadPrec bSource # (>>) ::ReadPrec a ->ReadPrec b ->ReadPrec bSource # return :: a ->ReadPrec aSource # fail ::String ->ReadPrec aSource #
Functor ReadPrecSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadPrec Methods fmap :: (a -> b) ->ReadPrec a ->ReadPrec bSource # (<$) :: a ->ReadPrec b ->ReadPrec aSource #
MonadFail ReadPrecSource #	Since: 4.9.0.0
Instance details Defined inText.ParserCombinators.ReadPrec Methods fail ::String ->ReadPrec aSource #
Applicative ReadPrecSource #	Since: 4.6.0.0
Instance details Defined inText.ParserCombinators.ReadPrec Methods pure :: a ->ReadPrec aSource # (<>) ::ReadPrec (a -> b) ->ReadPrec a ->ReadPrec bSource # liftA2 :: (a -> b -> c) ->ReadPrec a ->ReadPrec b ->ReadPrec cSource # (>) ::ReadPrec a ->ReadPrec b ->ReadPrec bSource # (<*) ::ReadPrec a ->ReadPrec b ->ReadPrec aSource #
MonadPlus ReadPrecSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadPrec Methods mzero ::ReadPrec aSource # mplus ::ReadPrec a ->ReadPrec a ->ReadPrec aSource #
Alternative ReadPrecSource #	Since: 4.6.0.0
Instance details Defined inText.ParserCombinators.ReadPrec Methods empty ::ReadPrec aSource # (<\|>) ::ReadPrec a ->ReadPrec a ->ReadPrec aSource # some ::ReadPrec a ->ReadPrec [a]Source # many ::ReadPrec a ->ReadPrec [a]Source #

Precedences

typePrec =Int Source #

minPrec ::Prec Source #

Precedence operations

lift ::ReadP a ->ReadPrec aSource #

Lift a precedence-insensitiveReadP to aReadPrec.

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

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

if not, fails
if so, parsesp in contextn.

step ::ReadPrec a ->ReadPrec aSource #

Increases the precedence context by one.

reset ::ReadPrec a ->ReadPrec aSource #

Resets the precedence context to zero.

Other operations

All are based directly on their similarly-namedReadP counterparts.

get ::ReadPrec Char Source #

Consumes and returns the next character. Fails if there is no input left.

look ::ReadPrec String Source #

Look-ahead: returns the part of the input that is left, without consuming it.

(+++) ::ReadPrec a ->ReadPrec a ->ReadPrec aSource #

Symmetric choice.

(<++) ::ReadPrec a ->ReadPrec a ->ReadPrec aSource #

Local, exclusive, left-biased choice: If left parser locally produces any result at all, then right parser is not used.

pfail ::ReadPrec aSource #

Always fails.

choice :: [ReadPrec a] ->ReadPrec aSource #

Combines all parsers in the specified list.

Converters

readPrec_to_P ::ReadPrec a ->Int ->ReadP aSource #

readP_to_Prec :: (Int ->ReadP a) ->ReadPrec aSource #

readPrec_to_S ::ReadPrec a ->Int ->ReadS aSource #

readS_to_Prec :: (Int ->ReadS a) ->ReadPrec aSource #

Produced byHaddock version 2.20.0

[8]ページ先頭

©2009-2025 Movatter.jp