如何使用maybe么半群和组合值与一个自定义操作，轻松？

Question

maybeCombine :: (a->a->a) -> Maybe a -> Maybe a -> Maybe a
maybeCombine _ Nothing Nothing = Nothing
maybeCombine _ (Just a) Nothing = Just a
maybeCombine _ Nothing (Just a) = Just a
maybeCombine f (Just a) (Just a') = Just $ f a a'

也许我只是忽略了什么。我想要的东西似乎与也许单子的行为无关，所以我想我不会在单子/箭的抽屉里找到任何东西；但它肯定与monoid实例相似

前奏数据。Monoide>只有“A”<>没有
只有“A”
前奏数据。Monoide>只有“A”<>只有“B”
只有“AB”
...

...但它要求a本身是一个么半群，即它基本上“内置”了A->A->a。code>MonadPlus实例的行为也与我想要的一样，但它只是丢弃了一个值，而不允许我提供组合函数

前奏数据.Monoid Control.Monad>只有4`mplus`没有
只有4
前奏数据.Monoid Control.Monad>没有`mplus`只有4
只有4
前奏数据.Monoid Control.Monad>只有4`mplus`只有5
只有4

规范的解决方案是什么？局部模式匹配？包含组合符的东西，例如data.maybe？定义一个自定义么半群来进行组合？

Answer 1

当您注意到f类似于底层a类型上的monoid操作时，您的理解是正确的。更具体地说，这里的情况是，通过邻接一个零(mempty)、nothing，将一个半群提升为一个么半群。

这正是您在maybe么半群的Haddock中看到的。

根据http://en.wikipedia.org/wiki/Monoid:“任何半群S都可以变成一个么半群，只需邻接一个不在S中的元素e，并对所有S∈S定义ee=e和es=S=S*e。”由于不存在只提供映射的“半群”类型类，所以我们用么半群代替。

或者，如果您喜欢semigroups包，那么有一个选项正好具有这种行为，可以适当地推广使用底层的semigroup。

因此，最清楚的方法是在基础类型a上定义么半群或半群实例。将某个组合器f与该类型相关联是一种简单的方法。

如果您不控制该类型，不想要孤立实例，并且认为newtype包装器很难看，该怎么办？通常情况下，您会很倒霉，但在这里，使用完全黑魔法，有效地只使用GHC的反射包就会派上用场。论文本身有详尽的解释，但Ausin Seipp的FP完整教程包括一些示例代码，允许您将任意半群积“注入”到类型中，而没有（同样多的）类型定义噪声...以更吓人的签名为代价。 

然而，这可能大大超过了它的价值。