从 JSON 值字符串文本中提取文本，无需模式匹配

Question

这是 Json 值的定义：

-- | A JSON value represented as a Haskell value.
data Value = Object !Object
           | Array !Array
           | String !Text
           | Number !Scientific
           | Bool !Bool
           | Null
             deriving (Eq, Show)

let value = String "myValue"
looking for => fromString value == "myValue" ??
fromString :: Value -> Text

我正在寻找一个函数，就像我可以在不进行某些模式匹配的情况下从字符串中获取文本，显然这个函数是不安全的...例如 Data.Maybe 中的 fromJust 之类的 fromString.. . Data.Lens.Aeson 中的内容 ?

Answer 1

正如 Thomas M. DuBuisson 在上述评论中暗示的那样，这听起来像是 XY Problem。尽管如此，我还是会尽最大努力解决具体问题。

从技术上讲，您可以简单地编写一个类型为Value -> Text的函数，尽管它需要模式匹配。我意识到 OP 请求的函数没有模式匹配，但请继续阅读：

-- Warning: UNSAFE!
fromString :: Value -> Text
fromString (String s) = s

这样的函数可以编译，但是不安全！

*Q53961314 Q53961314> fromString $ String "myValue"
"myValue"
*Q53961314 Q53961314> fromString $ Number 42
"*** Exception: Non-exhaustive patterns in function fromString

虽然它适用于 String 值，但它对任何其他类型的值都会崩溃。虽然在技术上可以编写和编译像上面这样的不安全函数，但据我所知，它不被认为是惯用的 Haskell.

更好的选择是 returns Maybe Text 的安全函数。这个用模式匹配还是很容易写的：

fromStringSafe :: Value -> Maybe Text
fromStringSafe (String s) = Just s
fromStringSafe _ = Nothing

此函数总数：

*Q53961314 Q53961314> fromStringSafe $ String "myValue"
Just "myValue"
*Q53961314 Q53961314> fromStringSafe $ Number 42
Nothing

如果你不想自己写这样的函数，而是更喜欢使用lens-aeson，你可以使用_String棱镜：

Prelude Data.Aeson Data.Aeson.Lens Control.Lens> String "myValue" ^? _String
Just "myValue"

如您所知，这也是安全的，因为 ^? _String returns Maybe Text:

Prelude Data.Aeson Data.Aeson.Lens Control.Lens> Bool True ^? _String
Nothing
Prelude Data.Aeson Data.Aeson.Lens Control.Lens> Number 42 ^? _String
Nothing

如果你真的非常想要一个不安全的函数，你可以使用^?! _String:

Prelude Data.Aeson Data.Aeson.Lens Control.Lens> String "myValue" ^?! _String
"myValue"

毫不奇怪，不安全：

Prelude Data.Aeson Data.Aeson.Lens Control.Lens> Number 42 ^?! _String
"*** Exception: (^?!): empty Fold
CallStack (from HasCallStack):
  error, called at src\Control\Lens\Fold.hs:1285:28 in lens-4.17-7m3etWEBj0P3172qv7LEG9:Control.Lens.Fold
  ^?!, called at <interactive>:9:1 in interactive:Ghci3

不过，我想知道您为什么要询问此类功能。您是否有我们可以帮助解决的 Aeson 特定问题？

从 JSON 值字符串文本中提取文本，无需模式匹配

Extract the Text from a JSON value String Text without pattern matching

haskell

haskell-lens

aeson