Question

我对镜头的魔力很陌生，所以我在这方面遇到了一些麻烦。

参考：https://www.fpcomplete.com/user/tel/lens-aeson-traversals-prisms

可以通过以下方式遍历JSON对象：

val ^? nth 0 . key "someObject" . key "version" . nth 2

表示类似于：

的JSON对象

"[{\"someObject\": {\"version\": [1, 0, 3]}}]"

Maybe monad全程使用，所以如果有任何“访问者”的话。失败了，我得到了Nothing。

我也希望传播失败，以便我知道访问者失败了。

我能想到的唯一方法是传递一组访问器，按顺序应用它们，并在任何失败点返回错误。像这样：

import Data.Aeson
import Data.Text
import Data.Vector ((!?))
import qualified Data.HashMap.Strict  as HM

data MyAccessor = Nth Int | Key Text 

withFailure :: Value -> [MyAccessor] -> Either String Value
withFailure val [] =  Right val 
withFailure val (x:xs) = case x of
    Nth i -> case val of        
        (Array val') -> case (val' !? i) of
            Just e -> withFailure e xs
            _ -> Left $ "Could not get index " ++ (show i)
        _ -> Left $ "Expected JSON array for index " ++ (show i)
    Key k -> case val of  
        (Object val') -> case (HM.lookup k val') of
            Just e -> withFailure e xs
            _ -> Left $ "Could not get key " ++ (unpack k)
        _ -> Left $ "Expected JSON object for key " ++ (unpack k)

所以这个：

-- val =  [[1,0,3], {"name" : "value"}]

> withFailure val [Nth 1, Key "name", Key "hello"]
Left "Expected JSON object for key hello"

> withFailure val [Nth 1, Key "name"]
Right (String "value")

有更优雅的方式吗？制作一个Either-ish monad供镜片使用，结果与withFailure一样？

Answer 1

另一种可能性是使用来自Control.Lens.Action的monadic折叠。

Monadic folds让你可以通过有效的动作为你的折叠做好准备，这样这些动作就会被“探索”的过程所激发。数据结构。

请注意，这与mapMOf之类的不同。 Monadic折叠让你可以做一些事情，比如创建由折叠＆＃34;动态＆＃34;探索的结构部分，例如从磁盘加载它们，或者要求用户输入。

正常折叠可直接用作monadic折叠。您只需使用(^!!)和(^!?)等专业运算符运行它们。

要将效果引入monadic折叠，请使用act函数。

我们可以在Writer monad中创建一个monadic折叠，并在折叠中插入动作＆＃34; log＆＃34;进展。像这样：

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleContexts #-}
import Control.Monad
import Control.Monad.Writer
import Control.Lens
import Data.Monoid
import Data.Aeson
import Data.Aeson.Lens

msg :: String -> IndexPreservingAction (Writer (Last String)) a a
msg str = act $ \a -> tell (Last . Just $ str) >> return a

main :: IO ()
main = do
    let str = "[{\"someObject\": {\"version\": [1, 0, 3]}}]"
        val = maybe (error "decode err") id . decode $ str :: Value
        monfol = nth 0 . msg "#1"
               . key "someObject" . msg "#2"
               . key "version" . msg "#3"
               . nth 2
        (mresult,message) = runWriter $ val ^!? monfol
    putStrLn $ case mresult of
        Just result -> show result
        Nothing -> maybe "no messages" id . getLast $ message

如果您更改＆＃34;版本＆＃34;键入JSON以使折叠失败，错误消息将是＆＃34;＃2＆＃34;。

使用Either之类的错误monad代替Writer会很好，以便能够准确找出失败的地方，而不是最后一个＆＃34;检查点＆＃34 ;。但我不确定这是否可行，因为折叠已经表示失败，返回Nothing。

模块Control.Lens.Reified具有ReifiedMonadicFold新类型，为monadic折叠提供了一些有用的实例。 ReifiedMonadicFold的行为有点像monad的Kleisli箭头，它是MonadPlus的一个实例。

Aeson和镜头有错误处理

1 个答案: