有没有办法自动上下班？

Question

我已经写了一个程序来将 从一对中拉出：

deMaybe :: (a, Maybe b) -> Maybe (a, b)
deMaybe (_, Nothing) = Nothing
deMaybe (x,Just y) = Just (x, y)

我知道也许是单数，（，）a 是函数（除其他类型）。我想知道我是否缺少一个更高级别的功能，例如：

commute :: (Functor f, Monad m) => f (m a) -> m (f a)

我的问题是：我可以用更通用的类型签名编写 demaybe ，例如假设 colmute ，承认我试图使一个函子通过另一个函子？可以使用诸如 fmap ，＆gt;＆gt; = ， pure ，＆amp; c。

Answer 1

您可以与 ，但这需要 traverable 。对于 t〜（b，）和 m〜也许，因此起作用：

Prelude> sequence (2, Just 3)
Just (2,3)
Prelude> sequence (2, Nothing)
Nothing

a traverable 是可以转换的数据结构的类型到具有相同形状的项目。我们需要它来构造一个2键盘（或列表，或类似的东西）。

或者我们可以使用 AS @chepner说，这更一般，因为所有 MONAD s均为 appricative s：s：：

Prelude> sequenceA (2, Just 3)
Just (2,3)
Prelude> sequenceA (2, Nothing)
Nothing