Come creare un'istanza di lettura per un tipo di dati in Haskell

Question

Così ho un tipo di dati

data SomeType a = 
    Type a | 
    Mix (SomeType a) (SomeType a) 

Questo mio spettacolo istanza per SomeType

instance (Show a) => Show (SomeType a) where 
    show (Type a) = show a 
    show (Mix a b) = "(" ++ show a ++ " " ++ show b ++ ")" 

Così

Mix (Type 5) (Type 4) 

darebbe me

(5 4) 

Ora voglio avere

read "(3 4)" :: SomeType Int 

producono

(3 4) 

o

read "(a b)" :: SomeType Char 

produrre

(a b) 

sono perso a come utilizzare la classe di leggere.

Answer 1

Ecco un esempio basato sul documentation che dovrebbe essere in grado di analizzare tutto ciò che show rende (assumendo che il tipo ha una compatibile Read esempio definito), cioè read . show dovrebbe essere più o meno l'identità:

instance (Read a) => Read (SomeType a) where 
    readsPrec d r = readMix r ++ readType r 
     where 
     readMix = readParen True $ \r -> do 
      (v1, r'') <- readsPrec d r 
      (v2, r') <- readsPrec d r'' 
      return (Mix v1 v2, r') 

     readType r = do 
      (v, r') <- readsPrec d r 
      return (Type v, r') 

Così,

> read "(3 4)" :: SomeType Int 
(3 4) 
it :: SomeType Int 

Ma nota, che per SomeType Char l'istanza predefinita Show di Char Surround s il personaggio con apici:

> read "('a' ('b' 'c'))" :: SomeType Char 
('a' ('b' 'c')) 
it :: SomeType Char 

Spero che questo aiuti