让我们使用一个函数，返回以下类型的monad编写器：现在，我在编写以下签名的构图功能方面遇到了一些困难：第一个参数IO a -> IO a打算应用于WriterT的一元值。到目前为止，我已经尝试使用标准模块Control.Monad</
浏览 5提问于2014-09-19得票数 2
回答已采纳
我一直使用Writer的拼写对，但我总是必须实例化自己： return x = (mempty, x)~(w,x) >>= f = let (w', y) = f x in (w `mappend` w', y)
它在标准库中存在吗？
浏览 3提问于2010-11-17得票数 19
回答已采纳
如果不使用正式演绎，如何测试自定义的Monad实例是否符合单子定律？
浏览 35提问于2018-09-28得票数 2
从我的问题的一个具体实例开始，我们都知道(并且喜欢) Monad类型的类： return :: a -> m atype DistinctList a = DL { dL :: [a] }
instance Monad后退一步，假设我有一个只在参数类型
浏览 35提问于2018-12-12得票数 6
回答已采纳
在Haskell中，我想让一个Writer monad成为一个monoid的实例： w1 `mappend` w2 = writer((s++t, s'++t'), Sum (m+n)) where ((t,t'), Sum
浏览 17提问于2016-08-01得票数 1
回答已采纳
1回答
最后得到了这样的结果：那么，我想举几个例子：最后，我使用适当的monad转换器实例化该类型。我的代码是类型不同的，但我会收到对所有派生实例的警告：“>>=没有显式实现”。如果我尝试运行它，当它击中类型类函数时，会得到未定义的错误。
是否<
浏览 1提问于2020-12-11得票数 1
回答已采纳
2回答
应用变压器类
、、
包和许多其他的转换器都保留了Applicative结构，即使底层结构不是Monad。Applicative m => Applicative (IdentityT m)(Monoid w,w, Functor m, Monad m) => Applicative (RWST r w s m)
浏览 3提问于2014-09-12得票数 10
回答已采纳
任何具有返回和绑定操作符的类型构造函数，如果满足三个monad规则，都是monad。在Haskell中，编译器不检查Monad类的每个实例的法律是否成立。这取决于程序员确保他们创建的任何Monad实例都符合monad定律。
什么是一个不正确的monad实现的例子，它看起来是正确的，但破坏了相联性？我们是否需要为每个新的monad编写测试用例，或者
浏览 4提问于2020-03-20得票数 2
回答已采纳
1回答
我目前的尝试是将内部monad m作为关联类型Result的实例。class ( Monad Result , MonadReader prefix m type Result
instance Monad m => FooReader基本上，这迫使所有相关联的
浏览 3提问于2014-12-22得票数 2
回答已采纳
1回答
单片变压器的解剖
、、
我试着学习单台变压器，基于标准的Haskell库(mtl？变形金刚？不知道我下载的Haskell平台-7.4.1附带的是哪一个)。我认为我注意到的是每个单台转换器定义的公共结构：
-，应该有：
带有Monad、MonadTrans和MonadIO<
浏览 2提问于2012-11-28得票数 10
1回答
我的理解如下：因此，解决方案是为M1[M2]创建一个包装器M1[M2]，从而使W[M1, M2]成为一个monad，然后使用它。这个包装器W被称为Monad转换器。
我理解得对吗？
浏览 1提问于2014-03-12得票数 8
1回答
我试着写这首单曲return x = W x []但是，现在，当我将使用这个monad并尝试在代码中编写返回或>>=时，我通过编译警告获得如下结果：
没有显式方法，也没有实例声明中Prelud
浏览 3提问于2011-04-12得票数 2
回答已采纳
在Logger monad示例中，绑定函数的实现如下： m >>= k = let (a,w) = execLogger m (b, x) = execLogger nin Logger (b, w ++ x)
其中，injector函数中的第二个元素包含我们的日志消息，这些消息使用++连续追
浏览 0提问于2011-04-13得票数 3
回答已采纳
2回答
x >>= f是否等同于retract (liftF x >>= liftF . f)
也就是说，从函数器构建的免费Monad的monad实例是否将具有与原始monad相同的Monad实例？
浏览 2提问于2013-02-07得票数 16
回答已采纳
3回答
我是否有可能使Promise成为某些类的实例并获得此功能，而不是实现自己的类未来？ResolvedPromise a) = ResolvedPromise (f a)知道(答应a)是一个函子，就更容易看出为什么是Monad
浏览 0提问于2014-05-27得票数 6
1回答
它如何决定对Applicative方法的去除是否可行？据我所知，它会进行依赖检查(如果后者取决于前者的结果)来决定资格。还有其他标准吗？尽管这一添加使没有Monad实例的类更容易阅读应用程序代码(可能吗?)。但是对于同时具有Monad和应用实例的结构:这是一个推荐的实践(从可读性的角度来看)吗？还有其他好处吗？
浏览 1提问于2016-11-19得票数 5
回答已采纳
例如，我是否可以查询“哪里将RWS定义为MonadState的实例”？我希望得到像module (version)，source file，line这样的答案。
浏览 0提问于2012-11-25得票数 4
回答已采纳
2回答
我试图在haskell中为离散的随机变量编写一个monad。类型类如下所示： sample :: [(a, w)] -> m anewtype Discrete w a = Discrete [(a, w</
浏览 3提问于2014-11-12得票数 1
1回答
我在纠结于monads的函数实例(谁不呢？)Monad可能取决于先前一元计算的值。这对函数monad到底意味着什么？当我们查看应用程序/monad实例的裸实现时bind f g x = f (g x) xmainA = (\x y z -> (x,y,z)) <$> (2/) <*> (+1) <*> (\x -> x * x)
浏览 3提问于2020-02-08得票数 0
回答已采纳
3回答
我正在尝试实现Monad实例。作为一个简单的例子，假设如下： return x = Juustx Juust x >>= f = f x据我所知，这应该是标准的实现。但是，这不能编译，因为编译器会抱怨：
同样，一旦给出了应用
浏览 1提问于2015-04-24得票数 7
回答已采纳
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
腾讯云开发者
