Skip to content

Commit

Permalink
deploy: 6c441f6
Browse files Browse the repository at this point in the history
  • Loading branch information
@johnynek
johnynek committed Sep 8, 2023
1 parent 3a62393 commit 2f50760
Showing 1 changed file with 39 additions and 39 deletions.
78 changes: 39 additions & 39 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -303,7 +303,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span>
</span><span class="comment">// still error since we need the space even if we drop it
Expand Down Expand Up @@ -342,7 +342,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// ranges = NonEmptyList(head = (&#39;A&#39;, &#39;Z&#39;), tail = List((&#39;a&#39;, &#39;z&#39;)))
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// ),
// second = Void(
// parser = CharIn(
Expand All @@ -352,7 +352,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p5</span><span>: </span><span class="type-name">Parser</span><span>[</span><span class="type-name">Char</span><span>] = </span><span class="identifier">alpha</span><span>.</span><span class="identifier">surroundedBy</span><span>(</span><span class="identifier">sp</span><span>)
</span><span class="comment">// p5: Parser[Char] = Map(
Expand All @@ -379,7 +379,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11825/264616883@6ee09f3
// fn = cats.parse.Parser$$Lambda$10131/404354252@3b47a59f
// )
</span><span>
</span><span class="identifier">p4</span><span>.</span><span class="identifier">parse</span><span>(</span><span class="string-literal">&quot; a &quot;</span><span>)
Expand Down Expand Up @@ -409,7 +409,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// ranges = NonEmptyList(head = (&#39;A&#39;, &#39;Z&#39;), tail = List((&#39;a&#39;, &#39;z&#39;)))
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// ),
// second = Void(
// parser = CharIn(
Expand All @@ -419,7 +419,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p7</span><span>: </span><span class="type-name">Parser</span><span>[</span><span class="type-name">Char</span><span>] = </span><span class="identifier">alpha</span><span>.</span><span class="identifier">between</span><span>(</span><span class="identifier">sp</span><span>, </span><span class="identifier">digit</span><span>)
</span><span class="comment">// p7: Parser[Char] = Map(
Expand All @@ -446,7 +446,7 @@ <h2 id="combining-parsers" class="section"><a class="anchor-link left" href="#co
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11825/264616883@6ee09f3
// fn = cats.parse.Parser$$Lambda$10131/404354252@3b47a59f
// )
</span><span>
</span><span class="identifier">p6</span><span>.</span><span class="identifier">parse</span><span>(</span><span class="string-literal">&quot; a1&quot;</span><span>)
Expand Down Expand Up @@ -497,7 +497,7 @@ <h2 id="repeating-parsers" class="section"><a class="anchor-link left" href="#re
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator$$anon$12@15e296ba
// acc1 = cats.parse.Accumulator$$anon$12@30db5660
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p2</span><span>: </span><span class="type-name">Parser0</span><span>[</span><span class="type-name">List</span><span>[</span><span class="type-name">Char</span><span>]] = </span><span class="identifier">alpha</span><span>.</span><span class="identifier">rep0</span><span>
</span><span class="comment">// p2: Parser0[List[Char]] = OneOf0(
Expand All @@ -510,7 +510,7 @@ <h2 id="repeating-parsers" class="section"><a class="anchor-link left" href="#re
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$9@16f9ae3a
// acc1 = cats.parse.Accumulator0$$anon$9@262f42dc
// ),
// Pure(result = List())
// )
Expand Down Expand Up @@ -552,7 +552,7 @@ <h2 id="repeating-parsers" class="section"><a class="anchor-link left" href="#re
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator$$anon$12@a41b23
// acc1 = cats.parse.Accumulator$$anon$12@797de6ad
// ),
// fn = &lt;function1&gt;
// )
Expand All @@ -567,7 +567,7 @@ <h2 id="repeating-parsers" class="section"><a class="anchor-link left" href="#re
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p3</span><span>: </span><span class="type-name">Parser</span><span>[</span><span class="type-name">String</span><span>] = </span><span class="identifier">alpha</span><span>.</span><span class="identifier">repAs</span><span>[</span><span class="type-name">String</span><span>]
Expand All @@ -579,7 +579,7 @@ <h2 id="repeating-parsers" class="section"><a class="anchor-link left" href="#re
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$7@77253467
// acc1 = cats.parse.Accumulator0$$anon$7@1592ee94
// )</span></code></pre>
<p>All three parsers will be identical in parsing results, but <code>p2</code> and <code>p3</code> are using built-in methods which will not create intermediate list. <code>rep</code> + <code>map</code> creates intermediate list which is mapped to string in this example.</p>

