1
假設我們有EitherT[F, String, A]
。 斯卡拉茲的withFilter
函數使用String
的Monoid的零來填充Left
,如果過濾器失敗。EitherT過濾器錯誤斯卡拉
因此,沒有有意義的錯誤消息。
我怎麼能實現一些形式的左「不積極」的形式。
val a: Either[Future, String, Int] = -1.point[EitherT[Future, String, ?]]
val foo = for {
aa <- a
if aa >= 0
} yield aa
是在EitherT
的filter
和withFilter
方法只是黑客以滿足換理解的需求?