json - 棱镜、遍历或折叠来自 readMaybe

Question

在使用镜头时，我偶尔需要在光学链中进行一些基本的文本解析。在我处理的一个 API 中，有一个像这样的 JSON 字段:

"timespent": "0.25",

由于它被错误地编码为字符串而不是数字，我不能只做典型的 lens-aeson 解决方案:

v ^? key "timespent" . _Double -- this doesn't work

所以，我需要这个:

v ^? key "timespent" . _String . mystery

mystery 光学器件需要将 Text 转换为 Double。我知道 mystery 可以输入如下:

mystery :: Prism' Text Double

我可以按如下方式构建它:

mystery = prism' (pack . show) (readMaybe . unpack)

从技术上讲，这个函数可以有一个更通用的类型签名，带有 Read 和 Show 约束，但这并不是我的问题所在。我不喜欢的是 Prism 对于我正在做的事情来说真的太强大了。大多数时候，我对解析感兴趣，但对将其呈现回字符串不感兴趣。因此，我需要 Traversal 或 Fold，但我不确定是哪一个，也不确定如何构建它们。当我查看 ^? 的类型签名以找到所需的最小光学器件时，我看到:

(^?) :: s -> Getting (First a) s a -> Maybe a

我能理解这是什么意思，但不是很清楚。因此，为了明确我的问题，它是:

如果我有一个函数f::Text -> Maybe a，我怎样才能把它变成一个Traversal 或一个Fold？谢谢，如果有什么我可以澄清的，请告诉我。

Answer 1

我想你想要的是 Getter :

_Read :: Read a => Getter Text (Maybe a)
_Read f = contramap g . f . g where g = readMaybe . unpack

一般来说，如果你有 x::a -> b 那么 \f -> contramap x 。 F 。 x 是一个 Getter a b。

然后要从 Maybe a 中获取 a 值，请使用 traverse，这样您就得到了 _Read 。遍历，这是一个Read a => Fold Text a。