使用相同的函數摺疊[Word8]和ByteString？

Question

事實證明沒有Foldable的實例可用。我想編寫一個函數，在[Word8]或ByteString上使用foldl'，但我不能。由於ByteString與數據相同，與[Word8]相同，所以我應該可以。

是否有可用於整合這兩者的軟件包，還是必須將我自己的軟件與類型類一起滾動？

Answer 1

看看mono-traversable包中定義的MonoFoldable class。

它有ByteString和[a]的實例。

Answer 2

ErikR的回答非常好。我只想插入一個旁註。如果你有lens你有bytes遍歷：

λ> import Data.ByteString.Lens 
λ> import Control.Lens 
λ> :t foldrOf bytes 
foldrOf bytes 
    :: IsByteString s => (GHC.Word.Word8 -> r -> r) -> r -> s -> r 

在某種意義上你問的問題是motivation爲lens包：可以，我們在Data.Foldable和Data.Traversable擴展功能消耗的Foldable不僅普通實例和Traversable，但也是表現和撰寫像對象可摺疊和traversables？