sup has a redis4cats module:

libraryDependencies += "com.kubukoz" %% "sup-redis" % "0.8.0"

Imports:

import sup.modules.redis._

What’s included

pingCheck

You can build a connection check out of a Ping algebra (included in RedisCommands). Let’s create one first:

import dev.profunktor.redis4cats.algebra.Ping, cats.effect._

implicit def ping: Ping[IO] = ???

And now the health check:

def redisCheck = pingCheck[IO, Throwable]

Errors are automatically recovered to a Sick status in this check.