Scala:Cats,OptionT [Future,T]和ApplicativeError
发布时间:2020-12-16 18:09:56 所属栏目:安全 来源:网络整理
导读:前段时间我开始使用Cats,发现OptionT在大多数情况下对Future [Option [T]]非常有用.但我面临一个缺点,使用AplicativeError我需要定义类型别名类型FutureOption [T] = OptionT [Future,X]来匹配AplicativeError所需的F [_]并明确指定我的表达式的类型为Future
前段时间我开始使用Cats,发现OptionT在大多数情况下对Future [Option [T]]非常有用.但我面临一个缺点,使用AplicativeError我需要定义类型别名类型FutureOption [T] = OptionT [Future,X]来匹配AplicativeError所需的F [_]并明确指定我的表达式的类型为FutureOption [T] .
type FutureOption[T] = OptionT[Future,T] // definition to match F[_] kind val x = OptionT.liftF(Future.failed(new Exception("error"))) : FutureOption[String] // need to specify type explicitly x.recover { case NonFatal(e) => "fixed" } 如果我删除表达式的类型定义和显式类型规范,则恢复将不可用,因为OptionT [Future,T]与F [_]不匹配,因此无法将其隐式转换为AplicativeErrorOps. 不幸的是,下面的例子不起作用,因为没有恢复方法. val x = OptionT.liftF(Future.failed(new Exception("error"))) x.recover { case NonFatal(e) => "fixed" } 有没有办法避免这种样板代码?至少我想避免明确地将表达式类型指定为FutureOption [T]. 解决方法
除了其他答案,我建议您确保为您的构建启用了-Ypartial-unification.
这是对partial unification of type constructors的修复.您可以找到有关修复here的更详细说明. 启用部分统一后,您在问题中提供的代码编译得很好.请注意,如果您使用的是IDE(例如Intellij),您可能会收到“漏报”(代码加下划线标记为错误且代码完成无效),但scalac / sbt / gradle会将其编译得很好. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |