From 848a49508a74c7ad6d7415a6f466eaf0f94d8af8 Mon Sep 17 00:00:00 2001 From: mpilquist Date: Sat, 10 Feb 2024 13:51:52 +0000 Subject: [PATCH] deploy: afa442c25f788fa80f5ccc6d91abb5d84b5a5858 --- api/index.html | 4 ++-- index.html | 6 +++--- reference/Concurrency.html | 4 ++-- reference/Encoders.html | 24 +++++++++++------------ reference/Fragments.html | 38 ++++++++++++++++++------------------- reference/Identifiers.html | 4 ++-- reference/SchemaTypes.html | 6 +++--- reference/Sessions.html | 4 ++-- reference/TwiddleLists.html | 4 ++-- reference/index.html | 4 ++-- tutorial/Channels.html | 4 ++-- tutorial/Command.html | 10 +++++----- tutorial/Query.html | 18 +++++++++--------- tutorial/Setup.html | 8 ++++---- tutorial/Tracing.html | 4 ++-- tutorial/Transactions.html | 4 ++-- tutorial/index.html | 4 ++-- 17 files changed, 75 insertions(+), 75 deletions(-) diff --git a/api/index.html b/api/index.html index 287a437b..8bea254f 100644 --- a/api/index.html +++ b/api/index.html @@ -1,4 +1,4 @@ - - + + diff --git a/index.html b/index.html index 6e69a742..2c52405e 100644 --- a/index.html +++ b/index.html @@ -46,7 +46,7 @@
- + @@ -74,7 +74,7 @@
- + @@ -149,7 +149,7 @@

<
  • Skunk is pre-release software! Code and documentation are under active development!

    • Skunk is published for Scala 2.12, 2.13, and 3 on JVM, Node.js, and Native. It can be included in your project thus:

    - 
    libraryDependencies += "org.tpolecat" %% "skunk-core" % "0.6.2"
    + 
    libraryDependencies += "org.tpolecat" %% "skunk-core" % "0.6.3"

    How to Learn

    Prerequisites:

    diff --git a/reference/Concurrency.html b/reference/Concurrency.html index 520c1bec..9bd8a561 100644 --- a/reference/Concurrency.html +++ b/reference/Concurrency.html @@ -46,7 +46,7 @@
    - + @@ -74,7 +74,7 @@
    - + diff --git a/reference/Encoders.html b/reference/Encoders.html index 3270a7cd..10e1ddee 100644 --- a/reference/Encoders.html +++ b/reference/Encoders.html @@ -46,7 +46,7 @@
    - + @@ -74,7 +74,7 @@
    - + @@ -157,7 +157,7 @@

    // res0: Fragment[String] = Fragment( // parts = List( // Left(value = "SELECT name FROM country WHERE code = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = "") // ), // encoder = Codec(varchar), @@ -170,9 +170,9 @@

    // res1: Fragment[String *: Long *: EmptyTuple] = Fragment( // parts = List( // Left(value = "SELECT name FROM country WHERE code = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = " AND population < "), -// Right(value = cats.data.IndexedStateT@28abd4df), +// Right(value = cats.data.IndexedStateT@39932a44), // Left(value = "") // ), // encoder = Codec(varchar, int8), @@ -191,7 +191,7 @@

    // res2: Fragment[String ~ Int] = Fragment( // parts = List( // Left(value = "INSERT INTO person (name, age) VALUES ("), -// Right(value = cats.data.IndexedStateT@54798661), +// Right(value = cats.data.IndexedStateT@1f5ed105), // Left(value = ")") // ), // encoder = Codec(varchar, int4), @@ -209,9 +209,9 @@

    // res4: Fragment[String ~ Int] = Fragment( // parts = List( // Left(value = "INSERT INTO person (name, age) VALUES "), -// Right(value = cats.data.IndexedStateT@2dcbbbd6), +// Right(value = cats.data.IndexedStateT@5ba29685), // Left(value = "") // ), // encoder = Encoder(varchar, int4), @@ -242,7 +242,7 @@

    // res5: Fragment[List[String ~ Int]] = Fragment( // parts = List( // Left(value = "INSERT INTO person (name, age) VALUES "), -// Right(value = cats.data.IndexedStateT@35996a80), +// Right(value = cats.data.IndexedStateT@329db20d), // Left(value = "") // ), // encoder = Encoder(varchar, int4, varchar, int4, varchar, int4), @@ -261,7 +261,7 @@

    // res6: Fragment[Person] = Fragment( // parts = List( // Left(value = "INSERT INTO person (name, age) VALUES "), -// Right(value = cats.data.IndexedStateT@7c8b6c64), +// Right(value = cats.data.IndexedStateT@5888457), // Left(value = "") // ), // encoder = Encoder(varchar, int4), @@ -278,7 +278,7 @@

    // res8: Fragment[Person] = Fragment( // parts = List( // Left(value = "INSERT INTO person (name, age) VALUES "), -// Right(value = cats.data.IndexedStateT@23ee403f), +// Right(value = cats.data.IndexedStateT@643f180f), // Left(value = "") // ), // encoder = Encoder(varchar, int4), diff --git a/reference/Fragments.html b/reference/Fragments.html index 3cd7d5f9..39ea0937 100644 --- a/reference/Fragments.html +++ b/reference/Fragments.html @@ -46,7 +46,7 @@
    - + @@ -74,7 +74,7 @@
    - + @@ -155,7 +155,7 @@

    Fragments

    // f2: Fragment[Long] = Fragment( // parts = List( // Left(value = "SELECT foo FROM bar WHERE baz = "), -// Right(value = cats.data.IndexedStateT@28abd4df), +// Right(value = cats.data.IndexedStateT@39932a44), // Left(value = "") // ), // encoder = Codec(int8), @@ -170,9 +170,9 @@

    // f3: Fragment[Int *: String *: EmptyTuple] = Fragment( // parts = List( // Left(value = "foo "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = " bar "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = " bar") // ), // encoder = Codec(int4, varchar), @@ -219,7 +219,7 @@

    // f4: Fragment[Int] = Fragment( // parts = List( // Left(value = "SELECT "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ", foo FROM blah WHERE ") // ), // encoder = Codec(int4), @@ -230,7 +230,7 @@

    // f5: Fragment[String] = Fragment( // parts = List( // Left(value = "bar = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = "") // ), // encoder = Codec(varchar), @@ -241,10 +241,10 @@

    // f6: Fragment[Int *: String *: EmptyTuple] = Fragment( // parts = List( // Left(value = "SELECT "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ", foo FROM blah WHERE "), // Left(value = "bar = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = "") // ), // encoder = Encoder(int4, varchar), @@ -255,7 +255,7 @@

    // f7: Fragment[String] = Fragment( // parts = List( // Left(value = "bar = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = "") // ), // encoder = Codec(varchar), @@ -266,13 +266,13 @@

    // f8: Fragment[Int *: String *: Short *: EmptyTuple] = Fragment( // parts = List( // Left(value = "SELECT "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ", foo FROM blah WHERE "), // Left(value = "bar = "), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = ""), // Left(value = " AND x = "), -// Right(value = cats.data.IndexedStateT@3f9821eb), +// Right(value = cats.data.IndexedStateT@386e5a4), // Left(value = "") // ), // encoder = Encoder(int4, varchar, int2), @@ -289,9 +289,9 @@

    // f9: Fragment[String *: Int *: EmptyTuple] = Fragment( // parts = List( // Left(value = "INSERT ... VALUES ("), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = ", "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ")") // ), // encoder = Codec(varchar, int4), @@ -303,9 +303,9 @@

    // f10: Fragment[Person] = Fragment( // parts = List( // Left(value = "INSERT ... VALUES ("), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = ", "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ")") // ), // encoder = Encoder(varchar, int4), @@ -317,9 +317,9 @@

    // f11: Fragment[Person] = Fragment( // parts = List( // Left(value = "INSERT ... VALUES ("), -// Right(value = cats.data.IndexedStateT@62516171), +// Right(value = cats.data.IndexedStateT@5f8b0d69), // Left(value = ", "), -// Right(value = cats.data.IndexedStateT@1d37cb45), +// Right(value = cats.data.IndexedStateT@65635814), // Left(value = ")") // ), // encoder = Encoder(varchar, int4), diff --git a/reference/Identifiers.html b/reference/Identifiers.html index 9611b3fe..2dc12d67 100644 --- a/reference/Identifiers.html +++ b/reference/Identifiers.html @@ -46,7 +46,7 @@
    - + @@ -74,7 +74,7 @@
    - + diff --git a/reference/SchemaTypes.html b/reference/SchemaTypes.html index 94430e0a..c2fb6bd1 100644 --- a/reference/SchemaTypes.html +++ b/reference/SchemaTypes.html @@ -46,7 +46,7 @@
    - + @@ -74,7 +74,7 @@
    - + @@ -475,7 +475,7 @@

    libraryDependencies += "org.tpolecat" %% "skunk-circe" % "0.6.2" + 
    libraryDependencies += "org.tpolecat" %% "skunk-circe" % "0.6.3"

    The json and jsonb codecs map to the io.circe.Json data type, but you can map to any data type with io.circe.Encoder and io.circe.Decoder instances by passing a type argument to json or jsonb.

    // Codec for Int ~ Json as (int4, jsonb)
 val codec1: Codec[Int ~ Json] = int4 ~ jsonb
diff --git a/reference/Sessions.html b/reference/Sessions.html
index 40150798..5b65f1ee 100644
--- a/reference/Sessions.html
+++ b/reference/Sessions.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/reference/TwiddleLists.html b/reference/TwiddleLists.html
index aea35cf9..0be30dd0 100644
--- a/reference/TwiddleLists.html
+++ b/reference/TwiddleLists.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/reference/index.html b/reference/index.html
index b3882275..2fd6903c 100644
--- a/reference/index.html
+++ b/reference/index.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/tutorial/Channels.html b/tutorial/Channels.html
index 2d5cb44b..41977ec3 100644
--- a/tutorial/Channels.html
+++ b/tutorial/Channels.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/tutorial/Command.html b/tutorial/Command.html
index 3e05824c..f15e6048 100644
--- a/tutorial/Command.html
+++ b/tutorial/Command.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -159,7 +159,7 @@ 
    sql interpolator to construct a Fragment, which we then turn into a Command by calling the command method.
+          
  • We are using the sql interpolator to construct a Fragment, which we then turn into a Command by calling the command method.
    • 
           
  • Command is parameterized by its input type. Because this command has no parameters the input type is Void.
    • 
         
         
    The command above is a simple command.
    
@@ -167,10 +167,10 @@ 
    A simple command is a command with no parameters.
    
         
    
-        
    The same protocol that executes simple queries also executes simple commands. Such commands can be passed directly to Session#execute.
    
+        
    The same protocol that executes simple queries also executes simple commands. Such commands can be passed directly to Session#execute.
    
         
    // assume s: Session[IO]
 s.execute(a) // IO[Completion]
    
-        
    On success a command will yield a Completion, which is an ADT that encodes responses from various commands. In this case our completion is simply the value Completion.Set.
    
+        
    On success a command will yield a Completion, which is an ADT that encodes responses from various commands. In this case our completion is simply the value Completion.Set.
    
         
         
    Parameterized Command
    
         
    Now let's add a parameter to the command.
    
diff --git a/tutorial/Query.html b/tutorial/Query.html
index 83f35421..3643945c 100644
--- a/tutorial/Query.html
+++ b/tutorial/Query.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -165,7 +165,7 @@ 
    sql interpolator to construct a Fragment, which we then turn into a Query by calling the query method (fragments are also used to construct Commands).
+          
  • We are using the sql interpolator to construct a Fragment, which we then turn into a Query by calling the query method (fragments are also used to construct Commands).
    • 
           
  • The argument to query is a value called varchar, which has type Decoder[String] and defines the read relationship between the Postgres type varchar and the Scala type String. The relationship between Postgres types and Scala types is summarized in the reference section Schema Types.
    • 
           
  • The first type argument for our Query type is Void, which means this query has no parameters. The second type argument is String, which means we expect rows to be decoded as String values (via our varchar decoder).
    • 
         
