棱镜、遍历或折叠来自 readMaybe
Prism, Traversal, or Fold from 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。
然后要从 Maybe a 中获取 a 值，请使用 traverse，这样您就得到了 _Read . traverse，这是一个 Read a => Fold Text a。
在使用镜头时，我偶尔需要在光学链中进行一些基本的文本解析。在我处理的一个 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。
然后要从 Maybe a 中获取 a 值，请使用 traverse，这样您就得到了 _Read . traverse，这是一个 Read a => Fold Text a。