8. Statement Fragments
In this chapter we discuss how to construct SQL statements at runtime.
Setting Up
Same as last chapter, so if you’re still set up you can skip this section. Otherwise let’s set up a Transactor
and YOLO mode.
import doobie.imports._
import cats._, cats.data._, cats.implicits._
import fs2.interop.cats._
val xa = DriverManagerTransactor[IOLite](
"org.postgresql.Driver", "jdbc:postgresql:world", "postgres", ""
)
val y = xa.yolo; import y._
We’re still playing with the country
table, shown here for reference.
CREATE TABLE country (
code character(3) NOT NULL,
name text NOT NULL,
population integer NOT NULL,
gnp numeric(10,2)
-- more columns, but we won't use them here
)
Composing SQL literals
SQL literals constructed with the fr
interpolator behave just like the sql
interpolator and can be composed by concatenation.
scala> val a = fr"select name from country"
a: doobie.util.fragment.Fragment = Fragment("select name from country ")
scala> val b = fr"where code = 'USA'"
b: doobie.util.fragment.Fragment = Fragment("where code = 'USA' ")
scala> val c = a ++ b // concatenation by ++
c: doobie.util.fragment.Fragment = Fragment("select name from country where code = 'USA' ")
scala> c.query[String].unique.quick.unsafePerformIO
United States
Fragments can capture arguments of any type with a Param
instance, just as the sql
interpolator does.
scala> def whereCode(s: String) = fr"where code = $s"
whereCode: (s: String)doobie.util.fragment.Fragment
scala> val fra = whereCode("FRA")
fra: doobie.util.fragment.Fragment = Fragment("where code = ? ")
scala> (fr"select name from country" ++ fra).query[String].quick.unsafePerformIO
France
You can lift an arbitrary string value via Fragment.const
, which allows you to parameterize on things that aren’t valid SQL parameters.
scala> def count(table: String) = (fr"select count(*) from" ++ Fragment.const(table)).query[Int].unique
count: (table: String)doobie.free.connection.ConnectionIO[Int]
scala> count("city").quick.unsafePerformIO
4079
Whitespace handling
The rendered SQL string for a fr
or const
fragment will have a single space character appended, which is usually what you want. Normally you don’t need to worry about whitespace when composing fragments.
If you do not want a fragment to have trailing space you can use the fr0
interpolator or const0
constructor. This is used here and there in the Fragments
module to yield prettier SQL strings.
scala> fr"IN (" ++ List(1, 2, 3).map(n => fr"$n").intercalate(fr",") ++ fr")"
res3: doobie.util.fragment.Fragment = Fragment("IN ( ? , ? , ? ) ")
scala> fr0"IN (" ++ List(1, 2, 3).map(n => fr0"$n").intercalate(fr",") ++ fr")"
res4: doobie.util.fragment.Fragment = Fragment("IN (?, ?, ?) ")
Note that the sql
interpolator is simply an alias for fr0
.
The Fragments
Module
The Fragments
module provides some combinators for common patterns when working with fragments. The following example illustrates a few of them. See the Scaladoc or source for more information.
Here we define a query with a three optional filter conditions.
// Import some convenience combinators.
import Fragments.{ in, whereAndOpt }
// Country Info
case class Info(name: String, code: String, population: Int)
// Construct a Query0 with some optional filter conditions and a configurable LIMIT.
def select(name: Option[String], pop: Option[Int], codes: List[String], limit: Long) = {
// Three Option[Fragment] filter conditions.
val f1 = name.map(s => fr"name LIKE $s")
val f2 = pop.map(n => fr"population > $n")
val f3 = codes.toNel.map(cs => in(fr"code", cs))
// Our final query
val q: Fragment =
fr"SELECT name, code, population FROM country" ++
whereAndOpt(f1, f2, f3) ++
fr"LIMIT $limit"
// Consruct a Query0
q.query[Info]
}
We first construct three optional filters, the third of which uses the in
combinator to construct an SQL IN
clause. The final statement uses the whereAndOpt
combinator that constructs a WHERE
clause with the passed sequence of Option[Fragment]
joined with AND
if any are defined, otherwise it evaluates to the empty fragment. The end result is that the WHERE
clause appears only if at least one filter is defined.
Let’s look at a few possibilities.
scala> select(None, None, Nil, 10).check.unsafePerformIO // no filters
SELECT name, code, population FROM country LIMIT ?
✓ SQL Compiles and Typechecks
✓ P01 Long → BIGINT (int8)
✓ C01 name VARCHAR (varchar) NOT NULL → String
✓ C02 code CHAR (bpchar) NOT NULL → String
✓ C03 population INTEGER (int4) NOT NULL → Int
scala> select(Some("U%"), None, Nil, 10).check.unsafePerformIO // one filter
SELECT name, code, population FROM country WHERE name LIKE ? LIMIT ?
✓ SQL Compiles and Typechecks
✓ P01 String → VARCHAR (text)
✓ P02 Long → BIGINT (int8)
✓ C01 name VARCHAR (varchar) NOT NULL → String
✓ C02 code CHAR (bpchar) NOT NULL → String
✓ C03 population INTEGER (int4) NOT NULL → Int
scala> select(Some("U%"), Some(12345), List("FRA", "GBR"), 10).check.unsafePerformIO // three filters
SELECT name, code, population FROM country WHERE name LIKE ? AND population > ? AND code IN (?, ?) LIMIT ?
✓ SQL Compiles and Typechecks
✓ P01 String → VARCHAR (text)
✓ P02 Int → INTEGER (int4)
✓ P03 String → CHAR (bpchar)
✓ P04 String → CHAR (bpchar)
✓ P05 Long → BIGINT (int8)
✓ C01 name VARCHAR (varchar) NOT NULL → String
✓ C02 code CHAR (bpchar) NOT NULL → String
✓ C03 population INTEGER (int4) NOT NULL → Int