是否可以使用SYB来转换类型？

Question

我想编写一个 rename 函数，用 GUID 替换 AST 中的 String 名称（代表分层标识符）来自符号表的名称（整数）作为 Renamer monad 中的隐藏状态携带。

我有一个 AST a 类型，它通过名称类型进行参数化。 AST 叶子中的名称属于 Name a 类型：

data Name a = Name a

这使得可以轻松使用 SYB 转换器来定位它们。

解析器已键入（为简洁起见，忽略错误的可能性）：

parse :: String -> AST String

并且我希望键入 rename 函数：

rename :: AST String -> Renamer (AST GUID)

是否可以使用 SYB 来转换所有 Name String'使用转换器将其转换为 Name GUID：

resolveName :: Name String -> Renamer (Name GUID)

以及通过转换其子项并将其粘贴回从 c String 到 c GUID 的所有其他值与相同的构造函数一起使用，尽管具有不同的类型参数？

everywhereM 函数很接近我想要的，但它只能转换 ca ->; m (ca) 而不是 ca ->米（CB）。

我的后备解决方案（除了手动编写样板之外）是从 AST 中删除类型参数，并像这样定义 Name：

data Name = StrName String
          | GuidName GUID

以便键入重命名：

rename :: AST -> Renamer AST

使其与 everywhereM 一起工作。但是，这可能会导致 AST 在重命名后仍然可以保存 StrName。我想使用类型系统来正式捕获重命名的 AST 只能保存 GUID 名称这一事实。

Answer 1

一种解决方案（可能比您希望的效率低）是让您的 AST 成为 Functor、Data 和 Typeable 的实例 (GHC 7可能可以为您导出所有这些）然后执行以下操作：

import Data.Generics.Uniplate.Data(universeBi) -- from the uniplate package
import qualified Data.Map as Map

rename :: AST String -> Renamer (AST GUID)
rename x = do
    let names = nub $ universeBi x :: [Name String]
    guids <- mapM resolveName names
    let mp = Map.fromList $ zip names guids
    return $ fmap (mp Map.!) x

两点：

1. 我假设很容易从 resolveName 中消除 Name 位，但我怀疑确实如此。
2. 您可以将 universeBi 切换为 SYB 中的等效项，但我发现 Uniplate 版本更容易理解。