Skip to content

Commit

Permalink
deploy: 52e1b76
Browse files Browse the repository at this point in the history
  • Loading branch information
johnynek committed Aug 29, 2023
1 parent ff73968 commit c6b28f3
Showing 1 changed file with 39 additions and 39 deletions.
78 changes: 39 additions & 39 deletions index.html
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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// ),
// 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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10113/57908560@52995ae2
// fn = cats.parse.Parser$$Lambda$11832/863383030@742cf490
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// ),
// 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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10113/57908560@52995ae2
// fn = cats.parse.Parser$$Lambda$11832/863383030@742cf490
// )
</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@521e189e
// acc1 = cats.parse.Accumulator$$anon$12@22426418
// )
</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@16ca25d2
// acc1 = cats.parse.Accumulator0$$anon$9@26112bfc
// ),
// 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@cc2d272
// acc1 = cats.parse.Accumulator$$anon$12@7f005a58
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// )
</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@36ece7a6
// acc1 = cats.parse.Accumulator0$$anon$7@5dc86273
// )</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// )
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// ),
// 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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// ),
// 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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// ),
// 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$10112/313327429@f296728
// fn = cats.parse.Parser$$Lambda$11831/1268668789@10b29cb0
// )
</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$10110/323314862@4aaa070e
// fn = cats.parse.Parser$$Lambda$11829/129276008@6ae665db
// )
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// )
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// ),
// 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$10102/305745662@71cfa01c
// fn = cats.parse.Parser0$$Lambda$11821/1535259926@7229fcfd
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ...
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// ),
// 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$10102/305745662@71cfa01c
// fn = cats.parse.Parser0$$Lambda$11821/1535259926@7229fcfd
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ...
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// )
</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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// )
// ),
// 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$10102/305745662@71cfa01c
// fn = cats.parse.Parser0$$Lambda$11821/1535259926@7229fcfd
// ),
// 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@1494d742
// acc1 = cats.parse.Accumulator0$$anon$11@6c9bb95c
// ...
</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 c6b28f3

Please sign in to comment.