Skip to content

Commit

Permalink
deploy: 62dad97
Browse files Browse the repository at this point in the history
  • Loading branch information
@mpilquist
mpilquist committed Jun 5, 2024
1 parent fd02006 commit e3a15f7
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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// Left(value = &quot; AND population &lt; &quot;),
// Right(value = cats.data.IndexedStateT@10ad5d63),
// Right(value = cats.data.IndexedStateT@7a78a71d),
// 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@5b44d4ee),
// Right(value = cats.data.IndexedStateT@5990cd1a),
// 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@5f6da37),
// Right(value = cats.data.IndexedStateT@292443be),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@2354bc57),
// Right(value = cats.data.IndexedStateT@5ece462a),
// 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@5968bb1b),
// Right(value = cats.data.IndexedStateT@61b152a1),
// 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@2476f77c),
// Right(value = cats.data.IndexedStateT@3e16ab90),
// 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@1762a6a7),
// Right(value = cats.data.IndexedStateT@35a4365f),
// 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@11520618),
// Right(value = cats.data.IndexedStateT@19f7d9d7),
// 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@10ad5d63),
// Right(value = cats.data.IndexedStateT@7a78a71d),
// 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@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// Left(value = &quot; bar &quot;),
// Right(value = cats.data.IndexedStateT@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// 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@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// 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@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// 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@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// Left(value = &quot;, foo FROM blah WHERE &quot;),
// Left(value = &quot;bar = &quot;),
// Right(value = cats.data.IndexedStateT@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// Left(value = &quot;&quot;),
// Left(value = &quot; AND x = &quot;),
// Right(value = cats.data.IndexedStateT@1f264e11),
// Right(value = cats.data.IndexedStateT@57b64c6c),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// 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@710218e),
// Right(value = cats.data.IndexedStateT@53e261b7),
// Left(value = &quot;, &quot;),
// Right(value = cats.data.IndexedStateT@5a4a0c40),
// Right(value = cats.data.IndexedStateT@185facbc),
// 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-06-01T14:04:13.001654Z
<pre><code>timestamp is 2024-06-05T18:08:25.733002Z
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-06-01T14:04:13.132439Z
<pre><code>timestamp is 2024-06-05T18:08:25.886109Z
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-06-01.</code></pre>
<pre><code>The current date is 2024-06-05.</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 e3a15f7

Please sign in to comment.