<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Text.ParserCombinators.ReadPrec</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Text-ParserCombinators-ReadPrec.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">base-4.5.1.0: Basic libraries</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable (uses Text.ParserCombinators.ReadP)</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>libraries@haskell.org</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Text.ParserCombinators.ReadPrec</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Precedences
</a></li><li><a href="#g:2">Precedence operations
</a></li><li><a href="#g:3">Other operations
</a></li><li><a href="#g:4">Converters
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This library defines parser combinators for precedence parsing.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:Prec">Prec</a> = <a href="Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:minPrec">minPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:Prec">Prec</a></li><li class="src short"><a href="#v:lift">lift</a> :: <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:prec">prec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:Prec">Prec</a> -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:step">step</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:reset">reset</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:get">get</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> <a href="Data-Char.html#t:Char">Char</a></li><li class="src short"><a href="#v:look">look</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> <a href="Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:-43--43--43-">(+++)</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:-60--43--43-">(<++)</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:pfail">pfail</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:choice">choice</a> :: [<a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a] -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:readPrec_to_P">readPrec_to_P</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a</li><li class="src short"><a href="#v:readP_to_Prec">readP_to_Prec</a> :: (<a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a) -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li><li class="src short"><a href="#v:readPrec_to_S">readPrec_to_S</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a</li><li class="src short"><a href="#v:readS_to_Prec">readS_to_Prec</a> :: (<a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ReadPrec" class="def">ReadPrec</a> a </p><div class="subs instances"><p id="control.i:ReadPrec" class="caption collapser" onclick="toggleSection('i:ReadPrec')">Instances</p><div id="section.i:ReadPrec" class="show"><table><tr><td class="src"><a href="Control-Monad.html#t:Monad">Monad</a> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Monad.html#t:Functor">Functor</a> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Monad.html#t:MonadPlus">MonadPlus</a> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a></td><td class="doc empty"> </td></tr></table></div></div></div><h1 id="g:1">Precedences
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Prec" class="def">Prec</a> = <a href="Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:minPrec" class="def">minPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:Prec">Prec</a></p></div><h1 id="g:2">Precedence operations
</h1><div class="top"><p class="src"><a name="v:lift" class="def">lift</a> :: <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Lift a precedence-insensitive <code><a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a></code> to a <code><a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:prec" class="def">prec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:Prec">Prec</a> -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p><code>(prec n p)</code> checks whether the precedence context is
less than or equal to <code>n</code>, and
</p><ul><li> if not, fails
</li><li> if so, parses <code>p</code> in context <code>n</code>.
</li></ul></div></div><div class="top"><p class="src"><a name="v:step" class="def">step</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Increases the precedence context by one.
</p></div></div><div class="top"><p class="src"><a name="v:reset" class="def">reset</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Resets the precedence context to zero.
</p></div></div><h1 id="g:3">Other operations
</h1><div class="doc"><p>All are based directly on their similarly-named <code><a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a></code> counterparts.
</p></div><div class="top"><p class="src"><a name="v:get" class="def">get</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> <a href="Data-Char.html#t:Char">Char</a></p><div class="doc"><p>Consumes and returns the next character.
Fails if there is no input left.
</p></div></div><div class="top"><p class="src"><a name="v:look" class="def">look</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> <a href="Data-String.html#t:String">String</a></p><div class="doc"><p>Look-ahead: returns the part of the input that is left, without
consuming it.
</p></div></div><div class="top"><p class="src"><a name="v:-43--43--43-" class="def">(+++)</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Symmetric choice.
</p></div></div><div class="top"><p class="src"><a name="v:-60--43--43-" class="def">(<++)</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Local, exclusive, left-biased choice: If left parser
locally produces any result at all, then right parser is
not used.
</p></div></div><div class="top"><p class="src"><a name="v:pfail" class="def">pfail</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Always fails.
</p></div></div><div class="top"><p class="src"><a name="v:choice" class="def">choice</a> :: [<a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a] -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p><div class="doc"><p>Combines all parsers in the specified list.
</p></div></div><h1 id="g:4">Converters
</h1><div class="top"><p class="src"><a name="v:readPrec_to_P" class="def">readPrec_to_P</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a</p></div><div class="top"><p class="src"><a name="v:readP_to_Prec" class="def">readP_to_Prec</a> :: (<a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadP">ReadP</a> a) -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p></div><div class="top"><p class="src"><a name="v:readPrec_to_S" class="def">readPrec_to_S</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a -> <a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a</p></div><div class="top"><p class="src"><a name="v:readS_to_Prec" class="def">readS_to_Prec</a> :: (<a href="Data-Int.html#t:Int">Int</a> -> <a href="Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> a</p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2334
