Merge branch 'main' into add-ci

build.sbt

@@ -2,8 +2,8 @@ name := "scala_typeclassopedia"
 
 version := "0.0.1"
 
-lazy val scala212 = "2.12.18"
-lazy val scala213 = "2.13.12"
+lazy val scala212 = "2.12.19"
+lazy val scala213 = "2.13.13"
 
 scalaVersion := scala213
 
@@ -14,7 +14,7 @@ resolvers += Resolver.sonatypeRepo("snapshots")
 lazy val catsVersion = "2.10.0"
 lazy val catsMtlVersion = "1.3.1"
 lazy val scalaTestPlusVersion = "3.1.0.0-RC2"
-lazy val scalacheckVersion = "1.17.0"
+lazy val scalacheckVersion = "1.17.1"
 libraryDependencies ++= Seq(
   // cats
   "org.typelevel" %% "cats-core" % catsVersion,
@@ -28,10 +28,10 @@ libraryDependencies ++= Seq(
   "io.monix" %% "monix" % "3.4.1",
 
   // Scalaz
-  "org.scalaz"    %% "scalaz-core" % "7.3.7",
+  "org.scalaz"    %% "scalaz-core" % "7.3.8",
 
   // ZIO
-  "dev.zio" %% "zio" % "2.0.18",
+  "dev.zio" %% "zio" % "2.0.22",
   "dev.zio" %% "zio-prelude"  % "1.0.0-RC21",
 
   // algebra
@@ -43,10 +43,10 @@ libraryDependencies ++= Seq(
   "com.chuusai" %% "shapeless" % "2.3.10",
 
   // tofu
-  "tf.tofu" %% "tofu" % "0.12.0.1",
+  "tf.tofu" %% "tofu" % "0.12.1",
 
   // izumi
-  "io.7mind.izumi" %% "fundamentals-bio" % "1.1.0",
+  "io.7mind.izumi" %% "fundamentals-bio" % "1.2.8",
 
   // HoTT in Scala
   "io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.1",
@@ -56,14 +56,14 @@ libraryDependencies ++= Seq(
   "org.scalatestplus" %% "scalatestplus-scalacheck" % scalaTestPlusVersion % Test,
   "com.github.alexarchambault" %% "scalacheck-shapeless_1.15" % "1.3.0" % Test,
 
-  "org.scalatest" %% "scalatest" % "3.2.17" % Test,
+  "org.scalatest" %% "scalatest" % "3.2.18" % Test,
 
-  "org.typelevel" %% "discipline-core" % "1.5.1" % Test,
+  "org.typelevel" %% "discipline-core" % "1.7.0" % Test,
   "org.typelevel" %% "discipline-scalatest" % "2.2.0" % Test
 )
 
 scalacOptions ++= Seq(
   "-encoding", "UTF-8"
 )
 
-addCompilerPlugin("org.typelevel" %% "kind-projector" % "0.13.2" cross CrossVersion.full)
+addCompilerPlugin("org.typelevel" %% "kind-projector" % "0.13.3" cross CrossVersion.full)

project/build.properties

@@ -1 +1 @@
-sbt.version=1.9.7
+sbt.version=1.9.9

project/plugins.sbt

@@ -6,4 +6,4 @@ addSbtPlugin("com.timushev.sbt"          % "sbt-updates"   % "0.6.4")
 // sbt scalafmtAll
 addSbtPlugin("org.scalameta"             % "sbt-scalafmt"  % "2.5.2")
 // sbt clean coverage test coverageReport
-addSbtPlugin("org.scoverage"             % "sbt-scoverage" % "2.0.9")
+addSbtPlugin("org.scoverage"             % "sbt-scoverage" % "2.0.11")