/usr/share/doc/libghc-uulib-doc/html/UU-Parsing-Machine.html is in libghc-uulib-doc 0.9.20-4build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | <!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>UU.Parsing.Machine</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_UU-Parsing-Machine.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/UU-Parsing-Machine.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">uulib-0.9.20: Haskell Utrecht Tools Library</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">UU.Parsing.Machine</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:pDynE" class="def">pDynE</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#pDynE" class="link">Source</a> <a href="#v:pDynE" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pDynL" class="def">pDynL</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#pDynL" class="link">Source</a> <a href="#v:pDynL" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:RealParser" class="def">RealParser</a> state s p a <a href="src/UU-Parsing-Machine.html#RealParser" class="link">Source</a> <a href="#t:RealParser" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:P" class="def">P</a> (<span class="keyword">forall</span> r' r''. (a -> r'' -> r') -> (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' s p) -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r' s p)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:RealRecogn" class="def">RealRecogn</a> state s p <a href="src/UU-Parsing-Machine.html#RealRecogn" class="link">Source</a> <a href="#t:RealRecogn" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:R" class="def">R</a> (<span class="keyword">forall</span> r. (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:RealAccept" class="def">RealAccept</a> state result s p a <a href="src/UU-Parsing-Machine.html#RealAccept" class="link">Source</a> <a href="#t:RealAccept" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:A" class="def">A</a> (<span class="keyword">forall</span> r. (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (result a r) s p)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ParsRec" class="def">ParsRec</a> state result s p a <a href="src/UU-Parsing-Machine.html#ParsRec" class="link">Source</a> <a href="#t:ParsRec" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:PR" class="def">PR</a> (<a href="UU-Parsing-Machine.html#t:RealParser">RealParser</a> state s p a, <a href="UU-Parsing-Machine.html#t:RealRecogn">RealRecogn</a> state s p, <a href="UU-Parsing-Machine.html#t:RealAccept">RealAccept</a> state result s p a)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:mkPR" class="def">mkPR</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (<a href="UU-Parsing-Machine.html#t:RealParser">RealParser</a> t s p a, <a href="UU-Parsing-Machine.html#t:RealRecogn">RealRecogn</a> t s p) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p a <a href="src/UU-Parsing-Machine.html#mkPR" class="link">Source</a> <a href="#v:mkPR" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:unP" class="def">unP</a> :: <a href="UU-Parsing-Machine.html#t:RealParser">RealParser</a> t3 t2 t1 t -> (t -> r'' -> r') -> (t3 -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' t2 t1) -> t3 -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r' t2 t1 <a href="src/UU-Parsing-Machine.html#unP" class="link">Source</a> <a href="#v:unP" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:unR" class="def">unR</a> :: <a href="UU-Parsing-Machine.html#t:RealRecogn">RealRecogn</a> t2 t1 t -> (t2 -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r t1 t) -> t2 -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r t1 t <a href="src/UU-Parsing-Machine.html#unR" class="link">Source</a> <a href="#v:unR" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:parseRecbasic" class="def">parseRecbasic</a> :: (inp -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (out c d) sym pos) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> inp out sym pos a -> inp -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (out a (out c d)) sym pos <a href="src/UU-Parsing-Machine.html#parseRecbasic" class="link">Source</a> <a href="#v:parseRecbasic" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:parsebasic" class="def">parsebasic</a> :: (inp -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (out c d) sym pos) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> inp out sym pos a -> inp -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (out a (out c d)) sym pos <a href="src/UU-Parsing-Machine.html#parsebasic" class="link">Source</a> <a href="#v:parsebasic" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libAccept" class="def">libAccept</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> a, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> b s p) => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> b a s p s <a href="src/UU-Parsing-Machine.html#libAccept" class="link">Source</a> <a href="#v:libAccept" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libInsert" class="def">libInsert</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> t s p) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> s -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p s <a href="src/UU-Parsing-Machine.html#libInsert" class="link">Source</a> <a href="#v:libInsert" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libSucceed" class="def">libSucceed</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => t1 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p t1 <a href="src/UU-Parsing-Machine.html#libSucceed" class="link">Source</a> <a href="#v:libSucceed" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libSeq" class="def">libSeq</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> t, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result) => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t2 s p (t1 -> a) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t s p t1 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 result s p a <a href="src/UU-Parsing-Machine.html#libSeq" class="link">Source</a> <a href="#v:libSeq" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libDollar" class="def">libDollar</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (t2 -> a) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t1 t s p t2 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t1 result s p a <a href="src/UU-Parsing-Machine.html#libDollar" class="link">Source</a> <a href="#v:libDollar" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libDollarL" class="def">libDollarL</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => t5 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t4 t3 t2 t1 t -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t4 result t2 t1 t5 <a href="src/UU-Parsing-Machine.html#libDollarL" class="link">Source</a> <a href="#v:libDollarL" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libDollarR" class="def">libDollarR</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => t2 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t1 t s p a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t1 result s p a <a href="src/UU-Parsing-Machine.html#libDollarR" class="link">Source</a> <a href="#v:libDollarR" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libSeqL" class="def">libSeqL</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t2 s p a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t1 s p t -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 result s p a <a href="src/UU-Parsing-Machine.html#libSeqL" class="link">Source</a> <a href="#v:libSeqL" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libSeqR" class="def">libSeqR</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t2 s p t1 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t s p a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 result s p a <a href="src/UU-Parsing-Machine.html#libSeqR" class="link">Source</a> <a href="#v:libSeqR" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libOr" class="def">libOr</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t2, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result) => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t4 t3 t2 t1 a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t4 t t2 t1 a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t4 result t2 t1 a <a href="src/UU-Parsing-Machine.html#libOr" class="link">Source</a> <a href="#v:libOr" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libFail" class="def">libFail</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> a => <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> b a c p d <a href="src/UU-Parsing-Machine.html#libFail" class="link">Source</a> <a href="#v:libFail" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:starting" class="def">starting</a> :: <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s <a href="src/UU-Parsing-Machine.html#starting" class="link">Source</a> <a href="#v:starting" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:hasSuccess" class="def">hasSuccess</a> :: <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/UU-Parsing-Machine.html#hasSuccess" class="link">Source</a> <a href="#v:hasSuccess" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getStart" class="def">getStart</a> :: <a href="UU-Parsing-MachineInterface.html#t:Message">Message</a> t1 t -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> t1 <a href="src/UU-Parsing-Machine.html#getStart" class="link">Source</a> <a href="#v:getStart" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:addToMessage" class="def">addToMessage</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> sym => <a href="UU-Parsing-MachineInterface.html#t:Message">Message</a> sym pos -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> sym -> <a href="UU-Parsing-MachineInterface.html#t:Message">Message</a> sym pos <a href="src/UU-Parsing-Machine.html#addToMessage" class="link">Source</a> <a href="#v:addToMessage" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:addexpecting" class="def">addexpecting</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> val s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> val s p <a href="src/UU-Parsing-Machine.html#addexpecting" class="link">Source</a> <a href="#v:addexpecting" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:eor" class="def">eor</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> a -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> a -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> a <a href="src/UU-Parsing-Machine.html#eor" class="link">Source</a> <a href="#v:eor" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libBest" class="def">libBest</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> b s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> b s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> b s p <a href="src/UU-Parsing-Machine.html#libBest" class="link">Source</a> <a href="#v:libBest" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libBest-39-" class="def">libBest'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> b s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> c s p -> (b -> d) -> (c -> d) -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> d s p <a href="src/UU-Parsing-Machine.html#libBest%27" class="link">Source</a> <a href="#v:libBest-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:isTrue" class="def">isTrue</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/UU-Parsing-Machine.html#isTrue" class="link">Source</a> <a href="#v:isTrue" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lib_correct" class="def">lib_correct</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => (b -> c -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> d s p) -> (b -> c -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> d s p) -> b -> c -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> d s p <a href="src/UU-Parsing-Machine.html#lib_correct" class="link">Source</a> <a href="#v:lib_correct" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libCorrect" class="def">libCorrect</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> c s p -> (a -> d) -> (c -> d) -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> d s p <a href="src/UU-Parsing-Machine.html#libCorrect" class="link">Source</a> <a href="#v:libCorrect" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ToBeat" class="def">ToBeat</a> a <a href="src/UU-Parsing-Machine.html#ToBeat" class="link">Source</a> <a href="#t:ToBeat" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:ToBeat" class="def">ToBeat</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> a</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:traverse" class="def">traverse</a> :: <a href="UU-Parsing-Machine.html#t:ToBeat">ToBeat</a> (<a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p) -> (<a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> v s p -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> v s p) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> <a href="UU-Parsing-Machine.html#t:ToBeat">ToBeat</a> (<a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> a s p) <a href="src/UU-Parsing-Machine.html#traverse" class="link">Source</a> <a href="#v:traverse" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:AnaParser" class="def">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#AnaParser" class="link">Source</a> <a href="#t:AnaParser" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:AnaParser" class="def">AnaParser</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:pars" class="def">pars</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:leng" class="def">leng</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:zerop" class="def">zerop</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a))</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:onep" class="def">onep</a> :: <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:AnaParser" class="caption collapser" onclick="toggleSection('i:AnaParser')">Instances</p><div id="section.i:AnaParser" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:AnaParser:StateParser:1" class="instance expander" onclick="toggleSection('i:id:AnaParser:StateParser:1')"></span> (<a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> inp s p, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> out) => <a href="UU-Parsing-StateParser.html#t:StateParser">StateParser</a> (<a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> (inp, st) out s p) st</span> <a href="src/UU-Parsing-StateParser.html#line-27" class="link">Source</a> <a href="#t:StateParser" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:AnaParser:StateParser:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:change">change</a> :: (st -> st) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> (inp, st) out s p st <a href="src/UU-Parsing-StateParser.html#change" class="link">Source</a> <a href="#v:change" class="selflink">#</a></p><p class="src"><a href="#v:set">set</a> :: st -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> (inp, st) out s p st <a href="src/UU-Parsing-StateParser.html#set" class="link">Source</a> <a href="#v:set" class="selflink">#</a></p><p class="src"><a href="#v:get">get</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> (inp, st) out s p st <a href="src/UU-Parsing-StateParser.html#get" class="link">Source</a> <a href="#v:get" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:AnaParser:IsParser:2" class="instance expander" onclick="toggleSection('i:id:AnaParser:IsParser:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> s, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> state s p, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result) => <a href="UU-Parsing-Interface.html#t:IsParser">IsParser</a> (<a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p) s</span> <a href="src/UU-Parsing-Interface.html#line-122" class="link">Source</a> <a href="#t:IsParser" class="selflink">#</a></td><td class="doc"><p>The fast <code><a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a></code> instance of the <code><a href="UU-Parsing-Interface.html#t:IsParser">IsParser</a></code> class. Note that this
requires a functioning <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a></code> for the symbol type s, as tokens are
often compared using the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#v:compare">compare</a></code> function in <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a></code> rather than always
using <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#v:-61--61-">==</a></code> rom <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a></code>. The two do need to be consistent though, that is
for any two <code>x1</code>, <code>x2</code> such that <code>x1 == x2</code> you must have
<code>compare x1 x2 == EQ</code>.</p></td></tr><tr><td colspan="2"><div id="section.i:id:AnaParser:IsParser:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pSucceed">pSucceed</a> :: a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Interface.html#pSucceed" class="link">Source</a> <a href="#v:pSucceed" class="selflink">#</a></p><p class="src"><a href="#v:pLow">pLow</a> :: a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Interface.html#pLow" class="link">Source</a> <a href="#v:pLow" class="selflink">#</a></p><p class="src"><a href="#v:pFail">pFail</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Interface.html#pFail" class="link">Source</a> <a href="#v:pFail" class="selflink">#</a></p><p class="src"><a href="#v:pCostRange">pCostRange</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> s -> <a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p s <a href="src/UU-Parsing-Interface.html#pCostRange" class="link">Source</a> <a href="#v:pCostRange" class="selflink">#</a></p><p class="src"><a href="#v:pCostSym">pCostSym</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> s -> s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p s <a href="src/UU-Parsing-Interface.html#pCostSym" class="link">Source</a> <a href="#v:pCostSym" class="selflink">#</a></p><p class="src"><a href="#v:pSym">pSym</a> :: s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p s <a href="src/UU-Parsing-Interface.html#pSym" class="link">Source</a> <a href="#v:pSym" class="selflink">#</a></p><p class="src"><a href="#v:pRange">pRange</a> :: s -> <a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p s <a href="src/UU-Parsing-Interface.html#pRange" class="link">Source</a> <a href="#v:pRange" class="selflink">#</a></p><p class="src"><a href="#v:getfirsts">getfirsts</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s <a href="src/UU-Parsing-Interface.html#getfirsts" class="link">Source</a> <a href="#v:getfirsts" class="selflink">#</a></p><p class="src"><a href="#v:setfirsts">setfirsts</a> :: <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v <a href="src/UU-Parsing-Interface.html#setfirsts" class="link">Source</a> <a href="#v:setfirsts" class="selflink">#</a></p><p class="src"><a href="#v:getzerop">getzerop</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v) <a href="src/UU-Parsing-Interface.html#getzerop" class="link">Source</a> <a href="#v:getzerop" class="selflink">#</a></p><p class="src"><a href="#v:getonep">getonep</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p v) <a href="src/UU-Parsing-Interface.html#getonep" class="link">Source</a> <a href="#v:getonep" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:OneDescr" class="def">OneDescr</a> state result s p a <a href="src/UU-Parsing-Machine.html#OneDescr" class="link">Source</a> <a href="#t:OneDescr" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:OneDescr" class="def">OneDescr</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:firsts" class="def">firsts</a> :: <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:table" class="def">table</a> :: [(<a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> s, <a href="UU-Parsing-Machine.html#t:TableEntry">TableEntry</a> state result s p a)]</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TableEntry" class="def">TableEntry</a> state result s p a <a href="src/UU-Parsing-Machine.html#TableEntry" class="link">Source</a> <a href="#t:TableEntry" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TableEntry" class="def">TableEntry</a> (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a) (<a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:anaFail" class="def">anaFail</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> a => <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> b a c p d <a href="src/UU-Parsing-Machine.html#anaFail" class="link">Source</a> <a href="#v:anaFail" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:noOneParser" class="def">noOneParser</a> :: <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a <a href="src/UU-Parsing-Machine.html#noOneParser" class="link">Source</a> <a href="#v:noOneParser" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pEmpty" class="def">pEmpty</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a)) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#pEmpty" class="link">Source</a> <a href="#v:pEmpty" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaSucceed" class="def">anaSucceed</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaSucceed" class="link">Source</a> <a href="#v:anaSucceed" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaLow" class="def">anaLow</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaLow" class="link">Source</a> <a href="#v:anaLow" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaDynE" class="def">anaDynE</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaDynE" class="link">Source</a> <a href="#v:anaDynE" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaDynL" class="def">anaDynL</a> :: <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaDynL" class="link">Source</a> <a href="#v:anaDynL" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaOr" class="def">anaOr</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> s, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> state s p) => <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaOr" class="link">Source</a> <a href="#v:anaOr" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaSeq" class="def">anaSeq</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> t5, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> s, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> state s p) => (t7 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t6 t5 s t4 t3 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a) -> (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t2 t1 s t t7 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t6 t5 s t4 t3 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a) -> (t7 -> t3 -> a) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> t2 t1 s t t7 -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> t6 t5 s t4 t3 -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaSeq" class="link">Source</a> <a href="#v:anaSeq" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqZeroZero" class="def">seqZeroZero</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> t3 t2) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> t1 (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p t1)) -> (t3 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p t1 -> b) -> (t2 -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t result s p t1 -> b) -> (t3 -> t1 -> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b) <a href="src/UU-Parsing-Machine.html#seqZeroZero" class="link">Source</a> <a href="#v:seqZeroZero" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:orOneOneDescr" class="def">orOneOneDescr</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s => <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a <a href="src/UU-Parsing-Machine.html#orOneOneDescr" class="link">Source</a> <a href="#v:orOneOneDescr" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaCostRange" class="def">anaCostRange</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> d, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> d, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> b d p, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.5.0.0/GHC-Prim.html#t:Int-35-">Int#</a> -> d -> <a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> d -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> b a d p d <a href="src/UU-Parsing-Machine.html#anaCostRange" class="link">Source</a> <a href="#v:anaCostRange" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaGetFirsts" class="def">anaGetFirsts</a> :: <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s <a href="src/UU-Parsing-Machine.html#anaGetFirsts" class="link">Source</a> <a href="#v:anaGetFirsts" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:anaSetFirsts" class="def">anaSetFirsts</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> s, <a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> state s p) => <a href="UU-Parsing-MachineInterface.html#t:Expecting">Expecting</a> s -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#anaSetFirsts" class="link">Source</a> <a href="#v:anaSetFirsts" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mapOnePars" class="def">mapOnePars</a> :: (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t3 t2 s t1 t -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a) -> <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> t3 t2 s t1 t -> <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a <a href="src/UU-Parsing-Machine.html#mapOnePars" class="link">Source</a> <a href="#v:mapOnePars" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mkParser" class="def">mkParser</a> :: (<a href="UU-Parsing-MachineInterface.html#t:InputState">InputState</a> state s p, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> s, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> s, <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result) => <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a (<a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a)) -> <a href="UU-Parsing-Machine.html#t:OneDescr">OneDescr</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a <a href="src/UU-Parsing-Machine.html#mkParser" class="link">Source</a> <a href="#v:mkParser" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Nat" class="def">Nat</a> <a href="src/UU-Parsing-Machine.html#Nat" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Zero" class="def">Zero</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Succ" class="def">Succ</a> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Infinite" class="def">Infinite</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Nat" class="caption collapser" onclick="toggleSection('i:Nat')">Instances</p><div id="section.i:Nat" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Nat:Eq:1" class="instance expander" onclick="toggleSection('i:id:Nat:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a></span> <a href="src/UU-Parsing-Machine.html#line-394" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Nat:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Nat:Show:2" class="instance expander" onclick="toggleSection('i:id:Nat:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a></span> <a href="src/UU-Parsing-Machine.html#line-394" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Nat:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="UU-Parsing-Machine.html#t:Nat">Nat</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:nat_le" class="def">nat_le</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/UU-Parsing-Machine.html#nat_le" class="link">Source</a> <a href="#v:nat_le" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:nat_min" class="def">nat_min</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> (<a href="UU-Parsing-Machine.html#t:Nat">Nat</a>, (b -> b -> c) -> b -> b -> c) <a href="src/UU-Parsing-Machine.html#nat_min" class="link">Source</a> <a href="#v:nat_min" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:nat_add" class="def">nat_add</a> :: <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> -> <a href="UU-Parsing-Machine.html#t:Nat">Nat</a> <a href="src/UU-Parsing-Machine.html#nat_add" class="link">Source</a> <a href="#v:nat_add" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mergeTables" class="def">mergeTables</a> :: (<a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t1, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a1, <a href="UU-Parsing-MachineInterface.html#t:Symbol">Symbol</a> a1) => [(<a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> a1, <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t2 result t1 t a)] -> [(<a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> a1, <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t2 result t1 t a)] -> [(<a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> a1, <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> t2 result t1 t a)] <a href="src/UU-Parsing-Machine.html#mergeTables" class="link">Source</a> <a href="#v:mergeTables" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libMap" class="def">libMap</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (<span class="keyword">forall</span> r r''. (b -> r -> r'') -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (a, r) s p -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' s p)) -> (<span class="keyword">forall</span> r. state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p b <a href="src/UU-Parsing-Machine.html#libMap" class="link">Source</a> <a href="#v:libMap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pMap" class="def">pMap</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (<span class="keyword">forall</span> r r''. (b -> r -> r'') -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (a, r) s p -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' s p)) -> (<span class="keyword">forall</span> r. state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p b <a href="src/UU-Parsing-Machine.html#pMap" class="link">Source</a> <a href="#v:pMap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:libWrap" class="def">libWrap</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (<span class="keyword">forall</span> r r''. (b -> r -> r'') -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (a, r) s p -> (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' s p, state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> (<span class="keyword">forall</span> r. state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p -> (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p, state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:ParsRec">ParsRec</a> state result s p b <a href="src/UU-Parsing-Machine.html#libWrap" class="link">Source</a> <a href="#v:libWrap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:pWrap" class="def">pWrap</a> :: <a href="UU-Parsing-MachineInterface.html#t:OutputState">OutputState</a> result => (<span class="keyword">forall</span> r r''. (b -> r -> r'') -> state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> (a, r) s p -> (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r'' s p, state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> (<span class="keyword">forall</span> r. state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p -> (state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p) -> (state, <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p, state -> <a href="UU-Parsing-MachineInterface.html#t:Steps">Steps</a> r s p)) -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p a -> <a href="UU-Parsing-Machine.html#t:AnaParser">AnaParser</a> state result s p b <a href="src/UU-Parsing-Machine.html#pWrap" class="link">Source</a> <a href="#v:pWrap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lookupSym" class="def">lookupSym</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="UU-Util-BinaryTrees.html#t:BinSearchTree">BinSearchTree</a> (<a href="UU-Parsing-MachineInterface.html#t:SymbolR">SymbolR</a> a, b) -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b <a href="src/UU-Parsing-Machine.html#lookupSym" class="link">Source</a> <a href="#v:lookupSym" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|