引数なしのコンストラクタが複数ある代数データ型のToJSON/FromJSONエントリの作成方法は？

Question

は、このデータを考える：

data A1 = A1 | A2 | A3 

は、どのように私はそれのためのインスタンスを作成することができますか？

instance ToJSON A1 where 
    toJSON = ??? 

instance FromJSON A1 where 
    parseJSON = ??? 

それは、単一のコンストラクタだった場合、私はそれを行うことができると思いますが、私は、任意のパラメータを受け入れない複数のものでそれを行う方法を見つけ出すことはできません。

UPDATE： 各コンストラクタについて、私はこれらのエラーを持っている：toJSONとparseJSON関数は、引数それぞれを取る

my-app/src/Lib.hs:54:32: 
    No instance for (ToJSON a1) arising from a use of ‘.=’ 
    The type variable ‘a1’ is ambiguous 
    Note: there are several potential instances: 
     instance ToJSON UUID -- Defined in ‘Data.UUID.Aeson’ 
     instance ToJSON MyType -- Defined at src/Lib.hs:53:10 
     instance ToJSON MyType2 -- Defined at src/Lib.hs:70:10 
    In the expression: "tag" .= "A1" 
    In the first argument of ‘object’, namely ‘["tag" .= "A1"]’ 
    In the expression: object ["tag" .= "A1"] 

my-app/src/Lib.hs:54:35: 
    No instance for (Data.String.IsString a1) 
     arising from the literal ‘"A1"’ 
    The type variable ‘a1’ is ambiguous 
    Note: there are several potential instances: 
     instance Data.String.IsString Value 
     -- Defined in ‘aeson-0.9.0.1:Data.Aeson.Types.Internal’ 
     instance (a 
       ~ bytestring-0.10.6.0:Data.ByteString.Internal.ByteString) => 
       Data.String.IsString 
       (attoparsec-0.13.0.1:Data.Attoparsec.ByteString.Internal.Parser a) 
     -- Defined in ‘attoparsec-0.13.0.1:Data.Attoparsec.ByteString.Char8’ 
     instance Data.String.IsString 
       bytestring-0.10.6.0:Data.ByteString.Builder.Internal.Builder 
     -- Defined in ‘bytestring-0.10.6.0:Data.ByteString.Builder’ 
     ...plus 13 others 
    In the second argument of ‘(.=)’, namely ‘"A1"’ 
    In the expression: "tag" .= "A1" 
    In the first argument of ‘object’, namely ‘["tag" .= "A1"]’ 

Answer 1

編集で示された問題は、関数アプリケーションを使用して型を推測できないようにするか型の注釈を追加することで解決できる型のあいまいさに関するものです。

• .=の右側には、文字列リテラルであるのでStringまたはTextや他の人かもしれない - 私は下記やるとText.pack . showを使用するよう::Textとその注釈を付けたりください。
• .:の結果は多相であり、ケースパターンはすべて同じ問題を引き起こす文字列リテラルです。以下では、:: Text〜tagを追加して、あいまいさを取り除いています。

完全なコード：

{-# LANGUAGE OverloadedStrings #-} 

import Data.Aeson 
import Data.Aeson.Types 
import Control.Monad 
import Data.Text as Text 

data A1 = A1 | A2 | A3 
    deriving (Eq, Ord, Show) 


instance ToJSON A1 where 
    toJSON a = object ["tag" .= Text.pack (show a)] 

instance FromJSON A1 where 
    parseJSON (Object o) = do 
     tag <- o .: "tag" 
     case (tag :: Text) of 
      "A1" -> return A1 
      "A2" -> return A2 
      "A3" -> return A3 
      _ -> mzero 
    parseJSON v = typeMismatch "A1" v 

Answer 2

、toJSONための最も簡単で、おそらくです：

instance ToJSON A1 where 
    toJSON A1 = object ["tag" .= "A1"] 
    toJSON A2 = object ["tag" .= "A2"] 
    toJSON A3 = object ["tag" .= "A3"] 

それから、あなただけのその逆を行う必要がありますparseJSON：

instance FromJSON A1 where 
    parseJSON (Object o) = do 
     tag <- o .: "tag" 
     case tag of 
      "A1" -> return A1 
      "A2" -> return A2 
      "A3" -> return A3 
      _ -> mzero 

これはキー "tag"の値を抽出し、返されるTextでパターンマッチングを実行して、使用するコンストラクタを決定します。