ZIO SQL: Type-safe SQL for ZIO applications

This article was inspired by a great blog post by Adam Warski, who wrote a comparison of Slick, Doobie, Quill and ScalikeJDBC a few years ago. As ZIO SQL just had its first non-production release, I wanted to add ZIO SQL to the mix and see how it compares to others. Therefore, in the Tour of ZIO SQL section, I have used the same examples as Adam did, so it’s easier for readers to compare the libraries. However, I won’t spend too much time covering the other libraries, we’ll just make a quick review of how queries are constructed in each of them. You can find code snippets for this blog in Softwaremill’s original repo.


When it comes to accessing relational data, Scala developers nowadays have lots of interesting choices. Slick, Doobie or Quill are all great, production ready, battle tested libraries that have survived the test of time. So do we even need another library? Does ZIO SQL offer something that others don’t? If you’re eager to find out what makes ZIO SQL special and see this library in action, keep reading.

Who is ZIO SQL for?

I find it interesting that every library takes a slightly different approach to solving the problem of accessing relational data. Especially when it comes to writing queries, users usually have to choose between these two options:

  • Having a type-safe domain-specific language (DSL) which doesn’t much resemble SQL and therefore has a steeper learning curve.
  • Having an ability to write SQL as String, but at the cost of limited or no type-safety.

Now, let’s take a quick look at some of the most frequent choices and quickly explore their approach to writing queries.


Slick lets you define a meta-model for your table. Using values representing your table and methods representing columns, you can use Slick’s DSL, which feels quite intuitive for simple examples. 

class Persons(tag: Tag) extends Table[(UUID, String, Int)](tag, "persons"){
  def id = column[UUID]("id", O.PrimaryKey)
  def name = column[String]("name")
  def age = column[Int]("age")
  def * = (id, name, age)

val persons = TableQuery[Persons]
( for( p <- persons; if p.age > 18 ) yield p.name )
persons.filter(_.age > 18).map(_.name)

In general, writing queries in Slick resembles working with Scala collections, rather than working with SQL. However, queries are typesafe. Using String when comparing age would result in compile type errors.

In more complex examples, such as when you join multiple tables, users have to deal with nested tuples and using the DSL gets a little bit more complicated. The good news is that you can also write a query in Slick as a raw String.

sql"SELECT name FROM persons WHERE age < 18".as[String]

Obviously, in this case you’re losing type safety as Slick doesn’t use any macros to parse String or anything like that. If you misspell SELECT or map the result to Int, your program will fail at runtime.


Doobie doesn’t require writing any meta-model. It actually doesn’t abstract over SQL at all. With Doobie you write SQL directly and then you map to your model representation.

val age = 18
sql"""SELECT name FROM persons WHERE age > $age"""

While writing String is just not typesafe, Doobie offers query type checking capabilities.

val y = transactor.yolo
import y._

val query: Query0[String] =
  sql"""SELECT name FROM persons WHERE age > 18"""


You can incorporate this check, for example, into your unit tests. Output of check lets you know if you made a syntax typo. It also gives you recommendations about the model representation which you map your query to, like a nullable column mapped to a non-optional type, unused column, type mismatch and more. Anyway, this is not a compile type query checking, as it’s happening at runtime, but it’s still a nice feature.


Quill generates a query at compile time. Let’s take a look at an example of how we can write our query of adults.

final case class Person(id: UUID, name: String, age: Int)

