-
斯卡拉(Scala),猫-如何使用IO(或其他monad)和两者之一创建无标签最终实现?
我创建了一个简单的<code>trait</code>及其实现: <pre><code>trait UserRepositoryAlg[F[_]] { def find(nick: String): F -
优雅的方式来更改无标签最终错误
我经常做类似的事情: <pre><code>import cats.effect.Sync import cats.implicits._ case class User(name: String) case object -
一个函数中有两个多态类
我在State monads中有以下代码: <pre class="lang-hs prettyprint-override"><code>import Control.Monad.State data ModelData = -
一个函数中两个多态类的解释器
我有这个多态代码(请参阅<a href="https://stackoverflow.com/questions/60800042/two-polymorphic-classes-in-one-function">this q -
第一种最终的无标签方法
我正在尝试在Scala中使用第一次无标签的最终模式,并且有点挣扎。 我有以下代数定义: <pre> -
编写无标签代数的定律或单元测试
我写了两个无标签代数,我想为其中之一写定律。 代数如下: <pre><code>@newtype case class Variable(v: -
如何为我的无标签代数编写单元测试?
我有一个代数解释器,我想为此编写一个单元测试。 解释器如下: <pre><code>final case class LiveDbCon -
无标记代数需要定律吗?
我读了约翰·阿德·戈斯(JOHN A DE GOES)关于无标签决赛的精彩<a href="https://degoes.net/articles/tagless-horror" rel -
如何在抽象效果类型上配置Cats Timer
假设我在一个使用<code>Cats-effect</code>和无标签最终方法的项目中具有以下方法签名: <pre><code>def schedu -
Scala Cats:如何测试日志记录与如何登录生产代码
你能给我一个 Scala 的无标签最终版本,一个在单元测试中很容易测试但在生产中使用 slf4j 或类似框架运 -
具有 Tagless Final 样式的 Kleisli 依赖项
我正在尝试使用 Kleisli 为依赖项建模。例如,假设我有以下业务逻辑类型: <pre><code>import $ivy.`org.typel -
Option[F[ShoppingCart]] 到 F[Option[ShoppingCart]]
我在 Scala 中有以下代数(我使用的是无标签最终模式): <pre class="lang-scala prettyprint-override"><code>trait -
Akka Play guice bindings tagless final (TF) 支持
我有这个绑定来在我的应用程序中配置 Logger[IO](带有这一行的模块在 guice.conf 文件中): <pre class="l