[英]Scala-cats: reader-composition
import cats.data.ReaderT
import cats.instances.either._
trait Service1
trait Service2
case class Cats(name:String)
type FailFast[A] = Either[List[String], A]
type Env = (Service1, Service2, Cats)
type ReaderEnvFF[A] = ReaderT[FailFast, Env, A]
def toReaderEnvFF[A](input:A):ReaderEnvFF[A] =
ReaderT((_:Env) => Right(input))
def c:ReaderEnvFF[Cats] =
for {
cats <- toReaderEnvFF((_:Env)._3)
} yield cats // This line is 26
错误:
错误:(26,11)类型不匹配; 发现:T1.this.Env => com.savdev.Cats(扩展为)((com.savdev.Service1,com.savdev.Service2,com.savdev.Cats))=> com.savdev.Cats required:com .savdev.Cats}产猫
你能解释一下,为什么猫不是com.savdev.Cats
? 为什么在错误中,它表示它被扩展为具有返回方法[Cats]
的函数,bot而不是FailFast[Cats]
我尝试应用与此处完全相同的逻辑:
trait Service1 { def s1f = Option(10) }
trait Service2 {
type ReaderS1[A] = ReaderT[Option,Service1,A]
import cats.syntax.applicative._
import cats.instances.option._
def s2f:ReaderS1[Int] =
for {
r2 <- ReaderT((_: Service1).s1f)
r1 <- 1.pure[ReaderS1]
} yield r1 + r2
}
在这个例子中,我可以将函数Service1.s1f转换为其结果r2,它工作正常。 为什么我不能,例如写下:
for {
cats <- ReaderT((_:Env)._3)
...
toReaderEnvFF((_: Env)._3)
cats <- toReaderEnvFF((_: Env)._3)
toReaderEnvFF[A]((_: Env)._3)
对于某些类型A
实际上是toReaderEnvFF[A]((_: Env)._3)
。 现在A
是什么? 由于(_: Env)._3
(也称为toReaderEnvFF
input
)的类型为Env => Cats
因此类型A
为Env => Cats
。 因此, toReaderEnvFF((_: Env)._3)
的类型为ReaderEnvFF[Env => Cats]
, cats
中的cats <- toReaderEnvFF((_: Env)._3)
的类型为Env => Cats
。
在x <- SomeMonad[T]
变量x
的类型为T
(现在SomeMonad
是ReaderEnvFF
, T
是Env => Cats
)。
ReaderT((_: Service1).s1f)
在第二个例子是类型的ReaderT[Option, Service1, Int]
所以r2
在r2 <- ReaderT((_: Service1).s1f)
是类型的Int
。 但是在你的第一个例子中, toReaderEnvFF((_: Env)._3)
的类型为ReaderEnvFF[Env => Cats]
也就是ReaderT[FailFast, Env, Env => Cats]
所以cats
中的cats <- toReaderEnvFF((_: Env)._3)
的类型为Env => Cats
。 这就是区别。
如果你想使用ReaderEnvFF[Cats]
你应该改变cats <- toReaderEnvFF(???)
。 例如
def c:ReaderEnvFF[Cats] =
for {
cats <- toReaderEnvFF(Cats("aaa"))
} yield cats
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.