腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
为
一个
类似
ReaderT
的
monad
转换器
编写
一个
“
缩放
”
函数
haskell
、
monads
我有这个
ReaderT
-like
monad
转换器
(灵感来自this answer): {-# LANGUAGE GeneralizedNewtypeDeriving #-}newtype DepT env m r = DepT {toReaderT ::
ReaderT
inner :: Env m, extra :: Int ->
浏览 12
提问于2021-01-14
得票数 0
回答已采纳
1
回答
类型同义词在
monad
转换器
中
的
使用
haskell
、
types
、
monad-transformers
可以使用类型同义词作为
monad
transformers
的
类型构造
函数
的
参数吗?特别是,如果应用
的
monad
转换器
有
一个
一元类型
的
同义词,那么它是否可以在另
一个
monad
转换器
中用作底层
monad
的
类型?根据我所看到
的
,类型同义词不被接受
为
第一类类型构造
函数
,请参见下面的示例和错误消息: -
浏览 1
提问于2010-07-30
得票数 7
回答已采纳
1
回答
如何在
ReaderT
上对简单
的
新型包装器使用单控件
haskell
、
monad-transformers
我定义了
一个
简单
的
monad
转换器
,EntityBuilderT,它只是
ReaderT
上
的
一个
新类型。为了在
一个
新
的
“环境”中包装
一个
函数
,我
编写
了以下
浏览 2
提问于2012-02-05
得票数 1
2
回答
围绕流媒体和阅读器构建
monad
haskell
、
types
、
monad-transformers
我正在尝试构建以下类型
的
Monad
实例:其中Stream和Of来自streaming我已经成功地
编写
了Functor Applicative实例: fmap :: (α -> β) ->CmdY ρ η α -> CmdY ρ η β fmap f (CmdY a) = Cm
浏览 11
提问于2018-07-19
得票数 1
回答已采纳
2
回答
将
monad
组合抽象
为
转换器
haskell
、
monads
、
composition
、
monad-transformers
抱歉,如果这个问题看起来有点琐碎...这不是给我
的
。我很高兴地写了下面的单曲:这是
一个
表现良好
的
单元体。
ReaderT
是
monad
转换器
,state是State
monad
,AlgRO和AlgState是在i中参数化
的
数据类型,分别表示可变状态和只读状态。现在,如果我想用newtype制作
一个
整洁
浏览 0
提问于2011-09-14
得票数 5
回答已采纳
1
回答
从异构集合中删除单元
haskell
最近我一直在做
一个
项目,它使用了几个不同
的
monad
转换器
。我厌倦了
编写
函数
来运行我
的
各种
monad
堆栈,所以我决定
编写
一个
通用
函数
来执行它们。m, ma ~ (m a), ma' ~ (m a), u ~ ()) => MonadRun ma u ma' where然后,我
为
每个
monad
<e
浏览 0
提问于2014-01-04
得票数 2
4
回答
为什么下面的
ReaderT
String IO会丢失
一个
IO操作?
haskell
module Main (main) where p1 = putStrLn .
浏览 0
提问于2012-12-14
得票数 1
回答已采纳
1
回答
混淆
ReaderT
定义
haskell
、
monads
、
monad-transformers
、
reader-monad
作为
一个
练习,我重新实现了一些常见
的
monads及其相应
的
转换器
;下面是我定义
的
一些类型:newtype Reader r a = Reader { runReader :: r -> a } newtype
Reade
浏览 14
提问于2022-06-17
得票数 4
回答已采纳
1
回答
有把
ReaderT
养大
的
单曲吗?
haskell
、
monads
、
monad-transformers
、
reader-monad
我
编写
了以下单台变压器(我认为它们是等价
的
),即:newtype MonadReaderT2r m a = MonadReaderT (
ReaderT
(m r) m a) 这样做
的
目的是我基本上想要
一个
ReaderT
,但是我
的
环境必须在
Monad
中访问,它实际上不是
一个
固定
的</e
浏览 5
提问于2022-08-24
得票数 0
回答已采纳
1
回答
addToLeftPlayerPos
的
正确实现是什么?
haskell
、
monads
、
frp
、
reader
、
writer
我试图在
函数
式反应性编程上遵循,但我还是停留在4.2节
的
第二个例子中。在启动和运行读取器
转换器
时,我得到了第
一个
示例:import Control.
Monad
.Trans.MSF.Reader我不知道如何正确地引入
编写
器
转换器
,因为我甚至无法编译它:import Control.
Monad</
浏览 1
提问于2019-02-22
得票数 1
回答已采纳
3
回答
如何在haskell中使用Control.
Monad
.Writer?
haskell
、
monads
我是
函数
式编程
的
新手,最近在学习,但当我使用时,我被下面的程序卡住了: a <- logNumber 3 return (a*b) 我将这些代码行保存在.hs文件中,但未能将其导入到我
的
ghciNot in scope: data constructor `Writer
浏览 2
提问于2012-07-27
得票数 100
回答已采纳
2
回答
Scotty:连接池作为单一读取器
haskell
、
scotty
、
haskell-wai
有数万亿
的
单本教程,包括读者,当你读到它
的
时候,一切似乎都很清楚。但是当你真的需要写作
的
时候,它就变成了另一回事。 我从来没有使用过阅读器,只是在实践中没有达到它。所以我不知道怎么做,虽然我读到了。我需要在Scotty中实现
一个
简单
的
数据库连接池,这样每个操作都可以使用这个池。该池必须是“全局
的
”,并可由所有行动
函数
访问。我读到,这样做
的
方式是“读书人”。如果还有别的办法请告诉我。我希望在每个Scotty操作中使用'run‘
函数</e
浏览 2
提问于2014-03-28
得票数 20
回答已采纳
1
回答
编写
Monad
转换器
,它真的需要这么多硬编码实例吗?
haskell
、
monads
、
monad-transformers
我是
一个
长期
的
单变压器用户,第一次单变压器作者.我觉得我做了些不必要
的
事。我们正在进行
一个
具有多个DB表
的
项目,并且将集合硬编码成不同
的
单一堆栈变得很困难,因此我们决定将其分解
为
不同
的
可插拔
的
单板
转换器
,允许我们在
函数
类型级别上进行选择和选择,如下所示 doSomething很明显,这是行不通
的
,因为如果不使用硬编码
的
“lift”链,
ReaderT</em
浏览 3
提问于2016-02-20
得票数 14
回答已采纳
2
回答
如何扁平化IO (IO ())?
unit-testing
、
haskell
、
monads
、
monad-transformers
我只是在学习Haskell和
monad
变压器,我发现自己有
一个
IO (IO ()),我想把它压成IO ()。我肯定我做错了什么,但不能准确地指出我迷路
的
地方。下面是
一个
简单
的
例子,说明我正在尝试做什么。这是一种复杂
的
实现echo
的
方法,但它说明了这个问题。userInput ::
Monad
m =>
ReaderT
(IO String) m (IO String) echo ::
M
浏览 0
提问于2018-12-27
得票数 3
回答已采纳
1
回答
阅读器与MonadReader
haskell
、
monads
、
reader-monad
为什么在Control.
Monad
.Reader中有
一个
“读取器”和
一个
“Control.
Monad
.Reader”?包文档讨论Reader,然后直接进入MonadReader文档,没有任何解释。有趣
的
是,Haskell wikibook
的
Reader页面还没有写好!
浏览 4
提问于2016-09-07
得票数 5
回答已采纳
1
回答
在
ReaderT
Monad
Transformer中*
的
用途是什么?
haskell
、
monad-transformers
我正在为和
monad
转换器
寻找。相关
的
定义如下:type Reader r =
ReaderT
* r Identity特别是,我正在尝试从
ReaderT
派生
一个
新
的
monad
,使用IO作为基础
monad
,并对r值进行类约束。我不确定为什么会有第四个输入到
Rea
浏览 7
提问于2017-08-15
得票数 6
回答已采纳
1
回答
修改变压器堆栈中
的
内部读取器
haskell
、
monad-transformers
、
reader-monad
我正在从多个不同
的
地方收集代码,并试图处理以下问题:我有
一个
具有以下简化类型
的
变压器堆栈:我试图在不同堆栈
的
上下文中使用该操作,它具有不同
的
读取器环境:我当然可以提供示例things = do--
浏览 7
提问于2017-09-06
得票数 6
回答已采纳
1
回答
如何在
ReaderT
中使用list
monad
?
haskell
、
monad-transformers
如何使用Reader/
ReaderT
对列表类型使用ask,例如,[(Int, Int)],然后在list
monad
(
为
ask编辑
的
类型)中执行计算?我
的
坏代码如下所示,为了清晰起见,缩短了代码:attempt start end =do (s0, e0) <- ask为了让您了解我要做
的
事
浏览 4
提问于2014-06-12
得票数 4
回答已采纳
1
回答
单模变压器内部单模
的
结果
haskell
、
monad-transformers
这是我第一次接触
Monad
Transformers,所以答案可能是显而易见
的
。假设我在
一个
StateT MyMonad MyType类型
的
do块中,我想让另
一个
相同类型
的
函数
修改状态并返回
一个
MyMonad MyType类型
的
值。我怎样才能做到这一点呢?
浏览 2
提问于2012-01-20
得票数 5
回答已采纳
1
回答
Haskeline:
为
` `
ReaderT
r (StateT S m)`堆栈实现`MonadException`实例
haskell
假设我有以下
monad
转换器
堆栈(
为
简单起见,将r和s保留
为
() ),如果我想使用它作为haskeline
的
InputT
的
基单体,我需要
一个
System.Console.Haskeline.MonadException实例。考虑到这些实例
的
,我更愿意让编译器用GeneralizedNewtypeDeriving
为</em
浏览 2
提问于2013-08-20
得票数 1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Haskell Monad(上)
让Monad来得更猛烈些吧
超级实用!如何为机器学习算法准备数据?
Zipper_Haskell笔记13
如何在JavaScript中处理null和undefined?
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券