Haskell 中是否有樹木的標准地圖功能？

Question

我需要編寫一個非遞歸函數來轉換我的樹。 但是我不能對樹木使用我自己的地圖功能。 Haskell 中是否有樹木的標准地圖功能？

data BTree a = Tip a | Bin (BTree a) (BTree a)
exapmeTree = Bin (Bin (Tip [1,2,3,4,5]) (Tip [3,9,7])) (Bin (Tip [6,7,8,9]) (Tip [8,2,1]))
myReverse list = foldl (\acc x -> x : acc) [] list

reverseTree tree = map myReverse tree

Answer 1

由於您自己創建了BTree類型，不，它沒有標准函數。 不過，您可以很容易地自己編寫一個Functor實例。

instance Functor BTree where
  fmap f (Tip a)   = Tip (f a)
  fmap f (Bin l r) = Bin (fmap f l) (fmap f r) 

現在你可以寫reverseTree tree = fmap myReverse tree 。

請注意， fmap與列表上下文中的map完全相同，但它更通用，這意味着它適用於任何Functor實例。

Answer 2

您可以自己編寫 fmap 函數，如 Rik 所示。

或者你可以使用自動生成的 Functor 實例提供的 fmap 函數。

在ghci下測試：

$ ghci
GHCi, version 8.6.5: http://www.haskell.org/ghc/  :? for help
 λ> 
 λ> :set -XDeriveFunctor
 λ> 
 λ> data BTree a = Tip a | Bin (BTree a) (BTree a)  deriving (Eq, Show, Functor)
 λ> 
 λ> exampleTree = Bin (Bin (Tip [1,2,3,4,5]) (Tip [3,9,7])) (Bin (Tip [6,7,8,9]) (Tip [8,2,1]))
 λ> 
 λ> reverseTree = fmap reverse exampleTree
 λ> 
 λ> reverseTree 
 Bin (Bin (Tip [5,4,3,2,1]) (Tip [7,9,3])) (Bin (Tip [9,8,7,6]) (Tip [1,2,8]))
 λ>