Toán tử concat (++) tùy chỉnh trong haskell

Question

Có thể xác định toán tử ++ của riêng tôi cho một kiểu dữ liệu tùy chỉnh trong Haskell không?

tôi có:

data MyType = MyType [String] 

và tôi muốn xác định điều hành nối của riêng tôi như:

instance ? MyType where 
    (MyType x) ++ (MyType y) = MyType (x ++ y) 

tôi dường như không thể tìm ra tên của lớp dụ bất cứ nơi nào.

Answer 1

Nếu bạn không nhấn mạnh vào gọi các nhà điều hành (++),

import Data.Monoid 

instance Monoid MyType where 
    (MyType x) `mappend` (MyType y) = MyType (x ++ y) 
    mempty = MyType [] 

Sau đó, bạn có thể sử dụng

(<>) :: Monoid m => m -> m -> m 

mà là một bí danh cho mappend (Tôi nghĩ rằng nó đã là một thành viên lớp loại, nhưng nó không phải là : /). Danh sách hava a Monoid trường hợp trong đó mappend là (++), do đó sẽ làm những gì bạn mong muốn. Các ví dụ Monoid cũng cung cấp cho bạn

mconcat :: Monoid m => [m] -> m 

mà bạn có thể sử dụng để nối một danh sách các MyType s.

Answer 2

đơn giản nhất nó sẽ làm

import Prelude hiding ((++)) 
import qualified Prelude as P 

data MyType = MyType [String] 

class PlusAble a where 
    infixr 5 ++ 
    (++) :: a -> a -> a 

instance PlusAble MyType where 
    (MyType x) ++ (MyType y) = MyType (x P.++ y) 

-- EDIT: 
instance PlusAble [a] where 
    x ++ y = x P.++ y 

Answer 3

(++) toán tử không thuộc bất kỳ loại loại nào. Bạn có thể dễ dàng kiểm tra điều này:

$ ghci 
Prelude> :info (++) 
(++) :: [a] -> [a] -> [a] -- Defined in `GHC.Base' 
infixr 5 ++ 

Vì vậy, nó chỉ là chức năng đơn giản được xác định trong mô-đun GHC.Base. Bạn có thể ẩn nó và xác định riêng của bạn:

import Prelude hiding ((++)) 
import qualified Prelude -- to get hidden (++) as Prelude.(++) 

-- your brand new (++) 
infixr 5 ++ 
(MyType x) ++ (MyType y) = MyType (x Prelude.++ y)