Skip to content

Commit

Permalink
deploy: 4e51421
Browse files Browse the repository at this point in the history
  • Loading branch information
mpilquist committed Sep 3, 2024
1 parent 81435f4 commit d996dd6
Show file tree
Hide file tree
Showing 5 changed files with 31 additions and 31 deletions.
20 changes: 10 additions & 10 deletions reference/Encoders.html
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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// Left(value = &quot; AND population &lt; &quot;),
// Right(value = cats.data.IndexedStateT@105a0bc6),
// Right(value = cats.data.IndexedStateT@131083c4),
// 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@6eedc78),
// Right(value = cats.data.IndexedStateT@1149cba3),
// 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@68ba4f4c),
// Right(value = cats.data.IndexedStateT@2e28c2cd),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@c6ff07e),
// Right(value = cats.data.IndexedStateT@7ab85b9d),
// 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@a2a352f),
// Right(value = cats.data.IndexedStateT@5c750540),
// 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@9e2fe7),
// Right(value = cats.data.IndexedStateT@2c47ca8a),
// 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@77b99493),
// Right(value = cats.data.IndexedStateT@3f91a3d1),
// 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@46211fa5),
// Right(value = cats.data.IndexedStateT@609963f5),
// Left(value = &quot;&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand Down
34 changes: 17 additions & 17 deletions reference/Fragments.html
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@105a0bc6),
// Right(value = cats.data.IndexedStateT@131083c4),
// 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@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// Left(value = &quot; bar &quot;),
// Right(value = cats.data.IndexedStateT@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// 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@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// 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@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// 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@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// Left(value = &quot;&quot;),
// Left(value = &quot; AND x = &quot;),
// Right(value = cats.data.IndexedStateT@51219500),
// Right(value = cats.data.IndexedStateT@77177df1),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// 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@2fe1bd86),
// Right(value = cats.data.IndexedStateT@108aea5d),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@4dc626fd),
// Right(value = cats.data.IndexedStateT@76076c89),
// Left(value = &quot;)&quot;)
// ),
// encoder = Encoder(varchar, int4),
Expand Down
4 changes: 2 additions & 2 deletions tutorial/Query.html
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-08-18T12:52:10.962763Z
<pre><code>timestamp is 2024-09-03T11:23:11.098441Z
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-08-18T12:52:11.119323Z
<pre><code>timestamp is 2024-09-03T11:23:11.261740Z
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
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-08-18.</code></pre>
<pre><code>The current date is 2024-09-03.</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
2 changes: 1 addition & 1 deletion tutorial/Transactions.html
Original file line number Diff line number Diff line change
Expand Up @@ -394,8 +394,8 @@ <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>xa status: Idle
Trying to insert Pet(Alice,3)
xa status: Active
Trying to insert Pet(Alice,3)
Trying to insert Pet(Bob,42)
Trying to insert Pet(Bob,21)
xa status: Failed
Expand Down

0 comments on commit d996dd6

Please sign in to comment.