是否有 ByteString 或 Text 上的 monadic/applicative map（即遍历/mapM）函数？

Question

ByteString和Text有标准（纯）映射函数：

map :: (Word8 -> Word8) -> ByteString -> ByteString
map :: (Char -> Char) -> Text -> Text

但我想念他们的 monadic/applicative 对应物：

traverse :: (Applicative f) => (Word8 -> f Word8) -> ByteString -> f ByteString
traverse :: (Applicative f) => (Char -> f Char) -> Text -> f Text

（如果我们有traverse我们可以定义mapM f = unwrapMonad . traverse (WrapMonad . f)。）

我试着翻阅包裹，试过Hoogle，但我没有找到它们。我忽略了什么吗？或者它们是否有缺失的原因（比如不可能/容易有效地定义它们）？

Answer 1

顺便说一句，Edward Kmett 的包裹里正好有你需要的东西lens；您想要的traverse版本很简单Data.Bytestring.Lens.bytes和Data.Text.Lens.text。

编辑： 为了澄清，上述函数是（概括）类型SimpleTraversal c e（分别为(c ~ Bytestring, e ~ Word8)和(c ~ Text, e ~ Char)），它是 的类型同义词forall f. (Applicative f) => (e -> f e) -> c -> f c