monad-transformers 相关问题

Monad变换器是组合monad的抽象。这允许您组合不同的计算效果，建立精确控制的计算环境。

理解嵌套的Monad约束

假设我有如下类型： data Row = Row { id :: !AddressID }，内部转换函数如下： makeAddress :: MonadIO m => MonadError ...

haskell io monads transformation monad-transformers

回答 1 投票 0

如何在Haskell模块化应用程序中管理内部状态？

我正在按照Ben Kolera在此视频中提出的关于构建模块化Haskell应用程序的建议。建议使用多个monad变压器来使应用程序模块化，并...

haskell monads monad-transformers

回答 1 投票 2

如何为MonadReader和MonadIO上受约束的函数修复IO丢失的实例？

haskell monad-transformers haskell-persistent

回答 1 投票 2

使用不同类型的Monad变压器的策略是什么？

我正在尝试实现一个简单的Web服务器，该服务器与其他API进行交互并在进行一些处理后存储响应。封装失败的可能性（空响应，...

haskell monad-transformers haskell-persistent

回答 1 投票 0

如何在Haskell中将此功能从ExceptT转换为Except？

我对Except感到非常困惑，特别是因为网络上没有很好的教程。我不知道如何将此函数从ExceptT转换为Except：data Error =空派生（显示）...

haskell exception monad-transformers

回答 2 投票 2

Haskell中“问”是什么意思，它与“问”功能有什么区别？

我不知道如何使用Ask函数，我知道如何使用Ask函数，但是我不知道它们是否相关。我正在读史蒂芬和我的《学习Haskell时我希望知道的事》 ...

haskell monads monad-transformers reader-monad

回答 1 投票 -3

“问”在Haskell中是什么意思，它与问函数有什么区别？ [关闭]

我不知道如何使用Ask函数，我知道如何使用Ask函数，但是我不知道它们是否相关。我正在读史蒂芬和我的《学习Haskell时我希望知道的事》 ...

haskell monads monad-transformers reader-monad

回答 1 投票 -3

在monad中“运行”是什么意思？

[遍历Haskell教科书上不同单子的章节，当作者从解释绑定和单子法则的细节转移到实际使用单子时，我一再迷失。突然，...

haskell monads monad-transformers purely-functional

回答 3 投票 6

我如何解冻，变异，然后重新冻结Haskell向量？

[我正在研究有关Haskell Vectors的教程，作为练习，它要求您使用runST和“我在教程中介绍的功能”重新实现Data.Vector.Unboxed.modify。]]]

haskell monad-transformers haskell-vector

回答 1 投票 0

尽管函数上下文中有条目，Ghc也无法推断出使用mtl实例

我有一个API，可帮助从大量记录中提取值。这是功能定义之一。其他示例，使用日志记录类型类功能。 -| -统一...

haskell typeclass monad-transformers

回答 1 投票 1

从异常到ExceptT的映射

我正在阅读有关异常的章节，因此我决定进行实验并将异常映射到ExceptT monad转换器。我的函数getInt可以从控制台读取一个整数，并将异常报告为...

haskell monad-transformers

回答 1 投票 0

从State切换到StateT后，如何恢复对单子构造的列表的惰性计算？

使用以下代码：（lazy_test.hs）-使用State测试单态构造列表的惰性求值。 import Control.Monad.State nMax = 5 foo :: Int->状态[Int] Bool foo n = do ...

haskell lazy-evaluation monad-transformers state-monad io-monad

回答 2 投票 1

是否可以为ScalaCheck的Gen类型编写一个分配实例？

我正在尝试为ScalaCheck的Gen Type编写Monad Transformer实例。也就是：可以用作Monad的以下类型，前提是底层函子F是...

scala functional-programming monad-transformers scala-cats scalacheck

回答 1 投票 0

使用monad转换器和延续为过程早期返回提供最小的解释器

出于学习的目的，我正在为具有最少过程语言的解释程序提供子过程调用和返回。数据P = Px Int | Ps [P] | Pc P | Pr含义是：Px x指令x，Ps xs ...

haskell monad-transformers continuations

回答 1 投票 2

为此Monad变压器编写地图

我有一个monad转换器：newtype ChoiceT fma = ChoiceT（forall x。fx-> mx）-> ma现在，我认为这是Monads类别的仿函数，我想为此绘制一个地图。。

haskell monads functor monad-transformers category-theory

回答 1 投票 0

如何调用取决于Kotlin / Arrow中多个Typeclass的多态函数

我创建了一个需要在Monad中使用多态的函数，取而代之的是，该函数取决于该Monad存在的类型类实例。看起来像这样：fun M.logic（...）：...

monad-transformers arrow-kt

回答 1 投票 0

IO功能中的Haskell更改状态

我正在尝试更新IO功能中的记录。我试图使用状态单子没有成功。我在某处看到一条评论，认为有可能用州政府解决类似的问题。 ...

haskell monad-transformers state-monad

回答 1 投票 1

无法在Monad实例定义中将类型“ a”与错误“ b”匹配

我正在编写一个haskell程序来执行一堆语句以修改数据记录。我想对每个语句的状态进行修改和测试，而无需用户干预。我有...

haskell monads functor monad-transformers applicative

回答 1 投票 2

是否可以为每个monad转换器`t`写出类型为`Monad m => t Identity a-> t m a`的函数？

假设我们有以下类型类。 class MonadTrans t => MonadLower t其中更低的:: Monad m => t身份a-> t m a作为一个简单的例子，我们可以实现...

haskell monads monad-transformers

回答 1 投票 1

如何在scotty和selda中使用monad堆栈？

我一直在努力使运行scotty的Web服务器可以使用selda与我的数据库进行通信。我认为使用monad变压器堆栈将是完成类似任务的方式。我是...

haskell monad-transformers scotty

回答 1 投票 0

monad-transformers 相关问题

最新问题