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)