HaskellでJSONを使用してレコードをシリアライズ

Question

私はHalf Life 2サーバーの詳細を把握するために（protocol-srcdsライブラリを使用して）非常に小さなプログラムに取り組んできました。ワークフローはかなり簡単です。ファイルからサーバーのリストを取得し、それらのそれぞれに照会し、出力を別のファイルに書き出します（vBulletinと結びついているので、PHPスクリプトで表示されます）。それがSQLなどで行われていればうれしいですが、私がまだ学んでいるのを見て、それは今のところ遠すぎるステップです！

私の質問は、シリアル化、つまりJSONにシリアル化することに関連しています。

jsonify (Just (SRCDS.GameServerInfo serverVersion 
          serverName 
          serverMap  
          serverMod  
          serverModDesc 
          serverAppId 
          serverPlayers 
          serverMaxPlayers 
          serverBots 
          serverType 
          serverOS 
          serverPassword 
          serverSecure 
          serverGameVersioning)) = 
          toJSObject [ ("serverName", serverName) 
             , ("serverMap", serverMap) 
             , ("serverPlayers", show serverPlayers) 
             , ("serverMaxPlayers", show serverMaxPlayers) ] 

は（私はText.JSONパッケージを使用しています）：今のところ、私はそのようなことを、断片的ヘルパー関数jsonifyを書きました。これは明らかに理想的ではありません。しかし、この段階では、インスタンスを使用してレコードのシリアライザを定義することは理解できません。そのための試みはタイプシステムの不満の壁になりました。

誰かがこれを行う「正しい」方法で私を歩いてもらえますか？レコードをシリアライズするinstanceを定義するにはどうすればよいでしょうか？ instance（showJSON？）で使用する関数は何ですか？

ご協力いただきありがとうございます。

Answer 1

あなたはText.JSONの後継とみなされるかもしれない代わりにData.Aesonを使用して検討する必要があります。

aesonとすると、シリアライズ/デシリアライズ用に別々のインスタンスを定義します（Text.JSONが1つだけ必要な場合でも両方向を定義する必要があります。そうしないと、何らかの理由で警告が消えない限りコンパイルできません）。インスタンスをよりコンパクトにするオペレータはほとんどありません。 aeson APIで以下のように@のHAMMARの答えからの例では、少しノイズの少ない書くことができます。

instance ToJSON SRCDS.GameServerInfo where 
    toJSON (SRCDS.GameServerInfo {..}) = object 
     [ "serverName"  .= serverName 
     , "serverMap"  .= serverMap 
     , "serverPlayers" .= serverPlayers 
     , "serverMaxPlayers" .= serverMaxPlayers 
     ] 

Answer 2

簡単なことは、record wildcardsを使用してパターンコードを減らすことです。

タイプシステムの問題については、エラーメッセージやこれまでに試したことがないと助けを与えるのは難しいですが、混乱するかもしれない1つのことは、toJSObjectの結果をラップする必要があることです戻り値の型がshowJSONのJSObjectデータコンストラクタはJSValueとします。同様に、オブジェクトの値もJSValueである必要があります。これを行う最も簡単な方法は、のJSONインスタンスを使用し、値を変換するためにshowJSONを呼び出すことです。

instance JSON SRCDS.GameServerInfo where 
    showJSON (SRCDS.GameServerInfo {..}) = 
     JSObject $ toJSObject [ ("serverName", showJSON serverName) 
           , ("serverMap", showJSON serverMap) 
           , ("serverPlayers", showJSON serverPlayers) 
           , ("serverMaxPlayers", showJSON serverMaxPlayers) ]