haskell - 编写可选的 Aeson 解析器

Question

这是代表用户的 JSON 对象的一部分:

{ "image": { "url": "http://example.com" } }

我需要将其解析为User类型:

data User = User { imgUrl :: Maybe Text }

简单的解决方案:

parseJSON (Object o) = User <$> getImgUrl o
    where getImgUrl o = (o .:? "image") >>= maybe (return Nothing) (.:? "url")

但这并不比这些链好多少:

case f m1 of
    Nothing -> Nothing
    Just m2 -> case f2 m2 of
        Nothing -> Nothing
        Just m3 -> case f3 m3 ....

这经常在“为什么需要 Monad”解释中得到演示

因此，我需要编写类似于 (.:? "url")::Parser (Maybe a)

的解析器

我尝试用 comp 函数来描述该组合:

getImgUrl :: Object -> Parser (Maybe Text)
getImgUrl o = o .:? "image" >>= comp (o .:? "url")

comp :: (Monad m) => (a -> m (Maybe b)) -> Maybe a -> m (Maybe b)
comp p Nothing = return Nothing
comp p (Just o) = p o

闻起来像 Functor，但 fmap 没有帮助我。

然后我决定，必须继续创作:

getImgUrl :: Object -> Parser (Maybe Text)
getImgUrl = comp2 (.:? "image") (.:? "url") o

-- Maybe should be changed to a matching typeclass
comp2 :: (Monad m) => (a -> m (Maybe b)) -> (b -> m (Maybe c)) -> a -> m (Maybe c)
comp2 = undefined

Hoogle 搜索对我没有帮助，但浏览 Control.Monad 文档给了我 Kliesli 组合，我对此没有经验。我发现一些相似之处:

(>=>) :: Monad m => (a -> m    b)  -> (b -> m c)     -> a -> m    c
comp2 :: Monad m => (a -> m (f b)) -> (b -> m (f c)) -> a -> m (f c)

不同之处在于，在合成过程中，也许应该“展开”。

看来我已经接近解决方案了，但还是找不到。请给我一些见解。

[更新]:我决定解决实际问题的最佳方案是保留原始 JSON 结构并拥有嵌套的 User 类型:

data User = User { image :: Maybe Image }
data Image = Image { url :: Text }

这完全消除了我的问题，并使 API 与原始源更加兼容。

但是，仅出于理论目的，很高兴看到如何解决原始问题。

Answer 1

有人向我指出了一个很好的解决方案

首先，我们可以这样做。

parseJSON (Object o) = User . join <$> (traverse (.:? "url") =<< (o .:? "image"))

在这里，我们得到Parser (Maybe Object)并将其传递给下一个单子(monad)操作，该操作与Maybe Object一起使用。在traverse的帮助下，我们执行该 Action (如果它是Just)。在结果中我们得到Parser (Maybe (Maybe Object))。剩下的就是加入该结果并获取Parser(可能是对象)`。

但是，如果能够使其更易于使用就好了。我会从 @bheklilr 的答案中采用这个运算符，并将其采用到这个解决方案中。

-- The type can be much more generic, but for simplicity I would keep it in domain of the problem
(.:?>) :: FromJSON a => Parser (Maybe Object) -> Text -> Parser (Maybe a)
maybeParser .:?> key = fmap join . traverse (.:? key) =<< maybeParser

之后我们可以使用该运算符来解析可选字段的长链。

getImgUrl :: A.Object -> Parser (Maybe Text)
getImgUrl o = o .:? "image" .:?> "url" .:?> "foo" .:?> "bar"

从实际的角度来看，这个解决方案并不比 @bheklilr 的解决方案和我最初的“天真的”代码示例有用多少。然而，我更喜欢它，因为它可以转换许多其他类型(例如 Either)，而不是匹配 Just/Nothing