@@ -178,10 +178,10 @@ 
    A simple query is a query with no parameters.
    
         
    
-        
    Postgres provides a protocol for execution of simple queries, returning all rows at once (Skunk returns them as a list). Such queries can be passed directly to Session.execute.
    
+        
    Postgres provides a protocol for execution of simple queries, returning all rows at once (Skunk returns them as a list). Such queries can be passed directly to Session.execute.
    
         
    // assume s: Session[IO]
 s.execute(a) // IO[List[String]]
    
-        
    Session provides the following methods for direct execution of simple queries. See the Scaladoc for more information.
    
+        
    Session provides the following methods for direct execution of simple queries. See the Scaladoc for more information.
    
         
@@ -326,7 +326,7 @@ 
    compile
     .drain
 } // IO[Unit]
-        
    Observe that prepare returns a Resource that prepares the statement before use and then frees it on completion. Here we use PreparedQuery#stream to pass our parameter "U%" and then create an fs2 stream that fetches rows in blocks of 64 and prints them to the console.
    
+        
    Observe that prepare returns a Resource that prepares the statement before use and then frees it on completion. Here we use PreparedQuery#stream to pass our parameter "U%" and then create an fs2 stream that fetches rows in blocks of 64 and prints them to the console.
    
         
    Note that when using Resource and Stream together it is often convenient to express the entire program in terms of Stream.
    
         
    // assume s: Session[IO]
 val stream: Stream[IO, Unit] =
@@ -338,7 +338,7 @@ 
    stream.compile.drain // IO[Unit]
    
         
    This program does the same thing, but perhaps in a more convenient style.
    
-        
    PreparedQuery provides the following methods for execution. See the Scaladoc for more information.
    
+        
    PreparedQuery provides the following methods for execution. See the Scaladoc for more information.
    
         
    
           
             
    
@@ -499,7 +499,7 @@ 
    
         
    Running this program yields the same output as above.
    
-        
    timestamp is 2024-01-20T19:02:19.342804Z
+        
    timestamp is 2024-02-10T13:51:47.236494Z
 Country(United Arab Emirates,ARE,2441000)
 Country(United Kingdom,GBR,59623400)
 Country(Uganda,UGA,21778000)
diff --git a/tutorial/Setup.html b/tutorial/Setup.html
index 59b738dd..88364b70 100644
--- a/tutorial/Setup.html
+++ b/tutorial/Setup.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -149,7 +149,7 @@ 
    Scala Setup
    
         
    Create a new project with Skunk as a dependency.
    
-        
    libraryDependencies += "org.tpolecat" %% "skunk-core" % "0.6.2"
    
+        
    libraryDependencies += "org.tpolecat" %% "skunk-core" % "0.6.3"
    
         
         
    IDE Setup
    
         
    For metals, no additional steps are needed.
    
@@ -191,7 +191,7 @@ 
    sql interpolator to construct a Query that selects a single column of schema type date (yielding d, a value of type java.time.LocalDate), then we ask the session to execute it, expecting a unique value back; i.e., exactly one row.
         
         
    When we run the program we see the current date.
    
-        
    The current date is 2024-01-20.
    
+        
    The current date is 2024-02-10.
    
         
         
    Experiment
    
         
    Here are some modifications that will cause runtime failures. Give them a try and see how Skunk responds.
    
diff --git a/tutorial/Tracing.html b/tutorial/Tracing.html
index 3d42c83c..883c91e5 100644
--- a/tutorial/Tracing.html
+++ b/tutorial/Tracing.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/tutorial/Transactions.html b/tutorial/Transactions.html
index c4e2225b..9c035eb5 100644
--- a/tutorial/Transactions.html
+++ b/tutorial/Transactions.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+    
   
     
   
diff --git a/tutorial/index.html b/tutorial/index.html
index 57eb38c4..46eee3c7 100644
--- a/tutorial/index.html
+++ b/tutorial/index.html
@@ -46,7 +46,7 @@
 
   
    
     
-    
+    
   
     
   
@@ -74,7 +74,7 @@
 
   
    
     
-    
+