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

在使用镜头时，我偶尔需要在光学链中进行一些基本的文本解析。在我正在处理的一个 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 ？谢谢，如果有什么我可以澄清的，请告诉我。

最佳答案

我认为你想要的是 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 。

然后要从 a 中获取 Maybe a 值，请使用 traverse ，这样组合起来你就有 _Read . traverse ，它是一个 Read a => Fold Text a 。

关于json - 棱镜、遍历或折叠来自 readMaybe，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/32912240/