Skip to content

Commit

Permalink
deploy: b4caa17
Browse files Browse the repository at this point in the history
  • Loading branch information
@mpilquist
mpilquist committed May 10, 2024
1 parent 7e5351e commit 41779c2
Show file tree
Hide file tree
Showing 4 changed files with 30 additions and 30 deletions.
20 changes: 10 additions & 10 deletions reference/Encoders.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,7 +157,7 @@ <h2 id="base-encoders" class="section"><a class="anchor-link left" href="#base-e
</span><span class="comment">// res0: Fragment[String] = Fragment(
// parts = List(
// Left(value = &quot;SELECT name FROM country WHERE code = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;&quot;)
// ),
// encoder = Codec(varchar),
Expand All @@ -170,9 +170,9 @@ <h2 id="base-encoders" class="section"><a class="anchor-link left" href="#base-e
</span><span class="comment">// res1: Fragment[String *: Long *: EmptyTuple] = Fragment(
// parts = List(
// Left(value = &quot;SELECT name FROM country WHERE code = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot; AND population &lt; &quot;),
// Right(value = cats.data.IndexedStateT@14fadb68),
// Right(value = cats.data.IndexedStateT@42ea8e81),
// Left(value = &quot;&quot;)
// ),
// encoder = Codec(varchar, int8),
Expand All @@ -191,7 +191,7 @@ <h2 id="composite-encoders" class="section"><a class="anchor-link left" href="#c
</span><span class="comment">// res2: Fragment[String ~ Int] = Fragment(
// parts = List(
// Left(value = &quot;INSERT INTO person (name, age) VALUES (&quot;),
// Right(value = cats.data.IndexedStateT@46d3f303),
// Right(value = cats.data.IndexedStateT@1a1fc47b),
// Left(value = &quot;)&quot;)
// ),
// encoder = Codec(varchar, int4),
Expand All @@ -209,9 +209,9 @@ <h2 id="composite-encoders" class="section"><a class="anchor-link left" href="#c
// Left(
// value = &quot;INSERT INTO person (comment, name, age, weight, comment) VALUES (&quot;
// ),
// Right(value = cats.data.IndexedStateT@6b2014eb),
// Right(value = cats.data.IndexedStateT@489ae3e6),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@42a28c33),
// Right(value = cats.data.IndexedStateT@752eb437),
// Left(value = &quot;)&quot;)
// ),
// encoder = Codec(text, varchar, int4, float4),
Expand All @@ -227,7 +227,7 @@ <h2 id="combinators" class="section"><a class="anchor-link left" href="#combinat
</span><span class="comment">// res4: Fragment[String ~ Int] = Fragment(
// parts = List(
// Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
// Right(value = cats.data.IndexedStateT@c13e94),
// Right(value = cats.data.IndexedStateT@63a6b295),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand All @@ -242,7 +242,7 @@ <h2 id="combinators" class="section"><a class="anchor-link left" href="#combinat
</span><span class="comment">// res5: Fragment[List[String ~ Int]] = Fragment(
// parts = List(
// Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
// Right(value = cats.data.IndexedStateT@59539e64),
// Right(value = cats.data.IndexedStateT@7fe8e86),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(varchar, int4, varchar, int4, varchar, int4),
Expand All @@ -261,7 +261,7 @@ <h2 id="transforming-the-input-type" class="section"><a class="anchor-link left"
</span><span class="comment">// res6: Fragment[Person] = Fragment(
// parts = List(
// Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
// Right(value = cats.data.IndexedStateT@32bf4ee9),
// Right(value = cats.data.IndexedStateT@18e4c84c),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand All @@ -278,7 +278,7 @@ <h2 id="transforming-the-input-type" class="section"><a class="anchor-link left"
</span><span class="comment">// res8: Fragment[Person] = Fragment(
// parts = List(
// Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
// Right(value = cats.data.IndexedStateT@642a8f99),
// Right(value = cats.data.IndexedStateT@18eb486b),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand Down
34 changes: 17 additions & 17 deletions reference/Fragments.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,7 @@ <h1 id="fragments" class="title">Fragments</h1>
</span><span class="comment">// f2: Fragment[Long] = Fragment(
// parts = List(
// Left(value = &quot;SELECT foo FROM bar WHERE baz = &quot;),
// Right(value = cats.data.IndexedStateT@14fadb68),
// Right(value = cats.data.IndexedStateT@42ea8e81),
// Left(value = &quot;&quot;)
// ),
// encoder = Codec(int8),
Expand All @@ -170,9 +170,9 @@ <h2 id="interpolating-parameter-encoders" class="section"><a class="anchor-link
</span><span class="comment">// f3: Fragment[Int *: String *: EmptyTuple] = Fragment(
// parts = List(
// Left(value = &quot;foo &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot; bar &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot; bar&quot;)
// ),
// encoder = Codec(int4, varchar),
Expand Down Expand Up @@ -219,7 +219,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
</span><span class="comment">// f4: Fragment[Int] = Fragment(
// parts = List(
// Left(value = &quot;SELECT &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;, foo FROM blah WHERE &quot;)
// ),
// encoder = Codec(int4),
Expand All @@ -230,7 +230,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
</span><span class="comment">// f5: Fragment[String] = Fragment(
// parts = List(
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;&quot;)
// ),
// encoder = Codec(varchar),
Expand All @@ -241,10 +241,10 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
</span><span class="comment">// f6: Fragment[Int *: String *: EmptyTuple] = Fragment(
// parts = List(
// Left(value = &quot;SELECT &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(int4, varchar),
Expand All @@ -255,7 +255,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
</span><span class="comment">// f7: Fragment[String] = Fragment(
// parts = List(
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;&quot;)
// ),
// encoder = Codec(varchar),
Expand All @@ -266,13 +266,13 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
</span><span class="comment">// f8: Fragment[Int *: String *: Short *: EmptyTuple] = Fragment(
// parts = List(
// Left(value = &quot;SELECT &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;&quot;),
// Left(value = &quot; AND x = &quot;),
// Right(value = cats.data.IndexedStateT@6770bd08),
// Right(value = cats.data.IndexedStateT@2fc3510b),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(int4, varchar, int2),
Expand All @@ -289,9 +289,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
</span><span class="comment">// f9: Fragment[String *: Int *: EmptyTuple] = Fragment(
// parts = List(
// Left(value = &quot;INSERT ... VALUES (&quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;)&quot;)
// ),
// encoder = Codec(varchar, int4),
Expand All @@ -303,9 +303,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
</span><span class="comment">// f10: Fragment[Person] = Fragment(
// parts = List(
// Left(value = &quot;INSERT ... VALUES (&quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;)&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand All @@ -317,9 +317,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
</span><span class="comment">// f11: Fragment[Person] = Fragment(
// parts = List(
// Left(value = &quot;INSERT ... VALUES (&quot;),
// Right(value = cats.data.IndexedStateT@51d533c3),
// Right(value = cats.data.IndexedStateT@1022e933),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@44721251),
// Right(value = cats.data.IndexedStateT@68b80676),
// Left(value = &quot;)&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand Down
4 changes: 2 additions & 2 deletions tutorial/Query.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -499,7 +499,7 @@ <h2 id="full-example" class="section"><a class="anchor-link left" href="#full-ex

}</span></code></pre>
<p>Running this program yields the following.</p>
<pre><code>timestamp is 2024-05-09T19:15:43.752519Z
<pre><code>timestamp is 2024-05-10T14:57:28.120171Z
Country(United Arab Emirates,ARE,2441000)
Country(United Kingdom,GBR,59623400)
Country(Uganda,UGA,21778000)
Expand Down Expand Up @@ -588,7 +588,7 @@ <h2 id="service-oriented-example" class="section"><a class="anchor-link left" hr

}</span></code></pre>
<p>Running this program yields the same output as above.</p>
<pre><code>timestamp is 2024-05-09T19:15:43.903769Z
<pre><code>timestamp is 2024-05-10T14:57:28.278867Z
Country(United Arab Emirates,ARE,2441000)
Country(United Kingdom,GBR,59623400)
Country(Uganda,UGA,21778000)
Expand Down
2 changes: 1 addition & 1 deletion tutorial/Setup.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -191,7 +191,7 @@ <h2 id="verify-your-setup" class="section"><a class="anchor-link left" href="#ve
<li>At ④ we use the <a href="../reference/Fragments.html">sql interpolator</a> to construct a <code>Query</code> that selects a single column of schema type <code>date</code> (yielding <code>d</code>, a value of type <code>java.time.LocalDate</code>), then we ask the session to execute it, expecting a <em>unique</em> value back; i.e., exactly one row.</li>
</ul>
<p>When we run the program we see the current date.</p>
<pre><code>The current date is 2024-05-09.</code></pre>
<pre><code>The current date is 2024-05-10.</code></pre>

<h2 id="experiment" class="section"><a class="anchor-link left" href="#experiment"><i class="icofont-laika link">&#xef71;</i></a>Experiment</h2>
<p>Here are some modifications that will cause runtime failures. Give them a try and see how Skunk responds.</p>
Expand Down

0 comments on commit 41779c2

Please sign in to comment.