Question

很高兴到目前为止，遇到了一个新的障碍：将此代码编码为JSON。但是，无论何时将类型用作实例，编译器都会抱怨。现在我显然做错了，但这恰恰是文档中的内容（显然是在使用DeriveGeneric时）。

{-# LANGUAGE OverloadedStrings, DeriveGeneric #-}

import Data.Aeson
import Data.Text as T
import Data.ByteString.Lazy as B
import Data.ByteString.Lazy.Char8 as BC
import GHC.Generics

-- decode :: FromJSON a => B.ByteString -> Maybe a
-- decode' :: FromJSON a => B.ByteString -> Either String a
-- encode :: ToJSON => a -> B.ByteString

data System = System  { system :: BC.ByteString
                  , make :: BC.ByteString
                  , code :: Int
                  } deriving (Generic, Show)
instance ToJSON System
-- instance FromJSON System

platform = System { system = "FPGA"
                  , make = "Xilinx"
                  , code = 10165
                  }
encodePlatform :: BC.ByteString
encodePlatform = encode platform

编译器输出：

    • No instance for (ToJSON ByteString)
        arising from a use of ‘aeson-1.4.1.0:Data.Aeson.Types.ToJSON.$dmtoJSON’
    • In the expression:
        aeson-1.4.1.0:Data.Aeson.Types.ToJSON.$dmtoJSON @(System)
      In an equation for ‘toJSON’:
          toJSON = aeson-1.4.1.0:Data.Aeson.Types.ToJSON.$dmtoJSON @(System)
      In the instance declaration for ‘ToJSON System’
   |
17 | instance ToJSON System

Answer 1

这是因为ByteString类型类没有ToJSON实例。从历史上看，它曾经存在过，但由于JSON字符串应为有效的Unicode而被删除。

您可以在此处找到更多详细信息：

为修复该问题，我将其转换为Text类型，然后编码为JSON。

Aeson Haskell-没有（ToJSON ByteString）的实例

1 个答案: