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 экземпляр для него, вы бы do

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