Aeson中的单标签构造函数

在Aeson中，单标签构造函数是指只有一个字段的数据类型的构造函数。以下是一个使用Aeson库的示例代码，展示了如何使用单标签构造函数：

首先，我们需要导入Aeson库和相关的模块：

{-# LANGUAGE DeriveGeneric #-}

import Data.Aeson
import GHC.Generics

然后，我们定义一个数据类型，它只有一个字段：

data Person = Person { name :: String }
  deriving (Generic, Show)

接下来，我们需要为该数据类型实现ToJSON和FromJSON实例：

instance ToJSON Person
instance FromJSON Person

最后，我们可以使用Aeson库的encode和decode函数来进行序列化和反序列化：

main :: IO ()
main = do
  let person = Person { name = "John" }

  -- 序列化为JSON
  let json = encode person
  putStrLn $ "Serialized JSON: " ++ show json

  -- 反序列化为数据类型
  case decode json :: Maybe Person of
    Just person' -> putStrLn $ "Deserialized person: " ++ show person'
    Nothing -> putStrLn "Failed to deserialize JSON"

运行上述代码将输出以下结果：

Serialized JSON: "{\"name\":\"John\"}"
Deserialized person: Person {name = "John"}

这是一个简单的示例，展示了如何使用Aeson库中的单标签构造函数。你可以根据自己的需求进行更改和扩展。