使用optiont [未来，_]使用明确执行上下文
我正在尝试写一个自定义。 我正处于要实现此方法的地步： def loadAsync(persistenceId: String, criteria: SnapshotSelectionCriteria): Future[Opti…
haskell中的单子变压器是独特的吗？
有几个问题（例如io“> this 和 this ）询问Haskell（IO除外）中的每个单子是否都有相应的单子变压器。现在我想问一个补充问题。每个单子都完全有一个…
没有使用＆＃x2018; neld＆＃x2019;（monadwriter [log] io）的实例。
考虑此玩具练习 writer 和 writert ：我们需要根据预定义的一组规则过滤数据包列表。我们还需要根据另一套规则来记录一些数据包。现在考虑两个增强功…
免费的Monad Transformer-如何实施绑定？
我正在尝试实现与Haskell的“ Free”软件包中的 freet 类似的免费单本变压器，但我不知道如何编写 bind ，以便终止检查器不使用' t抱怨。在我看来，递…
如何定义一个单子变压器，即两个任意单子变压器的组成？
我想写一些类似于以下内容的内容： newtype FooT c d m a = FooT { unFooT :: (c (d m)) a } instance (MonadTrans c, MonadTrans d) => MonadTrans (…
如何对 cats free monad 和 ZIO 的组合进行映射和平面映射
伙计们。 我目前正在尝试构建一个基于Zio的应用程序。 问题： 有什么方法可以像下面的示例一样绘制和绘制猫免费的猫和Zio的组成？ // Suppose we have…
如何在列表和 ListT monad 转换器之间干净地转换？
我目前正在编写一个项目，其中大量使用 ListT monad 转换器。使用普通列表时，实现非确定性非常容易。然而，一旦我必须将代码转换为 ListT，它就会变…
如何使用 monad-control 通过 ReaderT 进行简单的新型包装
我定义了一个简单的 monad 转换器，EntityBuilderT，它只是 ReaderT 上的一个新类型。 data EntityBuilderState = ... newtype EntityBuilderT m a = …
IdentityT 变压器的用途是什么？
在查看 Transformers 包时，我发现这个 monad 转换器名为 身份T。 虽然我了解 Identity monad 的使用方式（例如 StateT Identity 只是 StateT Identit…
当两个 monad 都没有变压器时，组合两个 monad 吗？
我正在尝试编写一个网络应用程序。在本例中，我使用 scotty 和 redis，但是这个问题出现在任何 web/db 组合中。我之前使用过 happstack，所以我也喜欢…
如何将 Maybe 值注入 MaybeT
假设我有一些 foo :: Maybe Int 并且我想将它绑定到例如 bar :: Int ->; MaybeT (Writer String) Int，这样做的惯用方法是什么？ 我可以定义自己的 li…
存在类型和单子转换器
上下文：我试图生成一个错误单子，它还跟踪警告列表，如下所示： data Dangerous a = forall e w. (Error e, Show e, Show w) => Dangerous (ErrorT e…
