如何将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），那么您已经implicit sync: Sync[F]足够了。