From 5a2773bc3e43e5f32070b80e175ec02d4efc78dd Mon Sep 17 00:00:00 2001 From: avoitsishevskii Date: Tue, 28 Oct 2025 19:53:32 +0200 Subject: [PATCH 1/2] add unit def to applicative syntax; --- core/src/main/scala/cats/syntax/applicative.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/core/src/main/scala/cats/syntax/applicative.scala b/core/src/main/scala/cats/syntax/applicative.scala index 9954f17922..7da7db0fc4 100644 --- a/core/src/main/scala/cats/syntax/applicative.scala +++ b/core/src/main/scala/cats/syntax/applicative.scala @@ -23,6 +23,7 @@ package cats package syntax trait ApplicativeSyntax { + final def unit[F[_]](implicit F: Applicative[F]): F[Unit] = Applicative[F].unit implicit final def catsSyntaxApplicativeId[A](a: A): ApplicativeIdOps[A] = new ApplicativeIdOps[A](a) implicit final def catsSyntaxApplicativeByName[F[_], A](fa: => F[A]): ApplicativeByNameOps[F, A] = From 309a604b37065e9fd77925317b2e17d395914365 Mon Sep 17 00:00:00 2001 From: avoitsishevskii Date: Tue, 28 Oct 2025 19:55:46 +0200 Subject: [PATCH 2/2] add a simple test that checks the syntax is working; --- tests/shared/src/test/scala/cats/tests/SyntaxSuite.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/shared/src/test/scala/cats/tests/SyntaxSuite.scala b/tests/shared/src/test/scala/cats/tests/SyntaxSuite.scala index 3e18524138..f595e77d91 100644 --- a/tests/shared/src/test/scala/cats/tests/SyntaxSuite.scala +++ b/tests/shared/src/test/scala/cats/tests/SyntaxSuite.scala @@ -525,6 +525,7 @@ object SyntaxSuite { def testApplicative[F[_]: Applicative, A]: Unit = { val a = mock[A] val fa = a.pure[F] + val u: F[Unit] = unit[F] val replicateA = fa.replicateA(1) val replicateA_ = fa.replicateA_(1) }