Expand All @@ -600,7 +600,7 @@ <h2 id="parsers-with-empty-output" class="section"><a class="anchor-link left" h
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ),
// second = OneOf0(
// all = List(
Expand All @@ -615,7 +615,7 @@ <h2 id="parsers-with-empty-output" class="section"><a class="anchor-link left" h
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// )
</span><span>
Expand Down Expand Up @@ -654,7 +654,7 @@ <h2 id="parsers-with-empty-output" class="section"><a class="anchor-link left" h
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ),
// second = OneOf0(
// all = List(
Expand All @@ -670,7 +670,7 @@ <h2 id="parsers-with-empty-output" class="section"><a class="anchor-link left" h
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// )
</span><span>
Expand Down Expand Up @@ -717,7 +717,7 @@ <h2 id="error-handling" class="section"><a class="anchor-link left" href="#error
// ranges = NonEmptyList(head = (&#39;A&#39;, &#39;Z&#39;), tail = List((&#39;a&#39;, &#39;z&#39;)))
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// )
</span><span>
</span><span class="comment">// epsilon failure
Expand Down Expand Up @@ -768,7 +768,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// ranges = NonEmptyList(head = (&#39;0&#39;, &#39;9&#39;), tail = List())
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// ),
// second = Void(
// parser = CharIn(
Expand All @@ -778,7 +778,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span>
</span><span class="identifier">p</span><span>.</span><span class="identifier">parse</span><span>(</span><span class="string-literal">&quot; 1&quot;</span><span>)
Expand Down Expand Up @@ -817,7 +817,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// ranges = NonEmptyList(head = (&#39;0&#39;, &#39;9&#39;), tail = List())
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// ),
// second = Void(
// parser = CharIn(
Expand All @@ -827,7 +827,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p2</span><span> = </span><span class="identifier">sp</span><span> *&gt; </span><span class="identifier">digit</span><span>
</span><span class="comment">// p2: cats.parse.Parser[Char] = Map(
Expand All @@ -845,7 +845,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// ranges = NonEmptyList(head = (&#39;0&#39;, &#39;9&#39;), tail = List())
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// )
</span><span>
</span><span class="identifier">p1</span><span>.</span><span class="identifier">backtrack</span><span>.</span><span class="identifier">orElse</span><span>(</span><span class="identifier">p2</span><span>).</span><span class="identifier">parse</span><span>(</span><span class="string-literal">&quot; 1&quot;</span><span>)
Expand Down Expand Up @@ -879,7 +879,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// ranges = NonEmptyList(head = (&#39;0&#39;, &#39;9&#39;), tail = List())
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// ),
// second = Void(
// parser = CharIn(
Expand All @@ -889,7 +889,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// )
// )
// ),
// fn = cats.parse.Parser$$Lambda$11824/1085575377@610c529e
// fn = cats.parse.Parser$$Lambda$10130/1908155089@14a04857
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p2</span><span> = </span><span class="identifier">sp</span><span> *&gt; </span><span class="identifier">digit</span><span>
</span><span class="comment">// p2: cats.parse.Parser[Char] = Map(
Expand All @@ -907,7 +907,7 @@ <h3 id="backtrack" class="section"><a class="anchor-link left" href="#backtrack"
// ranges = NonEmptyList(head = (&#39;0&#39;, &#39;9&#39;), tail = List())
// )
// ),
// fn = cats.parse.Parser$$Lambda$11822/159645984@672e3caa
// fn = cats.parse.Parser$$Lambda$10128/47792730@50a1e599
// )
</span><span class="keyword">val</span><span> </span><span class="identifier">p3</span><span> = </span><span class="identifier">digit</span><span>
</span><span class="comment">// p3: cats.parse.Parser[Char] = CharIn(
Expand Down Expand Up @@ -951,7 +951,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// )
</span><span>
Expand All @@ -966,7 +966,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// ),
// second = Void(
Expand Down Expand Up @@ -996,7 +996,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// ),
// second = Void(
Expand All @@ -1007,7 +1007,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// )
// )
// ),
// fn = cats.parse.Parser0$$Lambda$11814/860915342@2cf6ccc7
// fn = cats.parse.Parser0$$Lambda$10120/909608691@49f77758
// ),
// second = StringP(
// parser = Rep(
Expand All @@ -1023,7 +1023,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ...
</span><span>

Expand Down Expand Up @@ -1061,7 +1061,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// ),
// second = Void(
Expand All @@ -1072,7 +1072,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// )
// )
// ),
// fn = cats.parse.Parser0$$Lambda$11814/860915342@2cf6ccc7
// fn = cats.parse.Parser0$$Lambda$10120/909608691@49f77758
// ),
// second = StringP(
// parser = Rep(
Expand All @@ -1088,7 +1088,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ...
</span><span>
</span><span class="keyword">val</span><span> </span><span class="identifier">p3</span><span> = (</span><span class="identifier">searchWord</span><span> ~ </span><span class="identifier">sp</span><span>.?).</span><span class="identifier">rep</span><span>.</span><span class="identifier">string</span><span>
Expand All @@ -1103,7 +1103,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ),
// second = OneOf0(
// all = List(
Expand All @@ -1118,7 +1118,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// )
</span><span>
Expand All @@ -1143,7 +1143,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// ),
// second = Void(
Expand Down Expand Up @@ -1173,7 +1173,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// )
// ),
// second = Void(
Expand All @@ -1184,7 +1184,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// )
// )
// ),
// fn = cats.parse.Parser0$$Lambda$11814/860915342@2cf6ccc7
// fn = cats.parse.Parser0$$Lambda$10120/909608691@49f77758
// ),
// second = StringP(
// parser = Rep(
Expand All @@ -1200,7 +1200,7 @@ <h3 id="soft" class="section"><a class="anchor-link left" href="#soft"><i class=
// ),
// min = 1,
// maxMinusOne = 2147483647,
// acc1 = cats.parse.Accumulator0$$anon$11@76732b55
// acc1 = cats.parse.Accumulator0$$anon$11@7f10cf40
// ...
</span><span>
</span><span class="identifier">p4</span><span>.</span><span class="identifier">parse</span><span>(</span><span class="string-literal">&quot;title:The Wind Has Risen&quot;</span><span>)
Expand Down

0 comments on commit 2f50760

Please sign in to comment.