Haskell实例读取的newtype只是一个int

Question

我是Haskell的新手，我希望能够使用newtype，因此我可以告诉它是什么，但我也必须从字符串中读取它。 我有

newtype SpecialId Int
    deriving (Eq, Ord, Show)

我希望能够read "5" :: SpecialId如果我在新类型中导出读取它不起作用它只适用于read "SpecialId 5" :: SpecialId 。 我努力了

instance Read SpecialId where
    readsPrec _ s = read s

但这给了我

SpecialId *** Exception: Prelude.read: no parse

Answer 1

这是可能的，因为GHC 8.2使用-XDerivingStrategies ：

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DerivingStrategies         #-}

newtype SpecialId = SpecialId Int
    deriving stock   (Eq, Ord, Show)
    deriving newtype Read

在ghci：

ghci> read "5" :: SpecialId 
SpecialId 5

Answer 2

如果您愿意手动转发到Int实例，则不需要语言扩展：

instance Read SpecialId where
    readsPrec n s = [ (SpecialId x, y) | (x, y) <- readsPrec n s ]

尽管出现这不是readsPrec的递归使用：我们调用了readsPrec的Int版本来获取(Int, String)对的列表，然后我们使用列表readsPrec来包装SpecialId每个Int 。