haskell - Haskell：如何使用这个数据结构

Question

我必须使用包含以下数据结构的分配代码：

data Rose a =  a :> [Rose a]

但是，我不知道如何使用这种数据结构，例如：如何创建它的实例以及如何循环遍历一个实例？

如果有人可以帮助我解决这个问题。

Answer 1

这个数据类型的构造函数是(:>)，它的类型是(:>) :: a -> [Rose a] -> Rose a。你可以用它来构造值

> 1 :> [] :: Rose [Int]
1 :> []
> 1 :> [2 :> [], 3 :> [1 :> []]] :: Rose [Int]
1 :> [2 :> [], 3 :> [1 :> []]]

它在功能上等同于

data Tree a = Node a [Tree a]

具有不同的名称，即Tree <=> Rose和Node <=> :>

如果你想要一个Functor实例，你会做

instance Functor (Rose a) where
    -- fmap :: (a -> b) -> Rose a -> Rose b
    fmap f (a :> rest) = (f a) :> (map (fmap f) rest)