Merge branch 'master' into update/zio-2.0.22

.github/workflows/ci.yml

@@ -35,7 +35,7 @@ jobs:
       fail-fast: false
       matrix:
         java: ['[email protected]', '[email protected]']
-        scala: ['2.12.18', '2.13.10']
+        scala: ['2.12.18', '2.13.12']
     steps:
       - name: Checkout current branch
         uses: actions/[email protected]

.scalafmt.conf

@@ -1,4 +1,4 @@
-version = "3.7.17"
+version = "3.8.1"
 maxColumn = 120
 align.preset = most
 continuationIndent.defnSite = 2

core/jvm/src/main/scala/zio/sql/expr/Set.scala → core/jvm/src/main/scala-2.12/zio/sql/expr/Set.scala

@@ -2,7 +2,6 @@ package zio.sql.expr
 
 import zio.sql.typetag.TypeTag
 import zio.sql.Features
-import com.github.ghik.silencer.silent
 
 sealed trait Set[F, -A] {
   type Value
@@ -17,7 +16,6 @@ sealed trait Set[F, -A] {
 object Set {
   type Aux[F, -A, Value0] = Set[F, A] { type Value = Value0 }
 
-  @silent
   def apply[F: Features.IsSource, A, Value0: TypeTag](
     lhs0: Expr[F, A, Value0],
     rhs0: Expr[_, A, Value0]

core/jvm/src/main/scala-2.13/zio/sql/expr/Set.scala

@@ -0,0 +1,34 @@
+package zio.sql.expr
+
+import zio.sql.typetag.TypeTag
+import zio.sql.Features
+
+import scala.annotation.nowarn
+
+sealed trait Set[F, -A] {
+  type Value
+
+  def lhs: Expr[F, A, Value]
+  def rhs: Expr[_, A, Value]
+
+  def typeTag: TypeTag[Value]
+
+}
+
+object Set {
+  type Aux[F, -A, Value0] = Set[F, A] { type Value = Value0 }
+
+  @nowarn
+  def apply[F: Features.IsSource, A, Value0: TypeTag](
+    lhs0: Expr[F, A, Value0],
+    rhs0: Expr[_, A, Value0]
+  ): Set.Aux[F, A, Value0] =
+    new Set[F, A] {
+      type Value = Value0
+
+      def lhs = lhs0
+      def rhs = rhs0
+
+      def typeTag = implicitly[TypeTag[Value]]
+    }
+}

core/jvm/src/test/scala/zio/sql/ProductSchema.scala

@@ -30,10 +30,11 @@ object ProductSchema {
     deleted: Boolean
   )
 
-  implicit val localDateSchema =
+  implicit val localDateSchema: Schema[LocalDate] =
     Schema.primitive[LocalDate](StandardType.LocalDateType)
 
-  implicit val productsSchema = DeriveSchema.gen[Product]
+  implicit val productsSchema: Schema.CaseClass6[String, LocalDate, String, Int, Int, Boolean, Product] =
+    DeriveSchema.gen[Product]
 
   val productTable = Table.defineTable[Product]
 

core/jvm/src/test/scala/zio/sql/TestBasicSelectSpec.scala

@@ -4,7 +4,7 @@ import zio.test._
 import zio.test.Assertion._
 import zio.schema._
 import zio.test.ZIOSpecDefault
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import java.time.LocalDate
 import zio.sql.table._
 import zio.sql.select._
@@ -21,9 +21,9 @@ object TestBasicSelect {
 
     case class Users(user_id: String, dob: LocalDate, first_name: String, last_name: String)
 
-    implicit val localDateSchema =
+    implicit val localDateSchema: Schema[LocalDate]                                      =
       Schema.primitive[LocalDate](StandardType.LocalDateType)
-    implicit val userSchema      = DeriveSchema.gen[Users]
+    implicit val userSchema: Schema.CaseClass4[String, LocalDate, String, String, Users] = DeriveSchema.gen[Users]
 
     val userTable = Table.defineTable[Users]
 

examples/src/main/scala/zio/sql/Examples.scala

@@ -3,7 +3,7 @@ package zio.sql
 import java.util.UUID
 import java.time._
 import zio.sql.postgresql.PostgresJdbcModule
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.sql.expr.AggregationDef._
 import zio.sql.expr.FunctionDef._
 import zio.sql.table._
@@ -142,7 +142,7 @@ object Examples extends App with PostgresJdbcModule {
     firstName: String,
     lastName: String
   )
-  implicit val userSchema = DeriveSchema.gen[User]
+  implicit val userSchema: Schema.CaseClass5[UUID, Int, LocalDate, String, String, User] = DeriveSchema.gen[User]
 
   val dataSchema: User = User(UUID.randomUUID(), 22, LocalDate.ofYearDay(1990, 1), "Ronald", "Russel")
 
@@ -173,7 +173,7 @@ object Examples extends App with PostgresJdbcModule {
 
     case class Users(id: UUID, age: Int, dob: LocalDate, firstName: String, lastName: String)
 
-    implicit val userSchema = DeriveSchema.gen[Users]
+    implicit val userSchema: Schema.CaseClass5[UUID, Int, LocalDate, String, String, Users] = DeriveSchema.gen[Users]
 
     val users = Table.defineTable[Users]
 
@@ -184,7 +184,7 @@ object Examples extends App with PostgresJdbcModule {
 
     case class Orders(id: java.util.UUID, userId: java.util.UUID, orderDate: LocalDate)
 
-    implicit val orderSchema = DeriveSchema.gen[Orders]
+    implicit val orderSchema: Schema.CaseClass3[UUID, UUID, LocalDate, Orders] = DeriveSchema.gen[Orders]
 
     val orders = Table.defineTable[Orders]
 
@@ -194,7 +194,8 @@ object Examples extends App with PostgresJdbcModule {
   object OrderDetails {
     case class OrderDetail(orderId: java.util.UUID, productId: Int, quantity: Double, unitPrice: Double)
 
-    implicit val orderDetailSchema = DeriveSchema.gen[OrderDetail]
+    implicit val orderDetailSchema: Schema.CaseClass4[java.util.UUID, Int, Double, Double, OrderDetail] =
+      DeriveSchema.gen[OrderDetail]
 
     val orderDetails = Table.defineTable[OrderDetail]
 

examples/src/main/scala/zio/sql/GroupByExamples.scala

@@ -1,6 +1,6 @@
 package zio.sql
 
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.sql.postgresql.PostgresJdbcModule
 import zio.sql.expr.AggregationDef._
 import zio.sql.table._
@@ -9,7 +9,7 @@ object GroupByExamples extends App with PostgresJdbcModule {
 
   case class Product(id: Int, name: String, amount: Int, price: Double)
 
-  implicit val productSchema = DeriveSchema.gen[Product]
+  implicit val productSchema: Schema.CaseClass4[Int, String, Int, Double, Product] = DeriveSchema.gen[Product]
 
   val productTable = Table.defineTable[Product]
 

examples/src/main/scala/zio/sql/LiveExample.scala

@@ -5,7 +5,7 @@ import java.time.LocalDate
 import java.util.Properties
 
 import zio._
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.sql.{ ConnectionPool, ConnectionPoolConfig }
 import zio.sql.postgresql.PostgresJdbcModule
 import zio.sql.table._
@@ -71,7 +71,8 @@ object LiveExample extends ZIOAppDefault with PostgresJdbcModule {
 
     case class Customer(id: UUID, age: Int, dob: LocalDate, firstName: String, lastName: String)
 
-    implicit val customerSchema = DeriveSchema.gen[Customer]
+    implicit val customerSchema: Schema.CaseClass5[UUID, Int, LocalDate, String, String, Customer] =
+      DeriveSchema.gen[Customer]
 
     val customers = Table.defineTable[Customer]("customers")
 

mysql/src/test/scala/zio/sql/mysql/CommonFunctionDefSpec.scala

@@ -15,7 +15,8 @@ object CommonFunctionDefSpec extends MysqlRunnableSpec with Jdbc {
 
   case class Customers(id: UUID, dob: LocalDate, first_name: String, last_name: String, verified: Boolean)
 
-  implicit val customerSchema = DeriveSchema.gen[Customers]
+  implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+    DeriveSchema.gen[Customers]
 
   val customers = Table.defineTable[Customers]
 

mysql/src/test/scala/zio/sql/mysql/CustomFunctionDefSpec.scala

@@ -15,7 +15,8 @@ object CustomFunctionDefSpec extends MysqlRunnableSpec with Jdbc {
 
   case class Customers(id: UUID, dob: LocalDate, first_name: String, last_name: String, verified: Boolean)
 
-  implicit val customerSchema = DeriveSchema.gen[Customers]
+  implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+    DeriveSchema.gen[Customers]
 
   val customers = Table.defineTable[Customers]
 

mysql/src/test/scala/zio/sql/mysql/DeleteSpec.scala

@@ -4,15 +4,16 @@ import zio.test._
 
 import java.util.UUID
 import java.time.LocalDate
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.test.TestAspect.sequential
 import zio.sql.table._
 
 object DeleteSpec extends MysqlRunnableSpec {
 
   case class Customers(id: UUID, dob: LocalDate, first_name: String, lastName: String, verified: Boolean)
 
-  implicit val customerSchema = DeriveSchema.gen[Customers]
+  implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+    DeriveSchema.gen[Customers]
 
   val customers = Table.defineTable[Customers]
 

mysql/src/test/scala/zio/sql/mysql/MysqlModuleSpec.scala

@@ -16,30 +16,34 @@ object MysqlModuleSpec extends MysqlRunnableSpec {
 
   case class Customers(id: UUID, dob: LocalDate, first_name: String, last_name: String, verified: Boolean)
 
-  implicit val customerSchema = DeriveSchema.gen[Customers]
+  implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+    DeriveSchema.gen[Customers]
 
   val customers = Table.defineTable[Customers]
 
   val (customerId, dob, fName, lName, verified) = customers.columns
 
   case class Orders(id: UUID, customer_id: UUID, order_date: LocalDate, deleted_at: Option[LocalDateTime])
 
-  implicit val orderSchema = DeriveSchema.gen[Orders]
+  implicit val orderSchema: Schema.CaseClass4[UUID, UUID, LocalDate, Option[LocalDateTime], Orders] =
+    DeriveSchema.gen[Orders]
 
   val orders = Table.defineTable[Orders]
 
   val (orderId, fkCustomerId, orderDate, deletedAt) = orders.columns
 
   case class ProductPrice(productId: UUID, effective: LocalDate, price: BigDecimal)
-  implicit val productPriceSchema = DeriveSchema.gen[ProductPrice]
+  implicit val productPriceSchema: Schema.CaseClass3[UUID, LocalDate, BigDecimal, ProductPrice] =
+    DeriveSchema.gen[ProductPrice]
 
   val productPrices = Table.defineTableSmart[ProductPrice]
 
   val (productPricesOrderId, effectiveDate, productPrice) = productPrices.columns
 
   case class OrderDetails(orderId: UUID, productId: UUID, quantity: Int, unitPrice: BigDecimal)
 
-  implicit val orderDetailsSchema = DeriveSchema.gen[OrderDetails]
+  implicit val orderDetailsSchema: Schema.CaseClass4[UUID, UUID, Int, BigDecimal, OrderDetails] =
+    DeriveSchema.gen[OrderDetails]
 
   val orderDetails = Table.defineTableSmart[OrderDetails]
 

mysql/src/test/scala/zio/sql/mysql/TransactionSpec.scala

@@ -15,7 +15,8 @@ object TransactionSpec extends MysqlRunnableSpec with Jdbc {
 
   case class Customers(id: UUID, dob: LocalDate, first_name: String, last_name: String, verified: Boolean)
 
-  implicit val customerSchema = DeriveSchema.gen[Customers]
+  implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+    DeriveSchema.gen[Customers]
 
   val customers = Table.defineTable[Customers]
 

oracle/src/test/scala/zio/sql/oracle/DualSchema.scala

@@ -1,14 +1,14 @@
 package zio.sql.oracle
 
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.sql.table._
 
 trait DualSchema {
   object Dual {
     case class Dual(dummy: String)
 
-    implicit val dummySchema = DeriveSchema.gen[Dual]
-    val dual                 = Table.defineTable[Dual]
-    val dummy                = dual.columns
+    implicit val dummySchema: Schema.CaseClass1[String, Dual] = DeriveSchema.gen[Dual]
+    val dual                                                  = Table.defineTable[Dual]
+    val dummy                                                 = dual.columns
   }
 }

oracle/src/test/scala/zio/sql/oracle/ShopSchema.scala

@@ -4,7 +4,7 @@ import java.math.BigDecimal
 import java.util.UUID
 import java.time._
 import zio.Chunk
-import zio.schema.DeriveSchema
+import zio.schema.{ DeriveSchema, Schema }
 import zio.sql.table._
 
 trait ShopSchema extends OracleSqlModule { self =>
@@ -13,7 +13,8 @@ trait ShopSchema extends OracleSqlModule { self =>
 
     case class Customers(id: UUID, dob: LocalDate, first_name: String, last_name: String, verified: Boolean)
 
-    implicit val customerSchema = DeriveSchema.gen[Customers]
+    implicit val customerSchema: Schema.CaseClass5[UUID, LocalDate, String, String, Boolean, Customers] =
+      DeriveSchema.gen[Customers]
 
     val customers = Table.defineTableSmart[Customers]
 
@@ -22,7 +23,7 @@ trait ShopSchema extends OracleSqlModule { self =>
   object Orders {
     case class Order(id: UUID, customerId: UUID, orderDate: LocalDate)
 
-    implicit val orderSchema = DeriveSchema.gen[Order]
+    implicit val orderSchema: Schema.CaseClass3[UUID, UUID, LocalDate, Order] = DeriveSchema.gen[Order]
 
     val orders = Table.defineTableSmart[Order]
 
@@ -31,7 +32,8 @@ trait ShopSchema extends OracleSqlModule { self =>
 
   object ProductPrices {
     case class ProductPrice(productId: UUID, effective: LocalDate, price: BigDecimal)
-    implicit val productPriceSchema = DeriveSchema.gen[ProductPrice]
+    implicit val productPriceSchema: Schema.CaseClass3[UUID, LocalDate, BigDecimal, ProductPrice] =
+      DeriveSchema.gen[ProductPrice]
 
     val productPrices = Table.defineTableSmart[ProductPrice]
 
@@ -41,7 +43,8 @@ trait ShopSchema extends OracleSqlModule { self =>
   object OrderDetailsSchema {
     case class OrderDetails(orderId: UUID, productId: UUID, quantity: Int, unitPrice: BigDecimal)
 
-    implicit val orderDetailsSchema = DeriveSchema.gen[OrderDetails]
+    implicit val orderDetailsSchema: Schema.CaseClass4[UUID, UUID, Int, BigDecimal, OrderDetails] =
+      DeriveSchema.gen[OrderDetails]
 
     val orderDetails = Table.defineTableSmart[OrderDetails]
 
@@ -73,7 +76,29 @@ trait ShopSchema extends OracleSqlModule { self =>
       zoneddatetime: ZonedDateTime
     )
 
-    implicit val alTypesSchema = DeriveSchema.gen[AllType]
+    implicit val alTypesSchema: Schema.CaseClass20[
+      UUID,
+      Chunk[Byte],
+      BigDecimal,
+      Boolean,
+      Char,
+      Double,
+      Float,
+      Instant,
+      Int,
+      Option[Int],
+      LocalDate,
+      LocalDateTime,
+      LocalTime,
+      Long,
+      OffsetDateTime,
+      OffsetTime,
+      Short,
+      String,
+      UUID,
+      ZonedDateTime,
+      AllType
+    ] = DeriveSchema.gen[AllType]
 
     val allTypes = Table.defineTableSmart[AllType]