Làm thế nào để tạo ra thể hiện của đọc cho một kiểu dữ liệu trong Haskell

Question

Vì vậy, tôi có một kiểu dữ liệu

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

dụ chương trình của tôi này cho SomeType

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

Vì vậy

Mix (Type 5) (Type 4) 

sẽ cung cấp cho me

(5 4) 

Bây giờ tôi muốn có

read "(3 4)" :: SomeType Int 

sản xuất

(3 4) 

hoặc

read "(a b)" :: SomeType Char 

sản xuất

(a b) 

Tôi đang mất tích trên làm thế nào để sử dụng lớp đọc.

Answer 1

Dưới đây là một ví dụ dựa trên documentation mà sẽ có thể phân tích tất cả những gì show render (giả sử các loại có tương thích Read dụ định nghĩa), có nghĩa là read . show nên ít nhiều sắc:

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') 

Như vậy,

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

Nhưng lưu ý, rằng cho SomeType Char trường hợp mặc định Show của Char vòm s nhân vật với dấu nháy đơn:

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

hy vọng điều này giúp