Cats是一个为Scala中的函数式编程提供抽象的库。
我有一个hashMaps列表,如下所示: val listHashMaps = List(Map(1 -> List("one", "A"), Map(2 -> List("two", "B"), Map(3 -> List("three", "C"), Map(4 -> List("four", "D")我想 ...
结合两个EitherT,如果成功则返回第一个,否则返回第二个。
考虑下面的片段: def foo(x:String).EitherT[F, Throwable, String] = ? EitherT[F, Throwable, String] = ?? def bar(x:String): EitherT[F, Throwable, String] = ?? 我想要的是下面的功能。在输入s的时候,首先调用foo(... ... )
我在学习Cats库的时候,发现*是一个通用类型,就像这样:隐式def catsDataSemigroupKForValidated[A](隐式A: Semigroup[A])。SemigroupK[Validated[A, *]] = new SemigroupK[...
无法为User类型构造一个Read实例。Scala中Doobie的类型误解。
我试图使用doobie、http4s和cats从数据库中返回一条用户记录。我被类型系统阻碍了,它根据下面的代码提供了以下错误。router: ...
丢失了Log Cats.Effect.IO的Implicit。
我试图使用redis4cats库来运行这个简单的例子: import cats.effect._ import cats.implicits._ import dev.profunktor.redis4cats.Redis import dev.profunktor.redis4cats...。
我试图理解自由单体的概念,我对cats文档中的第一句话感到困惑,即自由单体是一种结构,它允许你从任何 ...建立一个单体。
我试图用http4s创建基于Http4sServlet的webapp。以下代码无法编译: import cats.effect._ import org.http4s.servlet.BlockingServletIo import org.http4s...。
我有多个值F[A],这些值可能会以一些错误的方式完成它们的评估。如果发生错误,需要做一些操作。如何为所有的值执行处理程序,而不仅仅是 ...
fs2 Stream scala 没有类型的隐式。Stream.Compiler[Eval,G_]。
我试图创建一个Stream[Eval, String],如下所示: import cats.Eval import cats.effect.{ExitCode, IO, IOApp} import fs2._ object StringEval extends IOApp { def evalString: Eval[String] = ...
我正在尝试在Scala中使用第一次无标签的最终模式,并且有点挣扎。我有以下代数定义:trait DbSetting [F [_]] {def read(url:字符串,用户:字符串,pw:...
我有以下代码段:最终用例类Configuration(env:Env,user:String,password:String,address:String)trait DbSetup [F [_]] {type EnvT [A] = OptionT [F,A ] def系统:EnvT [...
我想改进以下代码段:最终案例类GenderOps [F [_]]()(隐式xa:Transactor [F],ev:...
我刚刚开始学习Scala猫框架。我正在阅读Functor。我了解它的功能,但不了解它的用法。如果...
[大家好,我在circe库之间遇到了在json和scala case类之间进行转换的问题,我们将不胜感激。过去我有这样的ADT。密封特征...
Scala 2.13,我有成千上万个类似的特征,形式特征为SomeTrait [F [_]] {def someOp():F [Unit] // ...}及其实现类SomeTraitImpl [F [_]:Sync]扩展SomeTrait [F] {...
我有一个问题。我将以下功能与Scala猫库一起使用。 def进程(客户端:Resource [IO,HttpClient] = HttpClientFactory.createClient()):IO [Long] = ...
我正在开发的应用程序是使用scala-cats的IOApp以功能性编程风格编写的。现在的问题是,我需要在具有...
[这里有人说星号是scala 3的下划线,但是我在scala 2.13中看到了这样的代码:def make [F [_]:ContextShift:MonadError [* [_],Throwable]:效果:正在记录] ():... ... ...>
[有人说星号是scala 3的下划线,但是我在scala 2.13中看到了这样的代码:def make [F [_]:ContextShift:MonadError [* [_],Throwable]:效果:记录]():...可以吗...