2023-10-21 21:12:58 +03:00
|
|
|
package db
|
|
|
|
|
|
2023-10-22 21:19:11 +03:00
|
|
|
import cats.data.NonEmptyList
|
2023-10-21 21:12:58 +03:00
|
|
|
import cats.effect._
|
|
|
|
|
import cats.effect.unsafe.implicits.global
|
|
|
|
|
import doobie._
|
|
|
|
|
import doobie.implicits._
|
|
|
|
|
|
|
|
|
|
import java.time.format.DateTimeFormatter
|
|
|
|
|
import java.time.{LocalDateTime, ZoneId, ZonedDateTime}
|
|
|
|
|
import doobie.postgres.implicits._
|
|
|
|
|
|
|
|
|
|
case class SqlContent(value: String)
|
|
|
|
|
|
|
|
|
|
object Postgres {
|
|
|
|
|
def transactor[F[_]: Async]: Transactor[F] = Transactor.fromDriverManager[F](
|
|
|
|
|
"org.postgresql.Driver",
|
|
|
|
|
"jdbc:postgresql://localhost:5432/weather-tool",
|
|
|
|
|
"postgres",
|
|
|
|
|
"mysecretpassword"
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
def getResourceContent(path: String): IO[String] = {
|
|
|
|
|
val streamResource = Resource.make(IO(getClass.getResourceAsStream(path))) { stream =>
|
|
|
|
|
IO(stream.close()).handleErrorWith(_ => IO.unit)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
streamResource.use { stream =>
|
|
|
|
|
IO(scala.io.Source.fromInputStream(stream).mkString)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// def findUserById(userId: Int)(implicit xa: Transactor[IO]): IO[Option[User]] = {
|
|
|
|
|
// sql"SELECT id, name FROM users WHERE id = $userId"
|
|
|
|
|
// .query[User]
|
|
|
|
|
// .option
|
|
|
|
|
// .transact(xa)
|
|
|
|
|
// }
|
|
|
|
|
|
|
|
|
|
def createWeatherTable(implicit xa: Transactor[IO]): IO[Int] = {
|
|
|
|
|
for {
|
|
|
|
|
createTableSql <- getResourceContent("/db/create_weather_table.sql")
|
|
|
|
|
result <- Update0(createTableSql, None).run.transact(xa)
|
|
|
|
|
} yield result
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
implicit val doubleOptionMeta: Meta[Option[Double]] = Meta[Double].imap(Option(_))(_.getOrElse(Double.NaN))
|
|
|
|
|
|
|
|
|
|
def insertInWeatherTable(xa: Transactor[IO]): IO[Int] = {
|
|
|
|
|
val formatter = DateTimeFormatter.ofPattern("yyyyMMdd_HHmm")
|
|
|
|
|
val dateTime = LocalDateTime.parse("20230516_1500", formatter)
|
|
|
|
|
|
|
|
|
|
val rigaZone = ZoneId.of("Europe/Riga")
|
|
|
|
|
val zonedTime: ZonedDateTime = dateTime.atZone(rigaZone)
|
|
|
|
|
|
|
|
|
|
// in pgAdmin run: ```SET TIMEZONE = 'Europe/Riga';```
|
|
|
|
|
|
|
|
|
|
for {
|
|
|
|
|
insertTableSql <- getResourceContent("/db/insert_weather_table.sql")
|
|
|
|
|
result <- Update[(ZonedDateTime, String, Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], Option[Double], List[String])](
|
|
|
|
|
insertTableSql
|
|
|
|
|
).run((zonedTime, "Rīga", Some(20.2), Some(8.8), Some(15.6), None, None, None, None, None, None, None, None, None, None, List("hail", "rain"))).transact(xa)
|
|
|
|
|
} yield result
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-22 21:19:11 +03:00
|
|
|
def selectWeatherTable(xa: Transactor[IO]): IO[List[(String, Option[Double])]] = {
|
|
|
|
|
val formatter = DateTimeFormatter.ofPattern("yyyyMMdd_HHmm")
|
|
|
|
|
val rigaZone = ZoneId.of("Europe/Riga")
|
|
|
|
|
val from = LocalDateTime.parse("20230516_0100", formatter).atZone(rigaZone)
|
|
|
|
|
val to = LocalDateTime.parse("20230516_1500", formatter).atZone(rigaZone)
|
|
|
|
|
val citiesNel = NonEmptyList.of("Rīga", "Rēzekne")
|
|
|
|
|
val granularity = "HOUR" // "HOUR", "DAY", "MONTH", "YEAR"
|
|
|
|
|
val columnName = "tempMin"
|
|
|
|
|
|
|
|
|
|
val baseQuery =
|
|
|
|
|
fr"""
|
|
|
|
|
SELECT
|
|
|
|
|
city,
|
|
|
|
|
MIN(""" ++ Fragment.const(columnName) ++
|
|
|
|
|
fr""") AS tempMin
|
|
|
|
|
FROM weather
|
|
|
|
|
WHERE
|
|
|
|
|
""" ++ Fragments.in(fr"city", citiesNel) ++ fr"""
|
|
|
|
|
AND dateTime BETWEEN $from AND $to
|
|
|
|
|
AND """ ++ Fragment.const(columnName) ++fr""" IS NOT NULL
|
|
|
|
|
GROUP BY city, EXTRACT(""" ++ Fragment.const(granularity) ++ fr""" FROM dateTime)
|
|
|
|
|
"""
|
|
|
|
|
|
|
|
|
|
baseQuery
|
|
|
|
|
.query[(String, Option[Double])]
|
|
|
|
|
.to[List]
|
|
|
|
|
.transact(xa)
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-21 21:12:58 +03:00
|
|
|
def dropWeatherTable(implicit xa: Transactor[IO]): IO[Int] = {
|
|
|
|
|
for {
|
|
|
|
|
dropTableSql <- getResourceContent("/db/drop_weather_table.sql")
|
|
|
|
|
result <- Update0(dropTableSql, None).run.transact(xa)
|
|
|
|
|
} yield result
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
def main(args: Array[String]): Unit = {
|
|
|
|
|
val xa = transactor[IO]
|
|
|
|
|
|
|
|
|
|
// val result = createWeatherTable(xa).unsafeRunSync()
|
2023-10-22 21:19:11 +03:00
|
|
|
// val result = insertInWeatherTable(xa).unsafeRunSync()
|
|
|
|
|
val result = selectWeatherTable(xa).unsafeRunSync()
|
2023-10-21 21:12:58 +03:00
|
|
|
// val result = dropWeatherTable(xa).unsafeRunSync()
|
|
|
|
|
|
|
|
|
|
println(s"result: $result")
|
|
|
|
|
}
|
|
|
|
|
}
|