haskell - 如何为 Typeable 添加实例声明

Question

[...] wants to find all the places in a legacy codebase that a variable foo is used in the conditional of an if.

———— Why Haskell Is Worth Learning

我的代码是

import Language.C
import Data.Generics
import Control.Monad
import Text.Read
    
parseAndFindFoos :: FilePath -> IO (Either ParseError [Position])
parseAndFindFoos path = liftM (fmap findFooLocations) (parseCFilePre path)
findFooLocations input = fmap posOf (listify isIfOfInterest input)
isIfOfInterest (CIf cond _ _ _) = not (null (listify isFooIdent cond))
isFooIdent (Ident name) = (name == "foo")

如何为(Typeable Lexeme)添加实例声明？

Answer 1

{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving #-}
import Data.Typeable

deriving instance Typeable Lexeme

应该可以。

但是，有一个陷阱，并且只有在库中定义此实例时才真正适用。 Lexeme 将成为 Typeable 的实例，如果任何其他库包含类似的实例，则会发生冲突。不幸的是，为了确保不添加 Lexeme 的全局 Typeable 实例，您真正能做的就是希望它被添加到 base某些时候，或者使用 newtype 包装器并手动包装和解开 Lexeme。

newtype LexemeWrapper = WrapLexeme { unwrapLexeme :: Lexeme } deriving Typeable