scala - 如何强制 F[_] 成为 Monad 的实例

Question

我有以下类定义:

final case class Creator[F[_]](topic: String, discovery: ServiceDiscovery[F])
                                     (implicit sync: Sync[F]) {
  import JsonDeserializer._

  private def setting: ConsumerSettings[F, String, JsonDecoder] =
     discovery
       .kafkaAddr

我想强制 F[_] 成为 Monad 的实例，我可以像这样使用 flatMap:

 private def setting: ConsumerSettings[F, String, JsonDecoder] =
     discovery
       .kafkaAddr
       .flatMap.......

如何存档？

Answer 1

导入语法

import cats.syntax.flatMap._

因为 cats.effect.Sync 扩展了 cats.Monad(和 cats.FlatMap)并且你有 隐式同步:Sync [F] 这应该足够了。