Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
GHC 可以为 monad 转换器派生 Functor 和 Applicative 实例吗?
我正在尝试实施MaybeT本着mtl图书馆 使用这个非编译解决方案 LANGUAGE FlexibleInstances MultiParamTypeClasses UndecidableInstances import Control M
Haskell
monads
ghc
monadtransformers
具有 StateT[IO, _, _] 的 FS2 Stream,定期转储状态
我有一个消耗无限数据流的程序 在此过程中 我想记录一些指标 这些指标形成一个幺半群 因为它们只是简单的求和和平均值 我想定期在某处写下这些指标 清除它们 然后返回累积它们 我基本上有 object Foo type MetricsIO A
scala
monadtransformers
scalacats
fs2
catseffect
使自定义 monad 转换器成为 MonadError 的实例
我想让我的 monad 转换器成为一个实例MonadError如果转换后的单子是一个实例 基本上我希望我的变压器的行为与内置变压器一样 例如有一个MonadError实例为StateT MonadError e m gt MonadErro
Haskell
monadtransformers
展平单子栈
所以我的第一个严肃的 haskell 项目中到处都有这样的代码 f MonadTrans t gt ExceptT t StateT A B C f do mapExceptT lift do lift do lift do r lt re
Haskell
monads
monadtransformers
lifting
ReaderT静态环境
宣言ReaderTmonad 转换器 为给定的 monad 添加静态环境 向给定的 monad 添加静态环境意味着什么 有人认为这是另一个问题的重复 我相信这个问题是独特的 因为我问的是静态环境意味着什么 而且我的问题与 ReaderT 有
Haskell
monadtransformers
在 EitherT 和 Validation 之间切换以累积误差或遍历
假设我有以下功能 def getRemoteThingy id Id EitherT Future NonEmptyList Error Thingy Given a List Id 我可以轻松地检索List Thingy 通过使用Trav
scala
scalaz
monadtransformers
scalaz7
如何将 Reader monad 添加到 Scotty 的 monad 中?
我正在尝试使用 Scotty 构建一个非常简单的 API 我想扩展 Scotty monad 以便我的路由处理程序操作能够访问不变的环境 我相信做到这一点的方法是添加一个Readermonad 到堆栈 现在我只想传递一些Text周围的数据
Haskell
monadtransformers
scotty
具有不同类型中断的状态循环
我正在尝试将以下有状态命令式代码转换为 Haskell while true while get if put1 failImmediately if put2 succeedImmediately 这俩put1 and put2读取系统的
Haskell
monads
monadtransformers
statemonad
混合 Threepenny-Gui 和 StateT
我有一个关于 Threepenny Gui 与 StateT 交互的问题 考虑这个玩具程序 每次单击按钮时 都会在列表中添加一个 Hi 项目 import Control Monad import Control Monad State i
Haskell
monadtransformers
statemonad
threepennygui
为 newtype 创建 MonadBaseControl 实例
假设我有简单的新类型声明 newtype Foo a Foo unFoo ReaderT Int IO a 我想创建 MonadBaseControl IO 的 Foo 实例 这应该很容易 因为 ReaderT Int IO 已经是 Mon
Haskell
monadtransformers
是否有一个 monad 没有相应的 monad 转换器(IO 除外)?
到目前为止 我遇到的每个 monad 可以表示为一种数据类型 都有一个相应的 monad 转换器 或者可以有一个 是否存在这样一个不可拥有的单子 或者所有的 monad 都有相应的转换器吗 By a 变压器t对应单子m我的意思是t Iden
Haskell
monads
monadtransformers
categorytheory
如何组合两个不同的 monad
我正在测试 REST 服务器 我在 IO monad 中击中它并在中模拟它State Db where Db跟踪服务器的假定状态 以下函数应该运行两个版本并比较结果 check Eq a MonadState d s gt s a gt I
Haskell
monadtransformers
Haskell 应用变压器的示例
www haskell org 上的 wiki 告诉我们以下有关 Applicative Transformer 的信息 那么应用变压器在哪里呢 答案是 我们不需要适用函子的特殊变压器 因为它们可以以通用方式组合 http www hask
Haskell
monadtransformers
applicative
通过 Scala 中的解析器线程化额外状态
我先给你讲讲 tl dr 我正在尝试使用状态单子变压器Scalaz 7 https github com scalaz scalaz通过解析器线程化额外的状态 如果不编写一个 我就很难做任何有用的事情lot of t m a gt t m
scala
Haskell
monads
scalaz
monadtransformers
MaybeT m 的应用实例假设 Monad m
我一直在使用Haxl单子 此处描述 http www reddit com r haskell comments 1le4y5 the haxl project at facebook slides from my talk http ww
Haskell
monads
monadtransformers
applicative
haxl
Haskell:lift 与 liftIO
在什么情况下应该liftIO使用 当我使用时ErrorT String IO the lift函数的作用是将 IO 操作提升为ErrorT so liftIO似乎是多余的 lift总是从 上一层 升起 如果需要从第二层提升 则需要lift
Haskell
monadtransformers
什么是 RWS Monad 以及何时使用它
我在 mtl 库中查找某些内容时遇到了 RWS Monad 及其 MonadTransformer 那里没有真正的文档 我想知道这是什么以及它在哪里使用 我发现 RWS 是 Reader Writer State 的缩写 它是这三个 mon
Haskell
monadtransformers
将面向铁路的故障跟踪转换为 Rx 友好错误
我正在使用一个库 它将结果作为双轨值 成功和失败 Observable map函数体我经常从函数的成功跟踪中得到可观察的结果 但我不知道如何处理它们 在Observable map body 换句话说 我经常陷入结果如下所示的情况 当然这是
F
functionalprogramming
systemreactive
monads
monadtransformers
如何在 Scala 中编写 Either/Disjunction 的 Future
假设我要编写以下函数 val mayFail1 Int gt Error Int val slowAndMayFail Int gt Error String val mayFail2 String gt Error Int val may
scala
Future
scalaz
monadtransformers
either
计算期间在环境中隐式携带 STRef
我正在从事一些更大的计算 需要在某些关键时刻使用可变数据 我想尽可能避免IO 我的模型曾经由以下组成ExceptT over ReaderT over State数据类型 现在我想替换State与提到的ST 为了简单起见 我们假设我想保持单
Haskell
DesignPatterns
monads
monadtransformers
1
2
»