haskell - 如何在 haskell 中为数据类型创建 Read 实例

Question

所以我有一个数据类型

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

这是我的 SomeType 的显示实例

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

所以

Mix (Type 5) (Type 4)

会给我

(5 4)

现在我想要

read "(3 4)" :: SomeType Int 

生产

(3 4)

或

read "(a b)" :: SomeType Char

生产

(a b)

我不知道如何使用 Read 类。

Answer 1

这是一个基于 documentation 的示例它应该能够解析 show 呈现的所有内容(假设该类型定义了兼容的 Read 实例)，即 read 。 show 或多或少应该是身份:

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

因此，

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

但请注意，对于 SomeType Char，Char 的默认 Show 实例用单引号将字符括起来:

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

希望这有帮助