Cats是一个为Scala中的函数式编程提供抽象的库。
我只是在处理应用程序,遇到了要对可附加集合进行抽象的情况。我想出了以下类型类。 trait AppendableCollection [F [_]] {def empty [...
我有一个资源,它可能运行很长时间的阻塞操作。在实际代码中,它是一个ZeroMQ例程,它等待下一条消息(与此处的示例代码不太相似),但是在此...
我从gitlab ci得到一个查询,我想执行它。如果我对查询进行硬编码,则它是sql“”“”“语法。但我想将其作为变量(整个查询)传递。 SqlInterperator不会...
我写了这段代码import io.circe._ import io.circe.refined._ import cats.data._ import cats.implicits._ import eu.timepit.refined.auto._最终案例类Translation(lang:LanguageCode ,名称:...
如何使用Kleisli.local创建Kleisli(不适用于转换)
有两种定义为:最终案例类Kleisli [F [_],A,B](运行:A => F [B]){self => ... def local [AA](f: AA => A):Kleisli [F,AA,B] = Kleisli(f.Then(run))...} ...
[在猫的测试中,*作为类型参数出现,例如,在这里:checkAll(“ Nested [Eval,List,*]”,DeferTests [Nested [Eval,List,*]]。defer [Int]) (请参阅https://github.com/typelevel/cats/blob / ...
假设我有:特征Get [F [_],A,B] {def get(a:A):F [B]}我希望能够映射到结果类型B,即我想能够做到:val getFoo:Get [IO,String,Foo] = ??? val foo2Bar:Foo ...
[在使用诸如Scala和cats-effect之类的功能环境时,是否应该使用效果类型来建模有状态对象的构造? //不是值/案例类类Service(s:name)def ...
我具有以下类定义:最终用例类Creator [F [_]](主题:字符串,发现:ServiceDiscovery [F])(隐式同步:Sync [F]){import ...
我具有以下函数定义:private val checkSapHealth:IO [ServerHealth] = BlazeClientBuilder [IO](global).resource.use {client => Discovery .senderAddr ....
为什么猫的效果异步签名使用Ether [Throwable,A]而不使用Try [A]?
[很久以前,我们在团队中就使用Try [A]与Either [Throwable,A]进行了长时间的辩论,最终选择了Try [A],因为当Either的左侧为Throwable时,它们在语义上是相同的。 ...
进口cats._进口cats.implicits._性状控制台[F [_]] {DEF readInput():F [INT] DEF打印(MSG:字符串):F [单位]}类Foo {DEF doFoo [F [_ ]:单子](编号:智力)(隐式C:控制台[F]):...
我试图让使用猫效应纯粹功能性的方式一些基本的文件IO(读/写)。下面这个教程后,这里是我结束了用于读取文件:私人高清READFILE():...
BlazeClientBuilder [IO]的嘲笑返回模拟客户端[IO]
我现在用的是BlazeClientBuilder [IO] .resource方法来获取客户端[IO]。现在,我想嘲笑单元测试客户端,但无法弄清楚如何做到这一点。有没有嘲笑他,以及如何的好方法...
我正在学习从斯卡拉的练习猫。不知道如何使用高阶类型,也有一些尝试与它:性状函子[F [_]] {DEF映射[A,B](FA:F [A])(F:A => B):F [ B]}进行...
我与猫初学者。我有一个经验证的猫一个错误。我使用列表累加器这样:例类类型(名称:字符串,图案:字符串,primitiveType:PrimitiveType = PrimitiveType ....
给定资源[F,A],在不使用A(即.use)的情况下将效果(例如度量,记录错误)附加到F的最惯用的方法是什么?我可以用F [A]轻松做到这一点,但我依赖于......
我正在尝试更改使用cat验证的代码,例如:case class Example(text:String,image:String)case class ValidExample(text:String,image:String)import cats.data ....