  quote {
    query[Person].filter(_ > 18).map(_.name)

When you hover over your query description, you can see the actual SQL query that you’ll eventually end up executing on the database! 

On the other hand, when it comes to this Quoted DSL, in my opinion, some getting used to is required and there isn’t much resemblance to SQL itself.

So what about ZIO SQL?

According to the website, it’s “Type-safe, composable SQL for ZIO applications”. 

Indeed, the goal of ZIO SQL is to bring you the best of both worlds. It lets you write type-safe and composable SQL queries in ordinary Scala. 

val persons = (uuid("id") ++ string("name") ++ int("age")).table("persons")
val (id, name, age) = persons.columns

select(name).from(persons).where(age > 18)

This query very much resembles SQL itself and it’s also type-safe. Trying to select columns from some other table results in a compile time error. Also, query typos are impossible, as you are using scala functions.

There are four databases currently supported: PostgreSQL, MySQL, MSSQL Server, Oracle –  with PostgreSQL being the most feature-complete out of the four. Support for more databases is coming in the future.

How does ZIO JDBC fit into the picture?

ZIO JDBC  is a new library that has just recently started to be developed so it’s a lower-level library than ZIO SQL. Let’s take a look at an example.

val query = sql"select name from persons where age > 18".as[String]

val select: ZIO[ZConnectionPool, Throwable, Chunk[String]] = transaction {

We’re back in the world of writing String. In fact, you can use ZIO SQL to describe your query and render it to the String. So in the end, ZIO SQL and ZIO JDBC could cooperate. At the moment, one of the modules of ZIO SQL is the JDBC module which could in the future be replaced by ZIO JDBC. So users could use ZIO SQL for its typesafe, sql-looking DSL and ZIO JDBC for connection pool, transactions and other JDBC related stuff. And again, if you’re dealing with some unusual, not yet supported, db specific query, with ZIO JDBC you can execute it directly as a String.

Tour of ZIO SQL

Now that we know whether ZIO SQL is interesting for us or not, let’s do a tour of the library and see it in action. 

Define meta model.

We’ll be working with 3 tables representing a city, its metro system and a specific metro line.

Before we can start using DSL, we need to create a table description and extract columns, which we’ll then use when constructing queries. 

import zio.sql.postgresql.PostgresModule

trait TableModel extends PostgresModule {
   import ColumnSet._

   val city = (int("id") ++ string("name") ++
              int("population") ++ float("area") ++ string("link")).table("city")
   val (cityId, cityName, population, area, link) = city.columns

   val metroSystem = (int("id") ++ int("city_id") ++ int("name") ++ int("daily_ridership")).table("metro_system")
   val (metroSystemId, cityIdFk, metroSystemName, dailyRidership) = metroSystem.columns

   val metroLine = (int("id") ++ int("system_id") ++ string("name") ++ int("station_count") ++ int("track_type")).table("metro_line")
   val (metroLineId, systemId, metroLineName, stationCount, trackType) = metroLine.columns

Your TableModel extends the PostgresModule which comes from zio.sql.postgresql.PostgresModule import. If you are using another database, you just need to extend an appropriate module – like e.g. OracleModule

Architecturally ZIO SQL uses modules represented by traits. Core project defines an SqlModule which consists of SelectModule, InsertModule, TableModule and more. These contain database agnostic DSL. Built on top of that is a JdbcModule which adds the abilities to execute queries, render them to string, launch transactions and so on. Database specific functionality is then built into database specific modules which also take care of translating ADT into a String query. 

So in our case, we defined table description in the trait extending PostgresModule. Each column is represented by a type and a name of the column. You compose columns with the ++ operator, which results in a so-called ColumnSet. In the end, you define the table by calling .table("table_name") on the ColumnSet. As everything is a value, you can assign columns to a val and reuse them for multiple tables. You get columns by calling the columns method on the table, which gives you the flat tuple of all the columns.

The resulting columns have type Expr[F, A, B] where B is a type of column, A is an abstract type representing the table and F is a phantom type which helps the compiler validate the DSL soundness. From now on, we will be using those Expr‘s inside our queries.

 If you want to describe a column which could contain nulls, you can use the nullable aspect. Extracted Expr will then be of the type Option[String]

  import ColumnSetAspect._
  string("link") @@ nullable

Even though it forces you to handle Option when executing a query that contains this column, keep in mind that nullability is simply a part of SQL – for example even columns marked with Not Null constraint can be null when queried with outer join, and then you just have to deal with nulls. 

DB Connection

Let’s see how to connect to a database. 

Execute method returns either a ZIO or a ZStream – depending on whether we are executing a streaming query or not – and sets the environment type to SqlDriver. That means that in order to execute a query, we need to provide SqlDriver to the ZIO program.

val query: ZStream[SqlDriver, Exception, String] =   

In order to construct SqlDriver we will need at least ConnectionPoolConfig where we set the connection URL, user, password and any other configuration if needed.

val poolConfigLayer = ZLayer.succeed(
                          connProperties("postgres", "reallyStringPSW")))
private def connProperties(user: String, password: String): Properties = {
     val props = new Properties
     props.setProperty("user", user)
     props.setProperty("password", password)
val driverLayer = ZLayer.make[SqlDriver](

As you can see, defining driverLayer is pretty straightforward. ZIO 2.0 introduces amazing improvements to the way we compose ZLayers.  If you mess something up, the compiler will remind you what you are missing or what is redundant.

It should be possible to use HikariCP as a custom ConnectionPool instead of the  default from ZIO SQL. I have not tried it, though. Any kind of zio-sql-hikari module that would provide HikariCP as another implementation of ConnectionPool would be a great contribution to this library.

Simple query

Now that we have all the building blocks ready, let’s start writing some queries. First off, let’s write a query that selects only the big cities.

val bigCities = select(cityId ++ cityName ++ population ++ area ++ link)
      .where(population > 4000000)

So far so good. If you’re familiar with SQL in general, the query itself should feel very natural.

For the query, we’re using the Exprs that we defined earlier. Also, the query is completely type-safe, so if you try to select a column from some other table than city, you end up with a compile time error.

The resulting value of this query is a Read which is just a description of a query, so you’re not executing anything on the database. This concept should be familiar from ZIO or functional programming in general. We’re  dealing with pure data here which can be accepted in a function, mapped over or refactored.

Lets execute our query now:

case class CityId(id: Int) extends AnyVal
case class City(id: CityId, name: String, population: Int, area: Float, link: Option[String])
val result: ZStream[Has[SqlDriver], Exception, (Int, String, Int, Float, String)] = execute(bigCities)
val bigCities2 = bigCities.to {
     case (id, name, population, area, link) => City(CityId(id), name , population, area, Option(link))
val result2: ZStream[Has[SqlDriver], Exception, City] = execute(bigCities2)

result gives us a stream of rows, each one represented as a tuple. You can map over ZStream, run it to ZIO of a Chunk, get only the first element with runHead or do something else, like write elements to the console. Basically, after the query execution, you’re in the world of ZIO, so you get all the benefits of working with ZIO.

Alternatively, we can call query.to which maps type to our custom domain model. In our case, our model contains an Option as well as a newtype wrapper for ID, so we can do the mapping of column types to our model before query execution. Then, executing the query returns a stream of City.

However, it’s fair to mention that we’re not dealing with real streaming yet, because the whole result set is put into ZStream. The library authors will definitely be improving that in future releases.

Complex queries

An example of a more complex query consists of selecting metro systems with city names and a total count of the lines in each system, sorted by that count.

    SELECT ms.name, c.name, COUNT(ml.id) as line_count
    FROM metro_line as ml
    JOIN metro_system as ms on ml.system_id = ms.id
    JOIN city AS c ON ms.city_id = c.id
    GROUP BY ms.name, c.name
    ORDER BY line_count DESC
val lineCount = (Count(metroLineId) as "line_count")
val complexQuery = select(metroLineName ++ cityName ++ lineCount)
           .join(metroSystem).on(metroSystemId === systemId)
           .join(city).on(cityIdFk === cityId))
       .groupBy(metroLineName, cityName)
val streamRow: ZStream[Has[SqlDriver], Exception, (String, String, Long)] = execute(complexQuery)

We extracted lineCount to a value and reused it inside select and inside orderBy clause. If we inline it, the query won’t change. I find it nice that the compilation fails when we don’t group by metroSystemName and cityName. After all, lineCount is an aggregation function, so grouping by other selected columns is required. After execution, we have a stream of flat tuples (String, String, Long) representing the name of the metro line, city and number of lines.

Dynamic queries

Our goal is to construct a query based on some runtime values, so let’s see how ZIO SQL handles it.

val base = select(metroLineId ++ systemId ++ metroLineName ++ stationCount ++ trackType).from(metroLine)
val minStations: Option[Int] = Some(10)
val maxStations: Option[Int] = None
val sortDesc: Boolean = true
val minStationsQuery = minStations.map(m => stationCount >= m).getOrElse(Expr.literal(true))
val maxStationsQuery = maxStations.map(m => trackType <= m).getOrElse(Expr.literal(true))
val ord =
       if (sortDesc)

val whereExpr =
	minStationsQuery && maxStationsQuery

In this case, we are dealing with minimum and maximum number of stations that would form a where clause depending on whether they are available or not. Also, ord boolean value decides on final order direction.

Plain SQL

ZIO SQL does not allow you to write queries as Strings. For that, you could use the ZIO JDBC that I mentioned before.

On the other hand, you don’t actually need a database connection in order to use ZIO SQL. You don’t even need ZIO. :) You can simply use the DSL to describe your query as pure data and then render it to a String. Depending on the query, you can use renderInsert, renderRead, renderUpdate or renderDelete methods.

val selectCityName: String = renderRead(select(cityName).from(city))

The value of the selectCityName is SELECT city.name FROM city. Therefore,  if you like, you can take this String and send it to the database some other way. Not using ZIO at all. This is a potential integration point for other libraries such as Slick, Doobie or ZIO JDBC. It’s also a way to debug your application and log ZIO SQL queries. 


For writing transactions, ZIO SQL introduces a ZTransaction data type – a surprising name indeed, I know :)

val transaction: ZTransaction[Any, Exception, Int] = for {
       _    <- ZTransaction(insertCity(id))
       rows <- ZTransaction(deleteCity(id))
   } yield (rows)
val deletedRows: ZIO[SqlDriver, Exception, Int] = execute(transaction).useNow

ZTransaction defines the flatMap operator, so we can compose multiple queries inside for comprehension. Under the hood, ZTransaction is a wrapper around ZManaged effect. The transaction is committed when the underlying effect succeeds and rollbacked when the effect fails.


ZIO SQL provides type-safe and composable DSL. Using it resembles writing SQL, when the compiler does query validation. The JDBC module adds ZIO integration, connection pool and ZTransaction data type to handle query execution, sql rendering and transactions. 

While there’s still some room for improvements and some work to do before the library is ready for production, once a stable version is released, ZIO SQL will provide a great choice for ZIO based functional applications that need to work with relational databases in a type safe way.

ZIO SQL is the most Scalac-influenced ZIO library, with 2 out of 3 top contributors and many more involved in the library.

Check out other articles on ZIO


Jaroslav Regec
Jaroslav Regec

I am a backend software developer passionate about Scala language, its expressivity and strong type system. I am big fan of ZIO, functional design techniques, type-safe DSLs and type-level programming in general. In my free time I focus on bringing ZIO SQL to its first production release. Other than that, my hobbies are rowing, cycling and travelling with my wife.

Latest Blogposts

24.11.2022 / By  Daria Karasek

ZIO Test: What, Why, and How?

Functional World meetup is a global event aimed at improving learning and knowledge sharing among developers with a passion for functional programming. This year’s edition was focused on the ZIO Scala library. In that vein, we invited developer and ZIO enthusiast Marcin Krykowski to speak about the functional power of ZIO Tests. Marcin previously worked […]

24.11.2022 / By  Daria Karasek

Find the Perfect Specialists for Your Project: Test Team-Matching Startup Teamy.ai

Teamy.ai is a startup that integrates industry-leading team-matching algorithms with various workforce management capabilities in a single platform. It’s a new technology from experienced software house Scalac and offers a range of services, from AI-powered candidate matching to extensive skills mapping.  Teamy.ai is almost ready to launch. And Scalac is looking for businesses to test […]

17.11.2022 / By  Daria Karasek

Scalac’s Latest Development: Team-Matching Software, Teamy.ai 

Teamy.ai, a startup from Scalac, is a team-matching software application that pairs best-fit tech specialists with specific business requirements.  Finding the right employees for your business is challenging. Not only do you need to identify candidates with the right skills, but they must also want to work with your stack, have enough experience, be compatible […]

Need a successful project?

Estimate project