list - 如何连接两个 Snoc 列表？

Question

我必须构建一个Snoc列表，与Cons相反。我已经完成了向前添加一个元素我不知道如何连接两个列表。现在的情况是这样的：

module Tsil where

data Tsil a = Lin
            | Snoc (Tsil a, a)
            deriving (Eq, Ord, Show, Read)


empty :: Tsil a
empty = Lin

infixr 2 |: 
(|:) :: a -> Tsil a -> Tsil a
(|:) a t = Snoc (t, a)

infixr 5 |++
(|++) :: Tsil a -> Tsil a -> Tsil a 
(|++) a Lin = a
(|++) Lin a = a

Answer 1

(|++) l (Snoc (t,x)) = Snoc (l |++ t,x)

Answer 2

您的列表类型与 Haskell 的相同，因此只需将其设为 Haskell 列表，连接，转换回来。Haskell 中的可重用性万岁 ;-)

toList Lin = []
toList (Snoc (xs, x)) = x : toList xs

toTsil [] = Lin
toTsil (x:xs) = Snoc (toTsil xs, x)

a (|++) b = toTsil $ toList a ++ toList b