<?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://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>Data/Attoparsec/Internal.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE BangPatterns, Rank2Types, OverloadedStrings, RecordWildCards #-}</span> <a name="line-2"></a><span class='hs-comment'>-- |</span> <a name="line-3"></a><span class='hs-comment'>-- Module : Data.Attoparsec.Internal</span> <a name="line-4"></a><span class='hs-comment'>-- Copyright : Bryan O'Sullivan 2007-2010</span> <a name="line-5"></a><span class='hs-comment'>-- License : BSD3</span> <a name="line-6"></a><span class='hs-comment'>--</span> <a name="line-7"></a><span class='hs-comment'>-- Maintainer : bos@serpentine.com</span> <a name="line-8"></a><span class='hs-comment'>-- Stability : experimental</span> <a name="line-9"></a><span class='hs-comment'>-- Portability : unknown</span> <a name="line-10"></a><span class='hs-comment'>--</span> <a name="line-11"></a><span class='hs-comment'>-- Simple, efficient parser combinators for 'B.ByteString' strings,</span> <a name="line-12"></a><span class='hs-comment'>-- loosely based on the Parsec library.</span> <a name="line-13"></a> <a name="line-14"></a><span class='hs-keyword'>module</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'>Internal</span> <a name="line-15"></a> <span class='hs-layout'>(</span> <a name="line-16"></a> <span class='hs-comment'>-- * Parser types</span> <a name="line-17"></a> <span class='hs-conid'>Parser</span> <a name="line-18"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Result</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <a name="line-19"></a> <a name="line-20"></a> <span class='hs-comment'>-- * Running parsers</span> <a name="line-21"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>parse</span> <a name="line-22"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>parseOnly</span> <a name="line-23"></a> <a name="line-24"></a> <span class='hs-comment'>-- * Combinators</span> <a name="line-25"></a> <span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><?></span><span class='hs-layout'>)</span> <a name="line-26"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>try</span> <a name="line-27"></a> <span class='hs-layout'>,</span> <span class='hs-keyword'>module</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'>Combinator</span> <a name="line-28"></a> <a name="line-29"></a> <span class='hs-comment'>-- * Parsing individual bytes</span> <a name="line-30"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>satisfy</span> <a name="line-31"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>satisfyWith</span> <a name="line-32"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>anyWord8</span> <a name="line-33"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>skip</span> <a name="line-34"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>word8</span> <a name="line-35"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>notWord8</span> <a name="line-36"></a> <a name="line-37"></a> <span class='hs-comment'>-- ** Byte classes</span> <a name="line-38"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>inClass</span> <a name="line-39"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>notInClass</span> <a name="line-40"></a> <a name="line-41"></a> <span class='hs-comment'>-- * Parsing more complicated structures</span> <a name="line-42"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>storable</span> <a name="line-43"></a> <a name="line-44"></a> <span class='hs-comment'>-- * Efficient string handling</span> <a name="line-45"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>skipWhile</span> <a name="line-46"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>string</span> <a name="line-47"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>stringTransform</span> <a name="line-48"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>take</span> <a name="line-49"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>scan</span> <a name="line-50"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>takeWhile</span> <a name="line-51"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>takeWhile1</span> <a name="line-52"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>takeTill</span> <a name="line-53"></a> <a name="line-54"></a> <span class='hs-comment'>-- ** Consume all remaining input</span> <a name="line-55"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>takeByteString</span> <a name="line-56"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>takeLazyByteString</span> <a name="line-57"></a> <a name="line-58"></a> <span class='hs-comment'>-- * State observation and manipulation functions</span> <a name="line-59"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>endOfInput</span> <a name="line-60"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>atEnd</span> <a name="line-61"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>ensure</span> <a name="line-62"></a> <a name="line-63"></a> <span class='hs-comment'>-- * Utilities</span> <a name="line-64"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>endOfLine</span> <a name="line-65"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-66"></a> <a name="line-67"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>Alternative</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>Applicative</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><$></span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-68"></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-conid'>MonadPlus</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>when</span><span class='hs-layout'>)</span> <a name="line-69"></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'>Combinator</span> <a name="line-70"></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'>FastSet</span> <span class='hs-layout'>(</span><span class='hs-varid'>charClass</span><span class='hs-layout'>,</span> <span class='hs-varid'>memberWord8</span><span class='hs-layout'>)</span> <a name="line-71"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Monoid</span> <span class='hs-layout'>(</span><span class='hs-conid'>Monoid</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-72"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-73"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>ForeignPtr</span> <span class='hs-layout'>(</span><span class='hs-varid'>withForeignPtr</span><span class='hs-layout'>)</span> <a name="line-74"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>Ptr</span> <span class='hs-layout'>(</span><span class='hs-varid'>castPtr</span><span class='hs-layout'>,</span> <span class='hs-varid'>plusPtr</span><span class='hs-layout'>)</span> <a name="line-75"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span><span class='hs-varop'>.</span><span class='hs-conid'>Storable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Storable</span><span class='hs-layout'>(</span><span class='hs-varid'>peek</span><span class='hs-layout'>,</span> <span class='hs-varid'>sizeOf</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>peekByteOff</span><span class='hs-layout'>)</span> <a name="line-76"></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'>getChar</span><span class='hs-layout'>,</span> <span class='hs-varid'>take</span><span class='hs-layout'>,</span> <span class='hs-varid'>takeWhile</span><span class='hs-layout'>)</span> <a name="line-77"></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'>Unsafe</span> <span class='hs-layout'>(</span><span class='hs-varid'>unsafePerformIO</span><span class='hs-layout'>)</span> <a name="line-78"></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-keyword'>as</span> <span class='hs-conid'>B8</span> <a name="line-79"></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'>B</span> <a name="line-80"></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'>Internal</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>B</span> <a name="line-81"></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'>Unsafe</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>B</span> <a name="line-82"></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'>Lazy</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>L</span> <a name="line-83"></a> <a name="line-84"></a><a name="Result"></a><span class='hs-comment'>-- | The result of a parse.</span> <a name="line-85"></a><a name="Result"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Fail</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-conid'>String</span> <a name="line-86"></a> <span class='hs-comment'>-- ^ The parse failed. The 'B.ByteString' is the input</span> <a name="line-87"></a> <span class='hs-comment'>-- that had not yet been consumed when the failure</span> <a name="line-88"></a> <span class='hs-comment'>-- occurred. The @[@'String'@]@ is a list of contexts</span> <a name="line-89"></a> <span class='hs-comment'>-- in which the error occurred. The 'String' is the</span> <a name="line-90"></a> <span class='hs-comment'>-- message describing the error, if any.</span> <a name="line-91"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Partial</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</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-92"></a> <span class='hs-comment'>-- ^ Supply this continuation with more input so that</span> <a name="line-93"></a> <span class='hs-comment'>-- the parser can resume. To indicate that no more</span> <a name="line-94"></a> <span class='hs-comment'>-- input is available, use an 'B.empty' string.</span> <a name="line-95"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Done</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-varid'>r</span> <a name="line-96"></a> <span class='hs-comment'>-- ^ The parse succeeded. The 'B.ByteString' is the</span> <a name="line-97"></a> <span class='hs-comment'>-- input that had not yet been consumed (if any) when</span> <a name="line-98"></a> <span class='hs-comment'>-- the parse succeeded.</span> <a name="line-99"></a> <a name="line-100"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Result</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-101"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Fail</span> <span class='hs-varid'>bs</span> <span class='hs-varid'>stk</span> <span class='hs-varid'>msg</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-102"></a> <span class='hs-str'>"Fail "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>bs</span> <span class='hs-varop'>++</span> <span class='hs-str'>" "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>stk</span> <span class='hs-varop'>++</span> <span class='hs-str'>" "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>msg</span> <a name="line-103"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Partial</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Partial _"</span> <a name="line-104"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Done</span> <span class='hs-varid'>bs</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Done "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>bs</span> <span class='hs-varop'>++</span> <span class='hs-str'>" "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>r</span> <a name="line-105"></a> <a name="line-106"></a><a name="fmapR"></a><span class='hs-definition'>fmapR</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>b</span> <a name="line-107"></a><span class='hs-definition'>fmapR</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Fail</span> <span class='hs-varid'>st</span> <span class='hs-varid'>stk</span> <span class='hs-varid'>msg</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Fail</span> <span class='hs-varid'>st</span> <span class='hs-varid'>stk</span> <span class='hs-varid'>msg</span> <a name="line-108"></a><span class='hs-definition'>fmapR</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Partial</span> <span class='hs-varid'>k</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Partial</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmapR</span> <span class='hs-varid'>f</span> <span class='hs-varop'>.</span> <span class='hs-varid'>k</span><span class='hs-layout'>)</span> <a name="line-109"></a><span class='hs-definition'>fmapR</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Done</span> <span class='hs-varid'>bs</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Done</span> <span class='hs-varid'>bs</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <a name="line-110"></a> <a name="line-111"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-conid'>Result</span> <span class='hs-keyword'>where</span> <a name="line-112"></a> <span class='hs-varid'>fmap</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmapR</span> <a name="line-113"></a> <a name="line-114"></a><a name="Input"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span> <span class='hs-layout'>{</span><span class='hs-varid'>unI</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-layout'>}</span> <a name="line-115"></a><a name="Added"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>A</span> <span class='hs-layout'>{</span><span class='hs-varid'>unA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-layout'>}</span> <a name="line-116"></a> <a name="line-117"></a><a name="Parser"></a><span class='hs-comment'>-- | The 'Parser' type is a monad.</span> <a name="line-118"></a><a name="Parser"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>{</span> <a name="line-119"></a> <span class='hs-varid'>runParser</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyword'>forall</span> <span class='hs-varid'>r</span><span class='hs-varop'>.</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <a name="line-120"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Failure</span> <span class='hs-varid'>r</span> <a name="line-121"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Success</span> <span class='hs-varid'>a</span> <span class='hs-varid'>r</span> <a name="line-122"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <a name="line-123"></a> <span class='hs-layout'>}</span> <a name="line-124"></a> <a name="line-125"></a><a name="Failure"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Failure</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <a name="line-126"></a><a name="Success"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Success</span> <span class='hs-varid'>a</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <a name="line-127"></a> <a name="line-128"></a><a name="More"></a><span class='hs-comment'>-- | Have we read all available input?</span> <a name="line-129"></a><a name="More"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>More</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Complete</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Incomplete</span> <a name="line-130"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span> <a name="line-131"></a> <a name="line-132"></a><a name="addS"></a><span class='hs-definition'>addS</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <a name="line-133"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <a name="line-134"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <a name="line-135"></a><span class='hs-definition'>addS</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-sel'>_i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <a name="line-136"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>i</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span> <span class='hs-varop'>+++</span> <span class='hs-varid'>unA</span> <span class='hs-varid'>a1</span><span class='hs-layout'>)</span> <a name="line-137"></a> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>A</span> <span class='hs-layout'>(</span><span class='hs-varid'>unA</span> <span class='hs-varid'>a0</span> <span class='hs-varop'>+++</span> <span class='hs-varid'>unA</span> <span class='hs-varid'>a1</span><span class='hs-layout'>)</span> <a name="line-138"></a> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>m0</span> <span class='hs-varop'><></span> <span class='hs-varid'>m1</span> <a name="line-139"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>f</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <a name="line-140"></a> <span class='hs-keyword'>where</span> <a name="line-141"></a> <span class='hs-conid'>Complete</span> <span class='hs-varop'><></span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Complete</span> <a name="line-142"></a> <span class='hs-keyword'>_</span> <span class='hs-varop'><></span> <span class='hs-conid'>Complete</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Complete</span> <a name="line-143"></a> <span class='hs-keyword'>_</span> <span class='hs-varop'><></span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Incomplete</span> <a name="line-144"></a><span class='hs-comment'>{-# INLINE addS #-}</span> <a name="line-145"></a> <a name="line-146"></a><a name="bindP"></a><span class='hs-definition'>bindP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>b</span> <a name="line-147"></a><span class='hs-definition'>bindP</span> <span class='hs-varid'>m</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <a name="line-148"></a> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>m</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varop'>$</span> <a name="line-149"></a> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>runParser</span> <span class='hs-layout'>(</span><span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <a name="line-150"></a><span class='hs-comment'>{-# INLINE bindP #-}</span> <a name="line-151"></a> <a name="line-152"></a><a name="returnP"></a><span class='hs-definition'>returnP</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-153"></a><span class='hs-definition'>returnP</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-sel'>_kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <a name="line-154"></a><span class='hs-comment'>{-# INLINE returnP #-}</span> <a name="line-155"></a> <a name="line-156"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monad</span> <span class='hs-conid'>Parser</span> <span class='hs-keyword'>where</span> <a name="line-157"></a> <span class='hs-varid'>return</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>returnP</span> <a name="line-158"></a> <span class='hs-layout'>(</span><span class='hs-varop'>>>=</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bindP</span> <a name="line-159"></a> <span class='hs-varid'>fail</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failDesc</span> <a name="line-160"></a> <a name="line-161"></a><a name="noAdds"></a><span class='hs-definition'>noAdds</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <a name="line-162"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <a name="line-163"></a><span class='hs-definition'>noAdds</span> <span class='hs-varid'>i0</span> <span class='hs-sel'>_a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>i0</span> <span class='hs-layout'>(</span><span class='hs-conid'>A</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <span class='hs-varid'>m0</span> <a name="line-164"></a><span class='hs-comment'>{-# INLINE noAdds #-}</span> <a name="line-165"></a> <a name="line-166"></a><a name="plus"></a><span class='hs-definition'>plus</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-167"></a><span class='hs-definition'>plus</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-168"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addS</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varop'>$</span> <a name="line-169"></a> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>b</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <a name="line-170"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>noAdds</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>a</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks</span> <a name="line-171"></a><span class='hs-comment'>{-# INLINE plus #-}</span> <a name="line-172"></a> <a name="line-173"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>MonadPlus</span> <span class='hs-conid'>Parser</span> <span class='hs-keyword'>where</span> <a name="line-174"></a> <span class='hs-varid'>mzero</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failDesc</span> <span class='hs-str'>"mzero"</span> <a name="line-175"></a> <span class='hs-comment'>{-# INLINE mzero #-}</span> <a name="line-176"></a> <span class='hs-varid'>mplus</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>plus</span> <a name="line-177"></a> <a name="line-178"></a><a name="fmapP"></a><span class='hs-definition'>fmapP</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>b</span> <a name="line-179"></a><span class='hs-definition'>fmapP</span> <span class='hs-varid'>p</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>f</span> <span class='hs-varid'>k</span> <span class='hs-keyglyph'>-></span> <a name="line-180"></a> <span class='hs-varid'>runParser</span> <span class='hs-varid'>m</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>s1</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>k</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>s1</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <a name="line-181"></a><span class='hs-comment'>{-# INLINE fmapP #-}</span> <a name="line-182"></a> <a name="line-183"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-conid'>Parser</span> <span class='hs-keyword'>where</span> <a name="line-184"></a> <span class='hs-varid'>fmap</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmapP</span> <a name="line-185"></a> <a name="line-186"></a><a name="apP"></a><span class='hs-definition'>apP</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>b</span> <a name="line-187"></a><span class='hs-definition'>apP</span> <span class='hs-varid'>d</span> <span class='hs-varid'>e</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-188"></a> <span class='hs-varid'>b</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>d</span> <a name="line-189"></a> <span class='hs-varid'>a</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>e</span> <a name="line-190"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <a name="line-191"></a><span class='hs-comment'>{-# INLINE apP #-}</span> <a name="line-192"></a> <a name="line-193"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Applicative</span> <span class='hs-conid'>Parser</span> <span class='hs-keyword'>where</span> <a name="line-194"></a> <span class='hs-varid'>pure</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>returnP</span> <a name="line-195"></a> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>apP</span> <a name="line-196"></a> <a name="line-197"></a> <span class='hs-comment'>-- These definitions are equal to the defaults, but this</span> <a name="line-198"></a> <span class='hs-comment'>-- way the optimizer doesn't have to work so hard to figure</span> <a name="line-199"></a> <span class='hs-comment'>-- that out.</span> <a name="line-200"></a> <span class='hs-layout'>(</span><span class='hs-varop'>*></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varop'>>></span><span class='hs-layout'>)</span> <a name="line-201"></a> <span class='hs-varid'>x</span> <span class='hs-varop'><*</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>>=</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>y</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>a</span> <a name="line-202"></a> <a name="line-203"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monoid</span> <span class='hs-layout'>(</span><span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-204"></a> <span class='hs-varid'>mempty</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failDesc</span> <span class='hs-str'>"mempty"</span> <a name="line-205"></a> <span class='hs-comment'>{-# INLINE mempty #-}</span> <a name="line-206"></a> <span class='hs-varid'>mappend</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>plus</span> <a name="line-207"></a> <a name="line-208"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Alternative</span> <span class='hs-conid'>Parser</span> <span class='hs-keyword'>where</span> <a name="line-209"></a> <span class='hs-varid'>empty</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>failDesc</span> <span class='hs-str'>"empty"</span> <a name="line-210"></a> <span class='hs-comment'>{-# INLINE empty #-}</span> <a name="line-211"></a> <span class='hs-layout'>(</span><span class='hs-varop'><|></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>plus</span> <a name="line-212"></a> <a name="line-213"></a><a name="failDesc"></a><span class='hs-definition'>failDesc</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-214"></a><span class='hs-definition'>failDesc</span> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-sel'>_ks</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>msg</span><span class='hs-layout'>)</span> <a name="line-215"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>msg</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Failed reading: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>err</span> <a name="line-216"></a><span class='hs-comment'>{-# INLINE failDesc #-}</span> <a name="line-217"></a> <a name="line-218"></a><a name="ensure"></a><span class='hs-comment'>-- | If at least @n@ bytes of input are available, return the current</span> <a name="line-219"></a><span class='hs-comment'>-- input, otherwise fail.</span> <a name="line-220"></a><span class='hs-definition'>ensure</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-221"></a><a name="!"></a><span class='hs-definition'>ensure</span> <span class='hs-varop'>!</span><span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-222"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>length</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <span class='hs-varop'>>=</span> <span class='hs-varid'>n</span> <a name="line-223"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <a name="line-224"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>runParser</span> <span class='hs-layout'>(</span><span class='hs-varid'>demandInput</span> <span class='hs-varop'>>></span> <span class='hs-varid'>ensure</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <a name="line-225"></a> <a name="line-226"></a><a name="prompt"></a><span class='hs-comment'>-- | Ask for input. If we receive any, pass it to a success</span> <a name="line-227"></a><span class='hs-comment'>-- continuation, otherwise to a failure continuation.</span> <a name="line-228"></a><span class='hs-definition'>prompt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</span> <a name="line-229"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</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-230"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Input</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Added</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>More</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-231"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>r</span> <a name="line-232"></a><span class='hs-definition'>prompt</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-sel'>_m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Partial</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <a name="line-233"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>s</span> <a name="line-234"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-conid'>Complete</span> <a name="line-235"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>ks</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span> <span class='hs-varop'>+++</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>A</span> <span class='hs-layout'>(</span><span class='hs-varid'>unA</span> <span class='hs-varid'>a0</span> <span class='hs-varop'>+++</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-conid'>Incomplete</span> <a name="line-236"></a> <a name="line-237"></a><a name="demandInput"></a><span class='hs-comment'>-- | Immediately demand more input via a 'Partial' continuation</span> <a name="line-238"></a><span class='hs-comment'>-- result.</span> <a name="line-239"></a><span class='hs-definition'>demandInput</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-240"></a><span class='hs-definition'>demandInput</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-241"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>m0</span> <span class='hs-varop'>==</span> <span class='hs-conid'>Complete</span> <a name="line-242"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"demandInput"</span><span class='hs-keyglyph'>]</span> <span class='hs-str'>"not enough bytes"</span> <a name="line-243"></a> <span class='hs-keyword'>else</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>"demandInput"</span><span class='hs-keyglyph'>]</span> <span class='hs-str'>"not enough bytes"</span> <a name="line-244"></a> <span class='hs-varid'>ks'</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-conid'>()</span> <a name="line-245"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>prompt</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks'</span> <a name="line-246"></a> <a name="line-247"></a><a name="wantInput"></a><span class='hs-comment'>-- | This parser always succeeds. It returns 'True' if any input is</span> <a name="line-248"></a><span class='hs-comment'>-- available either immediately or on demand, and 'False' if the end</span> <a name="line-249"></a><span class='hs-comment'>-- of all input has been reached.</span> <a name="line-250"></a><span class='hs-definition'>wantInput</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Bool</span> <a name="line-251"></a><span class='hs-definition'>wantInput</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-sel'>_kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-252"></a> <span class='hs-keyword'>case</span> <span class='hs-conid'>()</span> <span class='hs-keyword'>of</span> <a name="line-253"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>True</span> <a name="line-254"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>m0</span> <span class='hs-varop'>==</span> <span class='hs-conid'>Complete</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>False</span> <a name="line-255"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-conid'>False</span> <a name="line-256"></a> <span class='hs-varid'>ks'</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-conid'>True</span> <a name="line-257"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>prompt</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks'</span> <a name="line-258"></a> <a name="line-259"></a><a name="get"></a><span class='hs-definition'>get</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-260"></a><span class='hs-definition'>get</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-sel'>_kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <a name="line-261"></a> <a name="line-262"></a><a name="put"></a><span class='hs-definition'>put</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-263"></a><span class='hs-definition'>put</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-sel'>_i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-sel'>_kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>()</span> <a name="line-264"></a> <a name="line-265"></a><a name="+++"></a><span class='hs-layout'>(</span><span class='hs-varop'>+++</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-266"></a><span class='hs-layout'>(</span><span class='hs-varop'>+++</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>append</span> <a name="line-267"></a><span class='hs-comment'>{-# INLINE (+++) #-}</span> <a name="line-268"></a> <a name="line-269"></a><a name="try"></a><span class='hs-comment'>-- | Attempt a parse, and if it fails, rewind the input so that no</span> <a name="line-270"></a><span class='hs-comment'>-- input appears to have been consumed.</span> <a name="line-271"></a><span class='hs-comment'>--</span> <a name="line-272"></a><span class='hs-comment'>-- This combinator is useful in cases where a parser might consume</span> <a name="line-273"></a><span class='hs-comment'>-- some input before failing, i.e. the parser needs arbitrary</span> <a name="line-274"></a><span class='hs-comment'>-- lookahead. The downside to using this combinator is that it can</span> <a name="line-275"></a><span class='hs-comment'>-- retain input for longer than is desirable.</span> <a name="line-276"></a><span class='hs-definition'>try</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-277"></a><span class='hs-definition'>try</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-278"></a> <span class='hs-varid'>noAdds</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-keyglyph'>-></span> <a name="line-279"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addS</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-varid'>kf</span> <a name="line-280"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>p</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks</span> <a name="line-281"></a> <a name="line-282"></a><a name="satisfy"></a><span class='hs-comment'>-- | The parser @satisfy p@ succeeds for any byte for which the</span> <a name="line-283"></a><span class='hs-comment'>-- predicate @p@ returns 'True'. Returns the byte that is actually</span> <a name="line-284"></a><span class='hs-comment'>-- parsed.</span> <a name="line-285"></a><span class='hs-comment'>--</span> <a name="line-286"></a><span class='hs-comment'>-- >digit = satisfy isDigit</span> <a name="line-287"></a><span class='hs-comment'>-- > where isDigit w = w >= 48 && w <= 57</span> <a name="line-288"></a><span class='hs-definition'>satisfy</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Word8</span> <a name="line-289"></a><span class='hs-definition'>satisfy</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-290"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>ensure</span> <span class='hs-num'>1</span> <a name="line-291"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeHead</span> <span class='hs-varid'>s</span> <a name="line-292"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w</span> <a name="line-293"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeTail</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>w</span> <a name="line-294"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-str'>"satisfy"</span> <a name="line-295"></a> <a name="line-296"></a><a name="skip"></a><span class='hs-comment'>-- | The parser @skip p@ succeeds for any byte for which the predicate</span> <a name="line-297"></a><span class='hs-comment'>-- @p@ returns 'True'.</span> <a name="line-298"></a><span class='hs-comment'>--</span> <a name="line-299"></a><span class='hs-comment'>-- >skipDigit = skip isDigit</span> <a name="line-300"></a><span class='hs-comment'>-- > where isDigit w = w >= 48 && w <= 57</span> <a name="line-301"></a><span class='hs-definition'>skip</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-302"></a><span class='hs-definition'>skip</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-303"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>ensure</span> <span class='hs-num'>1</span> <a name="line-304"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeHead</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-305"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeTail</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-306"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-str'>"skip"</span> <a name="line-307"></a> <a name="line-308"></a><a name="satisfyWith"></a><span class='hs-comment'>-- | The parser @satisfyWith f p@ transforms a byte, and succeeds if</span> <a name="line-309"></a><span class='hs-comment'>-- the predicate @p@ returns 'True' on the transformed value. The</span> <a name="line-310"></a><span class='hs-comment'>-- parser returns the transformed byte that was parsed.</span> <a name="line-311"></a><span class='hs-definition'>satisfyWith</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-312"></a><span class='hs-definition'>satisfyWith</span> <span class='hs-varid'>f</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-313"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>ensure</span> <span class='hs-num'>1</span> <a name="line-314"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeHead</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-315"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-varid'>c</span> <a name="line-316"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>unsafeTail</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>c</span> <a name="line-317"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-str'>"satisfyWith"</span> <a name="line-318"></a> <a name="line-319"></a><a name="storable"></a><span class='hs-definition'>storable</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Storable</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-320"></a><span class='hs-definition'>storable</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>hack</span> <span class='hs-varid'>undefined</span> <a name="line-321"></a> <span class='hs-keyword'>where</span> <a name="line-322"></a> <span class='hs-varid'>hack</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Storable</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>b</span> <a name="line-323"></a> <span class='hs-varid'>hack</span> <span class='hs-varid'>dummy</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-324"></a> <span class='hs-layout'>(</span><span class='hs-varid'>fp</span><span class='hs-layout'>,</span><span class='hs-varid'>o</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>toForeignPtr</span> <span class='hs-varop'>`fmapP`</span> <span class='hs-varid'>take</span> <span class='hs-layout'>(</span><span class='hs-varid'>sizeOf</span> <span class='hs-varid'>dummy</span><span class='hs-layout'>)</span> <a name="line-325"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>inlinePerformIO</span> <span class='hs-varop'>.</span> <span class='hs-varid'>withForeignPtr</span> <span class='hs-varid'>fp</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <a name="line-326"></a> <span class='hs-varid'>peek</span> <span class='hs-layout'>(</span><span class='hs-varid'>castPtr</span> <span class='hs-varop'>$</span> <span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-varid'>o</span><span class='hs-layout'>)</span> <a name="line-327"></a> <a name="line-328"></a><a name="takeWith"></a><span class='hs-comment'>-- | Consume @n@ bytes of input, but succeed only if the predicate</span> <a name="line-329"></a><span class='hs-comment'>-- returns 'True'.</span> <a name="line-330"></a><span class='hs-definition'>takeWith</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-331"></a><span class='hs-definition'>takeWith</span> <span class='hs-varid'>n</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-332"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>ensure</span> <span class='hs-varid'>n</span> <a name="line-333"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>splitAt</span> <span class='hs-varid'>n</span> <span class='hs-varid'>s</span> <a name="line-334"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-varid'>h</span> <a name="line-335"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>put</span> <span class='hs-varid'>t</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-varid'>h</span> <a name="line-336"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>failDesc</span> <span class='hs-str'>"takeWith"</span> <a name="line-337"></a> <a name="line-338"></a><a name="take"></a><span class='hs-comment'>-- | Consume exactly @n@ bytes of input.</span> <a name="line-339"></a><span class='hs-definition'>take</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-340"></a><span class='hs-definition'>take</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>takeWith</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>True</span><span class='hs-layout'>)</span> <a name="line-341"></a><span class='hs-comment'>{-# INLINE take #-}</span> <a name="line-342"></a> <a name="line-343"></a><a name="string"></a><span class='hs-comment'>-- | @string s@ parses a sequence of bytes that identically match</span> <a name="line-344"></a><span class='hs-comment'>-- @s@. Returns the parsed string (i.e. @s@). This parser consumes no</span> <a name="line-345"></a><span class='hs-comment'>-- input if it fails (even if a partial match).</span> <a name="line-346"></a><span class='hs-comment'>--</span> <a name="line-347"></a><span class='hs-comment'>-- /Note/: The behaviour of this parser is different to that of the</span> <a name="line-348"></a><span class='hs-comment'>-- similarly-named parser in Parsec, as this one is all-or-nothing.</span> <a name="line-349"></a><span class='hs-comment'>-- To illustrate the difference, the following parser will fail under</span> <a name="line-350"></a><span class='hs-comment'>-- Parsec given an input of @"for"@:</span> <a name="line-351"></a><span class='hs-comment'>--</span> <a name="line-352"></a><span class='hs-comment'>-- >string "foo" <|> string "for"</span> <a name="line-353"></a><span class='hs-comment'>--</span> <a name="line-354"></a><span class='hs-comment'>-- The reason for its failure is that that the first branch is a</span> <a name="line-355"></a><span class='hs-comment'>-- partial match, and will consume the letters @\'f\'@ and @\'o\'@</span> <a name="line-356"></a><span class='hs-comment'>-- before failing. In Attoparsec, the above parser will /succeed/ on</span> <a name="line-357"></a><span class='hs-comment'>-- that input, because the failed first branch will consume nothing.</span> <a name="line-358"></a><span class='hs-definition'>string</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-359"></a><span class='hs-definition'>string</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>takeWith</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>length</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-360"></a><span class='hs-comment'>{-# INLINE string #-}</span> <a name="line-361"></a> <a name="line-362"></a><a name="stringTransform"></a><span class='hs-definition'>stringTransform</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-363"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-364"></a><span class='hs-definition'>stringTransform</span> <span class='hs-varid'>f</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>takeWith</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>length</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-varid'>f</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <a name="line-365"></a><span class='hs-comment'>{-# INLINE stringTransform #-}</span> <a name="line-366"></a> <a name="line-367"></a><a name="skipWhile"></a><span class='hs-comment'>-- | Skip past input for as long as the predicate returns 'True'.</span> <a name="line-368"></a><span class='hs-definition'>skipWhile</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-369"></a><span class='hs-definition'>skipWhile</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <a name="line-370"></a> <span class='hs-keyword'>where</span> <a name="line-371"></a> <span class='hs-varid'>go</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-372"></a> <span class='hs-varid'>t</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>B8</span><span class='hs-varop'>.</span><span class='hs-varid'>dropWhile</span> <span class='hs-varid'>p</span> <span class='hs-varop'><$></span> <span class='hs-varid'>get</span> <a name="line-373"></a> <span class='hs-varid'>put</span> <span class='hs-varid'>t</span> <a name="line-374"></a> <span class='hs-varid'>when</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-375"></a> <span class='hs-varid'>input</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>wantInput</span> <a name="line-376"></a> <span class='hs-varid'>when</span> <span class='hs-varid'>input</span> <span class='hs-varid'>go</span> <a name="line-377"></a><span class='hs-comment'>{-# INLINE skipWhile #-}</span> <a name="line-378"></a> <a name="line-379"></a><a name="takeTill"></a><span class='hs-comment'>-- | Consume input as long as the predicate returns 'False'</span> <a name="line-380"></a><span class='hs-comment'>-- (i.e. until it returns 'True'), and return the consumed input.</span> <a name="line-381"></a><span class='hs-comment'>--</span> <a name="line-382"></a><span class='hs-comment'>-- This parser does not fail. It will return an empty string if the</span> <a name="line-383"></a><span class='hs-comment'>-- predicate returns 'True' on the first byte of input.</span> <a name="line-384"></a><span class='hs-comment'>--</span> <a name="line-385"></a><span class='hs-comment'>-- /Note/: Because this parser does not fail, do not use it with</span> <a name="line-386"></a><span class='hs-comment'>-- combinators such as 'many', because such parsers loop until a</span> <a name="line-387"></a><span class='hs-comment'>-- failure occurs. Careless use will thus result in an infinite loop.</span> <a name="line-388"></a><span class='hs-definition'>takeTill</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-389"></a><span class='hs-definition'>takeTill</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>takeWhile</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <a name="line-390"></a><span class='hs-comment'>{-# INLINE takeTill #-}</span> <a name="line-391"></a> <a name="line-392"></a><a name="takeWhile"></a><span class='hs-comment'>-- | Consume input as long as the predicate returns 'True', and return</span> <a name="line-393"></a><span class='hs-comment'>-- the consumed input.</span> <a name="line-394"></a><span class='hs-comment'>--</span> <a name="line-395"></a><span class='hs-comment'>-- This parser does not fail. It will return an empty string if the</span> <a name="line-396"></a><span class='hs-comment'>-- predicate returns 'False' on the first byte of input.</span> <a name="line-397"></a><span class='hs-comment'>--</span> <a name="line-398"></a><span class='hs-comment'>-- /Note/: Because this parser does not fail, do not use it with</span> <a name="line-399"></a><span class='hs-comment'>-- combinators such as 'many', because such parsers loop until a</span> <a name="line-400"></a><span class='hs-comment'>-- failure occurs. Careless use will thus result in an infinite loop.</span> <a name="line-401"></a><span class='hs-definition'>takeWhile</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-402"></a><span class='hs-definition'>takeWhile</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>concat</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span><span class='hs-layout'>)</span> <span class='hs-varop'>`fmap`</span> <span class='hs-varid'>go</span> <span class='hs-conid'>[]</span> <a name="line-403"></a> <span class='hs-keyword'>where</span> <a name="line-404"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>acc</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-405"></a> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>B8</span><span class='hs-varop'>.</span><span class='hs-varid'>span</span> <span class='hs-varid'>p</span> <span class='hs-varop'><$></span> <span class='hs-varid'>get</span> <a name="line-406"></a> <span class='hs-varid'>put</span> <span class='hs-varid'>t</span> <a name="line-407"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>t</span> <a name="line-408"></a> <span class='hs-keyword'>then</span> <span class='hs-keyword'>do</span> <a name="line-409"></a> <span class='hs-varid'>input</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>wantInput</span> <a name="line-410"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>input</span> <a name="line-411"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-412"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-413"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-414"></a> <a name="line-415"></a><a name="takeRest"></a><span class='hs-definition'>takeRest</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span> <a name="line-416"></a><span class='hs-definition'>takeRest</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-conid'>[]</span> <a name="line-417"></a> <span class='hs-keyword'>where</span> <a name="line-418"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>acc</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-419"></a> <span class='hs-varid'>input</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>wantInput</span> <a name="line-420"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>input</span> <a name="line-421"></a> <span class='hs-keyword'>then</span> <span class='hs-keyword'>do</span> <a name="line-422"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span> <a name="line-423"></a> <span class='hs-varid'>put</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span> <a name="line-424"></a> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-425"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-426"></a> <a name="line-427"></a><a name="takeByteString"></a><span class='hs-comment'>-- | Consume all remaining input and return it as a single string.</span> <a name="line-428"></a><span class='hs-definition'>takeByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-429"></a><span class='hs-definition'>takeByteString</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>concat</span> <span class='hs-varop'>`fmap`</span> <span class='hs-varid'>takeRest</span> <a name="line-430"></a> <a name="line-431"></a><a name="takeLazyByteString"></a><span class='hs-comment'>-- | Consume all remaining input and return it as a single string.</span> <a name="line-432"></a><span class='hs-definition'>takeLazyByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-433"></a><span class='hs-definition'>takeLazyByteString</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-varid'>fromChunks</span> <span class='hs-varop'>`fmap`</span> <span class='hs-varid'>takeRest</span> <a name="line-434"></a> <a name="line-435"></a><a name="scan"></a><span class='hs-comment'>-- | A stateful scanner. The predicate consumes and transforms a</span> <a name="line-436"></a><span class='hs-comment'>-- state argument, and each transformed state is passed to successive</span> <a name="line-437"></a><span class='hs-comment'>-- invocations of the predicate on each byte of the input until one</span> <a name="line-438"></a><span class='hs-comment'>-- returns 'Nothing' or the input ends.</span> <a name="line-439"></a><span class='hs-comment'>--</span> <a name="line-440"></a><span class='hs-comment'>-- This parser does not fail. It will return an empty string if the</span> <a name="line-441"></a><span class='hs-comment'>-- predicate returns 'Nothing' on the first byte of input.</span> <a name="line-442"></a><span class='hs-comment'>--</span> <a name="line-443"></a><span class='hs-comment'>-- /Note/: Because this parser does not fail, do not use it with</span> <a name="line-444"></a><span class='hs-comment'>-- combinators such as 'many', because such parsers loop until a</span> <a name="line-445"></a><span class='hs-comment'>-- failure occurs. Careless use will thus result in an infinite loop.</span> <a name="line-446"></a><span class='hs-definition'>scan</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-447"></a><span class='hs-definition'>scan</span> <span class='hs-varid'>s0</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-448"></a> <span class='hs-varid'>chunks</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>go</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>s0</span> <a name="line-449"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>chunks</span> <span class='hs-keyword'>of</span> <a name="line-450"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varid'>x</span> <a name="line-451"></a> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>concat</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span> <span class='hs-varop'>$</span> <span class='hs-varid'>xs</span> <a name="line-452"></a> <span class='hs-keyword'>where</span> <a name="line-453"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>acc</span> <span class='hs-varid'>s1</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-454"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>scanner</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>PS</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>off</span> <span class='hs-varid'>len</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-455"></a> <span class='hs-varid'>withForeignPtr</span> <span class='hs-varid'>fp</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>ptr</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-456"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>inner</span> <span class='hs-varop'>!</span><span class='hs-varid'>i</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>i</span> <span class='hs-varop'>==</span> <span class='hs-varid'>off</span><span class='hs-varop'>+</span><span class='hs-varid'>len</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>done</span> <span class='hs-layout'>(</span><span class='hs-varid'>i</span><span class='hs-comment'>-</span><span class='hs-varid'>off</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span> <a name="line-457"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-458"></a> <span class='hs-varid'>w</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>peekByteOff</span> <span class='hs-varid'>ptr</span> <span class='hs-varid'>i</span> <a name="line-459"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>p</span> <span class='hs-varid'>s</span> <span class='hs-varid'>w</span> <span class='hs-keyword'>of</span> <a name="line-460"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>s'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>inner</span> <span class='hs-layout'>(</span><span class='hs-varid'>i</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>s'</span> <a name="line-461"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>done</span> <span class='hs-layout'>(</span><span class='hs-varid'>i</span><span class='hs-comment'>-</span><span class='hs-varid'>off</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span> <a name="line-462"></a> <span class='hs-varid'>done</span> <span class='hs-varop'>!</span><span class='hs-varid'>i</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>PS</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>off</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>PS</span> <span class='hs-varid'>fp</span> <span class='hs-layout'>(</span><span class='hs-varid'>off</span><span class='hs-varop'>+</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>len</span><span class='hs-comment'>-</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-463"></a> <span class='hs-varid'>inner</span> <span class='hs-varid'>off</span> <span class='hs-varid'>s1</span> <a name="line-464"></a> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>,</span><span class='hs-varid'>s'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-layout'>(</span><span class='hs-varid'>unsafePerformIO</span> <span class='hs-varop'>.</span> <span class='hs-varid'>scanner</span><span class='hs-layout'>)</span> <span class='hs-varop'><$></span> <span class='hs-varid'>get</span> <a name="line-465"></a> <span class='hs-varid'>put</span> <span class='hs-varid'>t</span> <a name="line-466"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>t</span> <a name="line-467"></a> <span class='hs-keyword'>then</span> <span class='hs-keyword'>do</span> <a name="line-468"></a> <span class='hs-varid'>input</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>wantInput</span> <a name="line-469"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>input</span> <a name="line-470"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <span class='hs-varid'>s'</span> <a name="line-471"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-472"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-conop'>:</span><span class='hs-varid'>acc</span><span class='hs-layout'>)</span> <a name="line-473"></a><span class='hs-comment'>{-# INLINE scan #-}</span> <a name="line-474"></a> <a name="line-475"></a><a name="takeWhile1"></a><span class='hs-comment'>-- | Consume input as long as the predicate returns 'True', and return</span> <a name="line-476"></a><span class='hs-comment'>-- the consumed input.</span> <a name="line-477"></a><span class='hs-comment'>--</span> <a name="line-478"></a><span class='hs-comment'>-- This parser requires the predicate to succeed on at least one byte</span> <a name="line-479"></a><span class='hs-comment'>-- of input: it will fail if the predicate never returns 'True' or if</span> <a name="line-480"></a><span class='hs-comment'>-- there is no input left.</span> <a name="line-481"></a><span class='hs-definition'>takeWhile1</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-482"></a><span class='hs-definition'>takeWhile1</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-483"></a> <span class='hs-layout'>(</span><span class='hs-varop'>`when`</span> <span class='hs-varid'>demandInput</span><span class='hs-layout'>)</span> <span class='hs-varop'>=<<</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varop'><$></span> <span class='hs-varid'>get</span> <a name="line-484"></a> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>B8</span><span class='hs-varop'>.</span><span class='hs-varid'>span</span> <span class='hs-varid'>p</span> <span class='hs-varop'><$></span> <span class='hs-varid'>get</span> <a name="line-485"></a> <span class='hs-varid'>when</span> <span class='hs-layout'>(</span><span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>failDesc</span> <span class='hs-str'>"takeWhile1"</span> <a name="line-486"></a> <span class='hs-varid'>put</span> <span class='hs-varid'>t</span> <a name="line-487"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>t</span> <a name="line-488"></a> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span><span class='hs-varop'>+++</span><span class='hs-layout'>)</span> <span class='hs-varop'>`fmapP`</span> <span class='hs-varid'>takeWhile</span> <span class='hs-varid'>p</span> <a name="line-489"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>return</span> <span class='hs-varid'>h</span> <a name="line-490"></a> <a name="line-491"></a><a name="inClass"></a><span class='hs-comment'>-- | Match any byte in a set.</span> <a name="line-492"></a><span class='hs-comment'>--</span> <a name="line-493"></a><span class='hs-comment'>-- >vowel = inClass "aeiou"</span> <a name="line-494"></a><span class='hs-comment'>--</span> <a name="line-495"></a><span class='hs-comment'>-- Range notation is supported.</span> <a name="line-496"></a><span class='hs-comment'>--</span> <a name="line-497"></a><span class='hs-comment'>-- >halfAlphabet = inClass "a-nA-N"</span> <a name="line-498"></a><span class='hs-comment'>--</span> <a name="line-499"></a><span class='hs-comment'>-- To add a literal @\'-\'@ to a set, place it at the beginning or end</span> <a name="line-500"></a><span class='hs-comment'>-- of the string.</span> <a name="line-501"></a><span class='hs-definition'>inClass</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-502"></a><span class='hs-definition'>inClass</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varop'>`memberWord8`</span> <span class='hs-varid'>mySet</span><span class='hs-layout'>)</span> <a name="line-503"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>mySet</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>charClass</span> <span class='hs-varid'>s</span> <a name="line-504"></a><span class='hs-comment'>{-# INLINE inClass #-}</span> <a name="line-505"></a> <a name="line-506"></a><a name="notInClass"></a><span class='hs-comment'>-- | Match any byte not in a set.</span> <a name="line-507"></a><span class='hs-definition'>notInClass</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-508"></a><span class='hs-definition'>notInClass</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>inClass</span> <span class='hs-varid'>s</span> <a name="line-509"></a><span class='hs-comment'>{-# INLINE notInClass #-}</span> <a name="line-510"></a> <a name="line-511"></a><a name="anyWord8"></a><span class='hs-comment'>-- | Match any byte.</span> <a name="line-512"></a><span class='hs-definition'>anyWord8</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Word8</span> <a name="line-513"></a><span class='hs-definition'>anyWord8</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>satisfy</span> <span class='hs-varop'>$</span> <span class='hs-varid'>const</span> <span class='hs-conid'>True</span> <a name="line-514"></a><span class='hs-comment'>{-# INLINE anyWord8 #-}</span> <a name="line-515"></a> <a name="line-516"></a><a name="word8"></a><span class='hs-comment'>-- | Match a specific byte.</span> <a name="line-517"></a><span class='hs-definition'>word8</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Word8</span> <a name="line-518"></a><span class='hs-definition'>word8</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>satisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'><?></span> <span class='hs-varid'>show</span> <span class='hs-varid'>c</span> <a name="line-519"></a><span class='hs-comment'>{-# INLINE word8 #-}</span> <a name="line-520"></a> <a name="line-521"></a><a name="notWord8"></a><span class='hs-comment'>-- | Match any byte except the given one.</span> <a name="line-522"></a><span class='hs-definition'>notWord8</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Word8</span> <a name="line-523"></a><span class='hs-definition'>notWord8</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>satisfy</span> <span class='hs-layout'>(</span><span class='hs-varop'>/=</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'><?></span> <span class='hs-str'>"not "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>c</span> <a name="line-524"></a><span class='hs-comment'>{-# INLINE notWord8 #-}</span> <a name="line-525"></a> <a name="line-526"></a><a name="endOfInput"></a><span class='hs-comment'>-- | Match only if all input has been consumed.</span> <a name="line-527"></a><span class='hs-definition'>endOfInput</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-528"></a><span class='hs-definition'>endOfInput</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-529"></a> <span class='hs-keyword'>if</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <a name="line-530"></a> <span class='hs-keyword'>then</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>m0</span> <span class='hs-varop'>==</span> <span class='hs-conid'>Complete</span> <a name="line-531"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>()</span> <a name="line-532"></a> <span class='hs-keyword'>else</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addS</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varop'>$</span> <a name="line-533"></a> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>ks</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-conid'>()</span> <a name="line-534"></a> <span class='hs-varid'>ks'</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addS</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>i1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>m1</span> <span class='hs-varop'>$</span> <a name="line-535"></a> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>m2</span> <span class='hs-conid'>[]</span> <a name="line-536"></a> <span class='hs-str'>"endOfInput"</span> <a name="line-537"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>demandInput</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks'</span> <a name="line-538"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-conid'>[]</span> <span class='hs-str'>"endOfInput"</span> <a name="line-539"></a> <a name="line-540"></a><a name="atEnd"></a><span class='hs-comment'>-- | Return an indication of whether the end of input has been</span> <a name="line-541"></a><span class='hs-comment'>-- reached.</span> <a name="line-542"></a><span class='hs-definition'>atEnd</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Bool</span> <a name="line-543"></a><span class='hs-definition'>atEnd</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varop'><$></span> <span class='hs-varid'>wantInput</span> <a name="line-544"></a><span class='hs-comment'>{-# INLINE atEnd #-}</span> <a name="line-545"></a> <a name="line-546"></a><a name="endOfLine"></a><span class='hs-comment'>-- | Match either a single newline character @\'\\n\'@, or a carriage</span> <a name="line-547"></a><span class='hs-comment'>-- return followed by a newline character @\"\\r\\n\"@.</span> <a name="line-548"></a><span class='hs-definition'>endOfLine</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>()</span> <a name="line-549"></a><span class='hs-definition'>endOfLine</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>word8</span> <span class='hs-num'>10</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <span class='hs-varop'><|></span> <span class='hs-layout'>(</span><span class='hs-varid'>string</span> <span class='hs-str'>"\r\n"</span> <span class='hs-varop'>>></span> <span class='hs-varid'>return</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <a name="line-550"></a> <a name="line-551"></a><a name="<?>"></a><span class='hs-comment'>--- | Name the parser, in case failure occurs.</span> <a name="line-552"></a><span class='hs-layout'>(</span><span class='hs-varop'><?></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-553"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-comment'>-- ^ the name to use if parsing fails</span> <a name="line-554"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <a name="line-555"></a><a name="p"></a><span class='hs-definition'>p</span> <span class='hs-varop'><?></span> <span class='hs-varid'>msg0</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Parser</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>ks</span> <span class='hs-keyglyph'>-></span> <a name="line-556"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-varid'>strs</span> <span class='hs-varid'>msg</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>kf</span> <span class='hs-varid'>i</span> <span class='hs-varid'>a</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-varid'>msg0</span><span class='hs-conop'>:</span><span class='hs-varid'>strs</span><span class='hs-layout'>)</span> <span class='hs-varid'>msg</span> <a name="line-557"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>p</span> <span class='hs-varid'>i0</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>m0</span> <span class='hs-varid'>kf'</span> <span class='hs-varid'>ks</span> <a name="line-558"></a><span class='hs-comment'>{-# INLINE (<?>) #-}</span> <a name="line-559"></a><span class='hs-keyword'>infix</span> <span class='hs-num'>0</span> <span class='hs-varop'><?></span> <a name="line-560"></a> <a name="line-561"></a><a name="failK"></a><span class='hs-comment'>-- | Terminal failure continuation.</span> <a name="line-562"></a><span class='hs-definition'>failK</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Failure</span> <span class='hs-varid'>a</span> <a name="line-563"></a><span class='hs-definition'>failK</span> <span class='hs-varid'>i0</span> <span class='hs-sel'>_a0</span> <span class='hs-sel'>_m0</span> <span class='hs-varid'>stack</span> <span class='hs-varid'>msg</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Fail</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <span class='hs-varid'>stack</span> <span class='hs-varid'>msg</span> <a name="line-564"></a><span class='hs-comment'>{-# INLINE failK #-}</span> <a name="line-565"></a> <a name="line-566"></a><a name="successK"></a><span class='hs-comment'>-- | Terminal success continuation.</span> <a name="line-567"></a><span class='hs-definition'>successK</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Success</span> <span class='hs-varid'>a</span> <span class='hs-varid'>a</span> <a name="line-568"></a><span class='hs-definition'>successK</span> <span class='hs-varid'>i0</span> <span class='hs-sel'>_a0</span> <span class='hs-sel'>_m0</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Done</span> <span class='hs-layout'>(</span><span class='hs-varid'>unI</span> <span class='hs-varid'>i0</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span> <a name="line-569"></a><span class='hs-comment'>{-# INLINE successK #-}</span> <a name="line-570"></a> <a name="line-571"></a><a name="parse"></a><span class='hs-comment'>-- | Run a parser.</span> <a name="line-572"></a><span class='hs-definition'>parse</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Result</span> <span class='hs-varid'>a</span> <a name="line-573"></a><span class='hs-definition'>parse</span> <span class='hs-varid'>m</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>A</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <span class='hs-conid'>Incomplete</span> <span class='hs-varid'>failK</span> <span class='hs-varid'>successK</span> <a name="line-574"></a><span class='hs-comment'>{-# INLINE parse #-}</span> <a name="line-575"></a> <a name="line-576"></a><a name="parseOnly"></a><span class='hs-comment'>-- | Run a parser that cannot be resupplied via a 'Partial' result.</span> <a name="line-577"></a><span class='hs-definition'>parseOnly</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Either</span> <span class='hs-conid'>String</span> <span class='hs-varid'>a</span> <a name="line-578"></a><span class='hs-definition'>parseOnly</span> <span class='hs-varid'>m</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>runParser</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>A</span> <span class='hs-conid'>B</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <span class='hs-conid'>Complete</span> <span class='hs-varid'>failK</span> <span class='hs-varid'>successK</span> <span class='hs-keyword'>of</span> <a name="line-579"></a> <span class='hs-conid'>Fail</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Left</span> <span class='hs-varid'>err</span> <a name="line-580"></a> <span class='hs-conid'>Done</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Right</span> <span class='hs-varid'>a</span> <a name="line-581"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>error</span> <span class='hs-str'>"parseOnly: impossible error!"</span> <a name="line-582"></a><span class='hs-comment'>{-# INLINE parseOnly #-}</span> </pre></body> </html>