将（也许a，b）转换为Maybe（a，b）

Question

从(Maybe a, b)转换为Maybe (a,b)是否容易（无需重新发明轮子）。我查看Traversable但无法使其正常工作。

Answer 1

您也可以使用Bitraversable：

[1,4,5]

专门研究

bitraverse id pure :: (Bitraversable t, Applicative f) => t (f c) d -> f (t c d)

Answer 2

是。仿函数。

solution :: (Maybe a, b) -> Maybe (a, b)
solution (a, b) = fmap (\q -> (q, b)) a

或者，以无点的方式：

solution = uncurry $ flip $ fmap . flip (,)

此外，正如@Bakuriu所说，如果您已启用TupleSections并导入Control.Applicative，则真的很容易

：

solution (a, b) = (, b) <$> a

了解详情here。

Answer 3

以下适用于lens：

> import Control.Lens
> _1 id (Just 1, 2)
Just (1, 2)

Answer 4

“没有重新发明轮子”是什么意思？创建这样一个函数最直接的方法如下：

f :: Maybe a -> b -> Maybe (a, b)
f Nothing  _ = Nothing
f (Just a) b = Just (a, b)

g :: (Maybe a, b) -> Maybe (a, b)
g = uncurry f

希望有所帮助。