FromJSON Instanz mit DataKinds

Question

Der Versuch, die JSON-de-Serialisierung für einen Datentyp mit TypeLits zu tun, erhalte ich mit dem folgenden Problem stecken:

 
Couldn't match type ‘n’ with ‘2’ 
     ‘n’ is a rigid type variable bound by 
     the instance declaration at test.hs:14:10 
     Expected type: aeson-0.11.2.1:Data.Aeson.Types.Internal.Parser 
         (X n) 
     Actual type: aeson-0.11.2.1:Data.Aeson.Types.Internal.Parser 
         (X 2) 

Wie wäre es, die korrekte Syntax Nat allgemein in ermöglichen, die FromJSON Instanz in folgendem Beispiel:

{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE KindSignatures #-} 
{-# LANGUAGE GADTs #-} 
{-# LANGUAGE OverloadedStrings #-} 

import GHC.TypeLits 
import Data.Aeson 
import Control.Monad (mzero) 

data X (n :: Nat) where 
    A :: Integer -> X 1 
    B :: Integer -> X 2 

instance FromJSON (X n) where 
    parseJSON (Object o) = do 
     v <- o .: "val" 
     t <- o .: "type" 
     case t of 
     "a" -> return $ A v 
     "b" -> return $ B v 
    parseJSON _  = mzero 

Answer 1

Da Sie offensichtlich nicht den Typen kennen, können Sie bei der Kompilierung deserialisiert werden, muss die genaue Art in versteckt werden ein existentielles und dann über Mustervergleich wiederhergestellt. Normalerweise verwende ich einen generischen Typ Some, um Phantomtypen zu verbergen.

{-# LANGUAGE PolyKinds #-} 

data Some (t :: k -> *) where 
    Some :: t x -> Some t 

Jetzt können Sie die Instanz als

instance FromJSON (Some X) where 
    parseJSON (Object o) = do 
     v <- o .: "val" 
     t <- o .: "type" 
     case (t :: String) of 
      "a" -> return $ Some $ A v 
      "b" -> return $ Some $ B v 
    parseJSON _  = mzero 

jedoch schreiben, müssen Sie auch die FlexibleInstances Erweiterung ermöglichen.