Haskell:显示递归数据类型

Question

我有一个自定义递归数据类型。

data Vertex = Vertex Int [Vertex]

其中，Int是顶点的索引数，而[Vertex]是与此顶点相邻的顶点。

现在，我想将这个数据类型显示为一个顶点索引列表:假设有两个顶点a和b，分别有索引1和2，它们彼此相邻。我的输出应该如下所示："[(1, [2])]"。

我发现我必须为Vertex编写一个Vertex实例。这是我的问题，如何显示递归数据类型？我觉得Haskell的懒惰可能是解决办法？

编辑-示例

正如我前面提到的，我有Vertex数据类型。现在，我有一个具有顶点及其相邻顶点的邻接列表：

adjacencyList :: [Vertex]
adjacencyList = [a, b, c]
 where a = Vertex 6 [b]
       b = Vertex 7 [a, c]
       c = Vertex 12 [b]

当我写这个

print adjacencyList

我希望输出如下所示：

[(6, [7]), (7, [6, 12]), (12, [7])]

Answer 1

如果您只需要直接邻接，那么递归并不是真正的问题，因为您可以这样做。

toAdjacency :: [Vertex] -> [(Int, [Int])]
toAdjacency = map outFrom
  where
    outFrom (Vertex i vs) = (i, map inTo vs)
    inTo (Vertex i _) = i

那么，show . toAdjacency正是您所追求的格式。