代码之家 › 专栏 › 技术社区 › luqui

'monad((,)w)'实例是否标准?

monads haskell

luqui · 技术社区 · 14 年前

我用的是 Writer 一直以来,但我总是要例举自己:

instance (Monoid w) => Monad ((,) w) where
    return x = (mempty, x)
    ~(w,x) >>= f = let (w', y) = f x in (w `mappend` w', y)

这在标准库中的任何地方都存在吗?

1 回复 | 直到 14 年前

Yitz 14 年前

正如Camccann在评论中提到的, Control.Monad.Instances 仅定义 Functor 实例。

Control.Monad.Applicative 定义 Applicative 实例。

这个 transformers 软件包,也就是 mtl 包,定义包装函数 writer :: (a, w) -> Writer w a .

但我没有找到 Monad 任何地方的实例。

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前