console output for 'Selecting Data' queries using 'quick'

[philipschwarz]

Hello,

in the 'Selecting Data' section of the book of doobie, it seems that when a normal query is run, the output of the query is automatically shown in the rendered page, but when the query makes use of the 'quick' function, it isn't.

In case you think it could add value to also show the output for the latter queries (I believe so), here is the output for each such query (which you might want to hard-code in the page, if you are certain that the data is never going to change) :

sql"select name from country"
  .query[String] // Query0[String]
  .stream        // Stream[ConnectionIO, String]
  .take(5)       // Stream[ConnectionIO, String]
  .quick         // IO[Unit]
  .unsafeRunSync()

  // Afghanistan
  // Netherlands
  // Netherlands Antilles
  // Albania
  // Algeria

sql"select code, name, population, gnp from country"
  .query[(String, String, Int, Option[Double])]
  .stream
  .take(5)
  .quick
  .unsafeRunSync()

  // (AFG,Afghanistan,22720000,Some(5976.0))
  // (NLD,Netherlands,15864000,Some(371362.0))
  // (ANT,Netherlands Antilles,217000,Some(1941.0))
  // (ALB,Albania,3401200,Some(3205.0))
  // (DZA,Algeria,31471000,Some(49982.0))

import shapeless._

sql"select code, name, population, gnp from country"
  .query[String :: String :: Int :: Option[Double] :: HNil]
  .stream
  .take(5)
  .quick
  .unsafeRunSync()

  //  AFG :: Afghanistan :: 22720000 :: Some(5976.0) :: HNil
  //  NLD :: Netherlands :: 15864000 :: Some(371362.0) :: HNil
  //  ANT :: Netherlands Antilles :: 217000 :: Some(1941.0) :: HNil
  //  ALB :: Albania :: 3401200 :: Some(3205.0) :: HNil
  //  DZA :: Algeria :: 31471000 :: Some(49982.0) :: HNil

import shapeless.record.Record

type Rec = Record.`'code -> String, 'name -> String, 'pop -> Int, 'gnp -> Option[Double]`.T

sql"select code, name, population, gnp from country"
  .query[Rec]
  .stream
  .take(5)
  .quick
  .unsafeRunSync()

  //  AFG :: Afghanistan :: 22720000 :: Some(5976.0) :: HNil
  //  NLD :: Netherlands :: 15864000 :: Some(371362.0) :: HNil
  //  ANT :: Netherlands Antilles :: 217000 :: Some(1941.0) :: HNil
  //  ALB :: Albania :: 3401200 :: Some(3205.0) :: HNil
  //  DZA :: Algeria :: 31471000 :: Some(49982.0) :: HNil

sql"select code, name, population, gnp from country"
  .query[Country]
  .stream
  .take(5)
  .quick
  .unsafeRunSync()

  //  Country(AFG,Afghanistan,22720000,Some(5976.0))
  //  Country(NLD,Netherlands,15864000,Some(371362.0))
  //  Country(ANT,Netherlands Antilles,217000,Some(1941.0))
  //  Country(ALB,Albania,3401200,Some(3205.0))
  //  Country(DZA,Algeria,31471000,Some(49982.0))

case class Code(code: String)
case class Country2(name: String, pop: Int, gnp: Option[Double])
sql"select code, name, population, gnp from country"
  .query[(Code, Country2)]
  .stream
  .take(5)
  .quick
  .unsafeRunSync()

  //  (Code(AFG),Country2(Afghanistan,22720000,Some(5976.0)))
  //  (Code(NLD),Country2(Netherlands,15864000,Some(371362.0)))
  //  (Code(ANT),Country2(Netherlands Antilles,217000,Some(1941.0)))
  //  (Code(ALB),Country2(Albania,3401200,Some(3205.0)))
  //  (Code(DZA),Country2(Algeria,31471000,Some(49982.0)))

sql"select code, name, population, gnp from country"
  .query[(Code, Country2)]
  .stream.take(5)
  .compile.toList
  .map(_.toMap)
  .quick
  .unsafeRunSync()

  //   HashMap(
  //    Code(ANT) -> Country2(Netherlands Antilles,217000,Some(1941.0)),
  //    Code(ALB) -> Country2(Albania,3401200,Some(3205.0)),
  //    Code(DZA) -> Country2(Algeria,31471000,Some(49982.0)),
  //    Code(NLD) -> Country2(Netherlands,15864000,Some(371362.0)),
  //    Code(AFG) -> Country2(Afghanistan,22720000,Some(5976.0)))