使用Number作爲Monoid

Question

我需要使用一個數字（一個Rational）作爲Writer Monad的日誌類型。不幸的是，數字不是Monoid。是否有一個模塊（或其他）將數字實例化爲Monoid，還是我應該自己做？

（我只是想知道，如果它已經存在某處不推倒重來，如果需要的話我不需要幫助自己做）

Answer 1

有觀看不同的數字可能途徑作爲一個monoid（添加或產品），所以你必須使用包裝來選擇一個。請參閱docs for Data.Monoid - Sum或Product。顯然，如果你想要一些其他的操作，你應該寫自己的。