Question

这是一个代码示例：

import cats.data.Reader

trait Configuration {  

  type FailFast[A] = Either[List[String], A]

  def getValue(name: String)(map: Map[String, String]): FailFast[String] =
    map.get(name)
      .toRight(List(s"$name field not specified"))

  type PropReader[A] = Reader[Map[String, String], A]
  def propReader(name:String): PropReader[FailFast[String]] =
    Reader(map => validation.getValue(name)(map))

  type OptionalValue[A] = PropReader[FailFast[Option[A]]]
  //how to use propReader(Configuration.NEW_EVENT)
  //inside of 'event' to return 'OptionalValue':?
  def event:OptionalValue[String] = ???
}      

object Configuration extends Configuration {
  final val NEW_EVENT = "event.unique"
}

无法了解如何实施由以下内容组成的事件：propReader(Configuration.NEW_EVENT)

如果有多个选项，那么考虑所有这些选项将非常好。

更新，感谢@Travis Brown，我将以这种方式实现它。这是更新的实现：

  import cats.instances.list._ //for monoid
  import cats.instances.either._

  type FailFast[A] = Either[List[String], A]
  type PropReaderT[A] = ReaderT[FailFast, Map[String, String], A]
  type OptionalReaderT[A] = ReaderT[FailFast, Map[String, String], Option[A]]

  def getValue(name: String)(map: Map[String, String]): FailFast[String] =
    map.get(name).toRight(List(s"$name field not specified"))

  def propReader(name: String): PropReaderT[String] =
    ReaderT(getValue(name))

  def value2Option(value:String):Option[String] =
    if (value == null || value.isEmpty) Option.empty
    else Some(value)

  def event: OptionalReaderT[String] =
    propReader(Configuration.KEY1)
      .map(result => value2Option(result))

此实现与Travis Brown的实现之间的区别：我需要看到在映射中没有键（这是一个错误，我需要对其进行清晰的错误描述）与存在键的情况之间的区别，但其值为null或空字符串。因此，它与以Maps.get返回Option的方式不同。所以我无法摆脱FailFast

希望有人会有用。

Answer 1

最简单的方法是将结果映射到结果中，将失败升级为成功的None：

import cats.data.Reader

trait Configuration {
  type FailFast[A] = Either[List[String], A]
  type PropReader[A] = Reader[Map[String, String], A]
  type OptionalValue[A] = PropReader[FailFast[Option[A]]]

  def getValue(name: String)(map: Map[String, String]): FailFast[String] =
    map.get(name).toRight(List(s"$name field not specified"))

  def propReader(name:String): PropReader[FailFast[String]] =
    Reader(getValue(name))

  def event: OptionalValue[String] = propReader(Configuration.NEW_EVENT).map(
    result => Right(result.right.toOption)
  )
}      

object Configuration extends Configuration {
  final val NEW_EVENT = "event.unique"
}

不过，我认为值得重新考虑一下该模型。任何时候只要您拥有一个看起来像A => F[B]的函数（就像在地图中进行查找），就可以将其表示为ReaderT[F, A, B]，这为您提供了更好的组合方式-而不是通过两层进行映射，例如，您只有一个。

ReaderT方法也使通过F更改mapK变得更好一些。例如，假设像您的示例中那样，您通常希望与在FailFast上下文中返回其值的读取器一起工作，但有时需要切换到Option上下文。看起来像这样：

import cats.~>
import cats.arrow.FunctionK
import cats.data.ReaderT

trait Configuration {
  type FailFast[A] = Either[List[String], A]
  type PropReader[A] = ReaderT[FailFast, Map[String, String], A]
  type OptionalReader[A] = ReaderT[Option, Map[String, String], A]

  private def eitherToOption[A](either: FailFast[A]): Option[A] =
    either.right.toOption

  def getValue(name: String)(map: Map[String, String]): FailFast[String] =
    map.get(name).toRight(List(s"$name field not specified"))

  def propReader(name: String): PropReader[String] =
    ReaderT(getValue(name))

  def event: OptionalReader[String] =
    propReader(Configuration.NEW_EVENT).mapK(FunctionK.lift(eitherToOption))
}      

object Configuration extends Configuration {
  final val NEW_EVENT = "event.unique"
}

此处的OptionalReader与您的OptionalValue并不完全相同，因为它不包含FailFast层，但是由于缺少值，因此该层在您的代码中是多余的在Option层中表示，因此OptionReader方法可能更合适。

Scala中嵌套的Monads组成

1 个答案: