<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ --> <title>src/System/IO/Streams/Internal/Attoparsec.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-- | This module provides support for parsing values from 'InputStream's using</span> <a name="line-2"></a><span class='hs-comment'>-- @attoparsec@.</span> <a name="line-3"></a> <a name="line-4"></a><span class='hs-comment'>{-# LANGUAGE DeriveDataTypeable #-}</span> <a name="line-5"></a><span class='hs-comment'>{-# LANGUAGE OverloadedStrings #-}</span> <a name="line-6"></a> <a name="line-7"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span><span class='hs-varop'>.</span><span class='hs-conid'>Attoparsec</span> <a name="line-8"></a> <span class='hs-layout'>(</span> <span class='hs-comment'>-- * Parsing</span> <a name="line-9"></a> <span class='hs-conid'>ParseException</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <a name="line-10"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>parseFromStream</span> <a name="line-11"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>parseFromStreamInternal</span> <a name="line-12"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>parserToInputStream</span> <a name="line-13"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-14"></a> <a name="line-15"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-16"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Exception</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exception</span><span class='hs-layout'>,</span> <span class='hs-varid'>throwIO</span><span class='hs-layout'>)</span> <a name="line-17"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span><span class='hs-varid'>when</span><span class='hs-layout'>)</span> <a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Attoparsec</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Char8</span> <span class='hs-layout'>(</span><span class='hs-conid'>Parser</span><span class='hs-layout'>,</span> <span class='hs-conid'>Result</span><span class='hs-layout'>,</span> <span class='hs-varid'>eitherResult</span><span class='hs-layout'>,</span> <span class='hs-varid'>feed</span><span class='hs-layout'>,</span> <span class='hs-varid'>parse</span><span class='hs-layout'>)</span> <a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Attoparsec</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span> <span class='hs-layout'>(</span><span class='hs-conid'>IResult</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-20"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Char8</span> <span class='hs-layout'>(</span><span class='hs-conid'>ByteString</span><span class='hs-layout'>)</span> <a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Char8</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Typeable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span> <a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Prelude</span> <span class='hs-varid'>hiding</span> <span class='hs-layout'>(</span><span class='hs-varid'>read</span><span class='hs-layout'>)</span> <a name="line-24"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span> <span class='hs-layout'>(</span><span class='hs-conid'>InputStream</span><span class='hs-layout'>)</span> <a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Streams</span> <a name="line-27"></a> <a name="line-28"></a> <a name="line-29"></a><a name="ParseException"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-30"></a><a name="ParseException"></a><span class='hs-comment'>-- | An exception raised when parsing fails.</span> <a name="line-31"></a><a name="ParseException"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>ParseException</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ParseException</span> <span class='hs-conid'>String</span> <a name="line-32"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span> <a name="line-33"></a> <a name="line-34"></a><a name="instance%20Show%20ParseException"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>ParseException</span> <span class='hs-keyword'>where</span> <a name="line-35"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>ParseException</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Parse exception: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>s</span> <a name="line-36"></a> <a name="line-37"></a><a name="instance%20Exception%20ParseException%20------------------------------------------------------------------------------%20--%20%7c%20Supplies%20an%20@attoparsec@%20'Parser'%20with%20an%20'InputStream',%20returning%20the%20--%20final%20parsed%20value%20or%20a%20'ParseException'%20if%20parsing%20fails.%20--%20--%20'parseFromStream'%20consumes%20only%20as%20much%20input%20as%20necessary%20to%20satisfy%20the%20--%20'Parser'%20and%20unconsumed%20input%20is%20pushed%20back%20onto%20the%20'InputStream'.%20--%20--%20If%20the%20'Parser'%20exhausts%20the%20'InputStream',%20it%20receives%20an%20@EOF@.%20--%20--%20Example:%20--%20--%20@%20--%20ghci%3e%20import%20%22Data.Attoparsec.ByteString.Char8%22%20--%20ghci%3e%20is%20%3c-%20'System.IO.Streams.fromList'%20%5b%5c%2212345xxx%5c%22%20::%20'ByteString'%5d%20--%20ghci%3e%20'parseFromStream'%20('Data.Attoparsec.ByteString.Char8.takeWhile'%20'Data.Attoparsec.ByteString.Char8.isDigit')%20is%20--%20%5c%2212345%5c%22%20--%20ghci%3e%20'System.IO.Streams.read'%20is%20--%20Just%20%5c%22xxx%5c%22%20--%20@%20parseFromStream%20::%20Parser%20r%20-%3e%20InputStream%20ByteString%20-%3e%20IO%20r%20parseFromStream%20=%20parseFromStreamInternal%20parse%20feed%20%7b-%23%20INLINE%20parseFromStream%20%23-%7d%20------------------------------------------------------------------------------%20--%20%7c%20Internal%20version%20of%20parseFromStream%20allowing%20dependency%20injection%20of%20the%20--%20parse%20functions%20for%20testing.%20parseFromStreamInternal%20::%20(Parser%20r%20-%3e%20ByteString%20-%3e%20Result%20r)%20-%3e%20(Result%20r%20-%3e%20ByteString%20-%3e%20Result%20r)%20-%3e%20Parser%20r%20-%3e%20InputStream%20ByteString%20-%3e%20IO%20r%20parseFromStreamInternal%20parseFunc%20feedFunc%20parser%20is%20=%20Streams.read%20is%20%3e%3e=%20maybe%20(finish%20$%20parseFunc%20parser%20%22%22)%20(%5cs%20-%3e%20if%20S.null%20s%20then%20parseFromStreamInternal%20parseFunc%20feedFunc%20parser%20is%20else%20go%20$!%20parseFunc%20parser%20s)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Exception</span> <span class='hs-conid'>ParseException</span> <a name="line-38"></a> <a name="line-39"></a><a name="parseFromStream"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-40"></a><span class='hs-comment'>-- | Supplies an @attoparsec@ 'Parser' with an 'InputStream', returning the</span> <a name="line-41"></a><span class='hs-comment'>-- final parsed value or a 'ParseException' if parsing fails.</span> <a name="line-42"></a><span class='hs-comment'>--</span> <a name="line-43"></a><span class='hs-comment'>-- 'parseFromStream' consumes only as much input as necessary to satisfy the</span> <a name="line-44"></a><span class='hs-comment'>-- 'Parser' and unconsumed input is pushed back onto the 'InputStream'.</span> <a name="line-45"></a><span class='hs-comment'>--</span> <a name="line-46"></a><span class='hs-comment'>-- If the 'Parser' exhausts the 'InputStream', it receives an @EOF@.</span> <a name="line-47"></a><span class='hs-comment'>--</span> <a name="line-48"></a><span class='hs-comment'>-- Example:</span> <a name="line-49"></a><span class='hs-comment'>--</span> <a name="line-50"></a><span class='hs-comment'>-- @</span> <a name="line-51"></a><span class='hs-comment'>-- ghci> import "Data.Attoparsec.ByteString.Char8"</span> <a name="line-52"></a><span class='hs-comment'>-- ghci> is <- 'System.IO.Streams.fromList' [\"12345xxx\" :: 'ByteString']</span> <a name="line-53"></a><span class='hs-comment'>-- ghci> 'parseFromStream' ('Data.Attoparsec.ByteString.Char8.takeWhile' 'Data.Attoparsec.ByteString.Char8.isDigit') is</span> <a name="line-54"></a><span class='hs-comment'>-- \"12345\"</span> <a name="line-55"></a><span class='hs-comment'>-- ghci> 'System.IO.Streams.read' is</span> <a name="line-56"></a><span class='hs-comment'>-- Just \"xxx\"</span> <a name="line-57"></a><span class='hs-comment'>-- @</span> <a name="line-58"></a><span class='hs-definition'>parseFromStream</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>r</span> <a name="line-59"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>InputStream</span> <span class='hs-conid'>ByteString</span> <a name="line-60"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-varid'>r</span> <a name="line-61"></a><span class='hs-definition'>parseFromStream</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>parseFromStreamInternal</span> <span class='hs-varid'>parse</span> <span class='hs-varid'>feed</span> <a name="line-62"></a><span class='hs-comment'>{-# INLINE parseFromStream #-}</span> <a name="line-63"></a> <a name="line-64"></a> <a name="line-65"></a><a name="parseFromStreamInternal"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-66"></a><span class='hs-comment'>-- | Internal version of parseFromStream allowing dependency injection of the</span> <a name="line-67"></a><span class='hs-comment'>-- parse functions for testing.</span> <a name="line-68"></a><span class='hs-definition'>parseFromStreamInternal</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Parser</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-69"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-70"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>r</span> <a name="line-71"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>InputStream</span> <span class='hs-conid'>ByteString</span> <a name="line-72"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-varid'>r</span> <a name="line-73"></a><span class='hs-definition'>parseFromStreamInternal</span> <span class='hs-varid'>parseFunc</span> <span class='hs-varid'>feedFunc</span> <span class='hs-varid'>parser</span> <span class='hs-varid'>is</span> <span class='hs-keyglyph'>=</span> <a name="line-74"></a> <span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-varid'>read</span> <span class='hs-varid'>is</span> <span class='hs-varop'>>>=</span> <a name="line-75"></a> <span class='hs-varid'>maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>finish</span> <span class='hs-varop'>$</span> <span class='hs-varid'>parseFunc</span> <span class='hs-varid'>parser</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <a name="line-76"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>s</span> <a name="line-77"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>parseFromStreamInternal</span> <span class='hs-varid'>parseFunc</span> <span class='hs-varid'>feedFunc</span> <span class='hs-varid'>parser</span> <span class='hs-varid'>is</span> <a name="line-78"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-varop'>$!</span> <span class='hs-varid'>parseFunc</span> <span class='hs-varid'>parser</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-79"></a> <span class='hs-keyword'>where</span> <a name="line-80"></a> <span class='hs-varid'>leftover</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>when</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-varid'>unRead</span> <span class='hs-varid'>x</span> <span class='hs-varid'>is</span> <a name="line-81"></a> <a name="line-82"></a> <span class='hs-varid'>finish</span> <span class='hs-varid'>k</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>k'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>feedFunc</span> <span class='hs-layout'>(</span><span class='hs-varid'>feedFunc</span> <span class='hs-varid'>k</span> <span class='hs-str'>""</span><span class='hs-layout'>)</span> <span class='hs-str'>""</span> <a name="line-83"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>k'</span> <span class='hs-keyword'>of</span> <a name="line-84"></a> <span class='hs-conid'>Fail</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>leftover</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>></span> <span class='hs-varid'>err</span> <span class='hs-varid'>k'</span> <a name="line-85"></a> <span class='hs-conid'>Partial</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>err</span> <span class='hs-varid'>k'</span> <span class='hs-comment'>-- should be impossible</span> <a name="line-86"></a> <span class='hs-conid'>Done</span> <span class='hs-varid'>x</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>leftover</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>r</span> <a name="line-87"></a> <a name="line-88"></a> <span class='hs-varid'>err</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-conid'>Left</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>eitherResult</span> <span class='hs-varid'>r</span> <span class='hs-keyword'>in</span> <span class='hs-varid'>throwIO</span> <span class='hs-varop'>$</span> <span class='hs-conid'>ParseException</span> <span class='hs-varid'>s</span> <a name="line-89"></a> <a name="line-90"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>r</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Fail</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>leftover</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>></span> <span class='hs-varid'>err</span> <span class='hs-varid'>r</span> <a name="line-91"></a> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-conid'>Done</span> <span class='hs-varid'>x</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>leftover</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>r</span> <a name="line-92"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-varid'>read</span> <span class='hs-varid'>is</span> <span class='hs-varop'>>>=</span> <a name="line-93"></a> <span class='hs-varid'>maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>finish</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-94"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>s</span> <a name="line-95"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>go</span> <span class='hs-varid'>r</span> <a name="line-96"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-varop'>$!</span> <span class='hs-varid'>feedFunc</span> <span class='hs-varid'>r</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-97"></a> <a name="line-98"></a> <a name="line-99"></a><a name="parserToInputStream"></a><span class='hs-comment'>------------------------------------------------------------------------------</span> <a name="line-100"></a><span class='hs-comment'>-- | Given a 'Parser' yielding values of type @'Maybe' r@, transforms an</span> <a name="line-101"></a><span class='hs-comment'>-- 'InputStream' over byte strings to an 'InputStream' yielding values of type</span> <a name="line-102"></a><span class='hs-comment'>-- @r@.</span> <a name="line-103"></a><span class='hs-comment'>--</span> <a name="line-104"></a><span class='hs-comment'>-- If the parser yields @Just x@, then @x@ will be passed along downstream, and</span> <a name="line-105"></a><span class='hs-comment'>-- if the parser yields @Nothing@, that will be interpreted as end-of-stream.</span> <a name="line-106"></a><span class='hs-comment'>--</span> <a name="line-107"></a><span class='hs-comment'>-- Upon a parse error, 'parserToInputStream' will throw a 'ParseException'.</span> <a name="line-108"></a><span class='hs-comment'>--</span> <a name="line-109"></a><span class='hs-comment'>-- Example:</span> <a name="line-110"></a><span class='hs-comment'>--</span> <a name="line-111"></a><span class='hs-comment'>-- @</span> <a name="line-112"></a><span class='hs-comment'>-- ghci> import "Control.Applicative"</span> <a name="line-113"></a><span class='hs-comment'>-- ghci> import "Data.Attoparsec.ByteString.Char8"</span> <a name="line-114"></a><span class='hs-comment'>-- ghci> is <- 'System.IO.Streams.fromList' [\"1 2 3 4 5\" :: 'ByteString']</span> <a name="line-115"></a><span class='hs-comment'>-- ghci> let parser = ('Data.Attoparsec.ByteString.Char8.endOfInput' >> 'Control.Applicative.pure' 'Nothing') \<|\> (Just \<$\> ('Data.Attoparsec.ByteString.Char8.skipWhile' 'Data.Attoparsec.ByteString.Char8.isSpace' *> 'Data.Attoparsec.ByteString.Char8.decimal'))</span> <a name="line-116"></a><span class='hs-comment'>-- ghci> 'parserToInputStream' parser is >>= 'System.IO.Streams.toList'</span> <a name="line-117"></a><span class='hs-comment'>-- [1,2,3,4,5]</span> <a name="line-118"></a><span class='hs-comment'>-- ghci> is' \<- 'System.IO.Streams.fromList' [\"1 2xx3 4 5\" :: 'ByteString'] >>= 'parserToInputStream' parser</span> <a name="line-119"></a><span class='hs-comment'>-- ghci> 'read' is'</span> <a name="line-120"></a><span class='hs-comment'>-- Just 1</span> <a name="line-121"></a><span class='hs-comment'>-- ghci> 'read' is'</span> <a name="line-122"></a><span class='hs-comment'>-- Just 2</span> <a name="line-123"></a><span class='hs-comment'>-- ghci> 'read' is'</span> <a name="line-124"></a><span class='hs-comment'>-- *** Exception: Parse exception: Failed reading: takeWhile1</span> <a name="line-125"></a><span class='hs-comment'>-- @</span> <a name="line-126"></a><span class='hs-definition'>parserToInputStream</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-127"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>InputStream</span> <span class='hs-conid'>ByteString</span> <a name="line-128"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-layout'>(</span><span class='hs-conid'>InputStream</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-129"></a><span class='hs-definition'>parserToInputStream</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>Streams</span><span class='hs-varop'>.</span><span class='hs-varid'>makeInputStream</span> <span class='hs-varop'>.</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>parseFromStream</span> <a name="line-130"></a><span class='hs-comment'>{-# INLINE parserToInputStream #-}</span> </pre></body> </html>