运算符 `>>>` 和 `>>=` 在 Haskell 中是如何工作的？

Question

我一直在阅读 Haskell d3js 库：

这是定义 Haskell 盒子的代码：

box :: Selector ->  (Double,Double) -> St (Var' Selection)
box parent (w,h) = do
    assign
        $ ((d3Root
            >>> select parent
            >>> func "append" [PText "svg"]
            >>> width w
            >>> height h
            >>> style "background" "#eef") :: Chain () Selection)

d3.js 代码中使用box 函数实际导出的代码使用>>= 运算符，如下所示：

import Control.Monad
import qualified Data.Text as T
import D3JS

test :: Int -> IO ()
test n = T.writeFile "generated.js" $ reify (box "#div1" (300,300) >>= bars n 300 (Data1D [100,20,80,60,120]))

---

为了避免像箭头这样不受欢迎的问题：How to use arrow operators in haskell 我在哪里可以找到类型签名或其他基本信息？ 是否有资源可以让我了解更多信息：

• $Haskell: difference between . (dot) and $ (dollar sign)
• >>> 这可能是 arrow 但我看不到我在哪里导入它。
• >>=

第一个很容易找到，但答案令人困惑：

*Main Lib> :t ($)
($) :: (a -> b) -> a -> b

我发现f $ a b c = f ( (a b) c ) 而f a b c = (((f a) b) c

Prelude 对涉及单子的>>= 给出了类似的响应。就我而言，它可能是 IO monad。或者 d3js 语句 monad St()

*Main Lib> :t (>>=)
(>>=) :: Monad m => m a -> (a -> m b) -> m b

最后一个根本没有出现......这太糟糕了，因为它看起来非常重要

*Main Lib> :t (>>>)

<interactive>:1:1:
    Not in scope: ‘>>>’
    Perhaps you meant one of these:
      ‘>>’ (imported from Prelude), ‘>>=’ (imported from Prelude)

---

最后，冒着一次捆绑太多问题的风险。有人可以解释这种类型签名吗？尤其是最后一项：

box :: Selector ->  (Double,Double) -> St (Var' Selection)

Answer 1

包索引

Hackage 上的包通常有一个定义所有功能/类型/等的索引页面。 d3js 包的索引位于此处：

• https://hackage.haskell.org/package/d3js-0.1.0.0/docs/doc-index.html

你可以通过：

1. 访问包的首页
2. 单击导出的模块树列表中的任何模块名称
3. 右上角有链接Source | Contents | Index | Style。点击索引链接。

什么是St？

St 定义为

type St r = RWS () Text Int r

RWS 只是一个具有 Reader、Writer 和 State 能力的 monad。 Reader 环境是()，它写入Text 值和Int 用于状态。

这是一个方便的定义（可从mtl 包中获得），因此您不必使用ReaderT、WriterT 和StateT 构建自己的monad 转换器堆栈。

请注意，阅读器环境是 ()，这意味着库仅真正使用了 monad 的编写器和状态方面。

box ... >= box ... 是如何工作的？

box 函数的类型为：

box :: Selector -> (Double, Double) -> St (Var' Selection)

这意味着它需要一个 Select 和一对 Double，并在 St monad 中返回一个 Var' Selector。

表达式box "#div1" (300,300) >>= bars n 300 (Data1D [...]) 等同于：

do vs <- box "#div1" (300,300)
   bars n 300 (Data1D [...]) vs

解读：

1. 运行box 函数以创建Var' Selection。这发生在 St monad 中。
2. 使用步骤 1 返回的 Var' Selection 调用 bars。

Var' Selection 和 Selection 有什么区别？老实说，我不确定。

>>> 运算符

>>> 是箭头运算符。箭头是将计算表示为操作管道的一种方式。此页面上的示例应该让您了解它的使用方式：

https://www.haskell.org/arrows/syntax.html

请注意，>>> 是根据类型类定义的，因此它的确切作用取决于您使用它的类型。在这种情况下，它与 Chain () Selection 值一起使用。

如果您阅读 Chain (link) 的文档，您会看到以下评论：

链 a b 的行为就像 (a -> b)。 Val Var 是链的起点（=常数），Nil 是链的终点。

所以这个片段：

                                            -- type:
d3Root >>> select parent                    -- Chain () Selection
       >>> func "append" [PText "svg"]      -- Chain a b
       >>> width w                          -- Chain a a
       >>> height h                         -- Chain a a
       >>> style ...                        -- Chain a a

可以读作：

1. 从 d3 对象开始。这会返回一个选择。
2. 选择该选择的父项。
3. 使用参数"svg"调用JS函数append
4. 先设置宽度，然后设置高度，然后设置样式

有趣的是func 函数有Chain a b 类型——它有一个不受限制的返回类型b。这就是为什么我怀疑最后有明确的类型签名，例如:: Chain () Selection.

Answer 2

@delta 已经说过 hoogle 是你的朋友 - 这里的导入片段来自 Control.Category - 它表示态射的从左到右的组合。

在这种情况下，当前的类别是与 monad 关联的 Kleisli 类别 只是 Hask 的子类别 - 然后 >>> 运算符是 缺少链接来制作像

这样的功能

 f :: m a -> m b
 g :: m b -> m c

彼此正常工作。而

>>= :: m a -> (a -> m b) -> m b

无法做到这一点，(>>>) 的专用版本

>>> :: (m a -> m b) -> (m b -> m c) -> ma -> m c

会给你h = (f >>> g)一个正确的输出。