Cách tiêu chuẩn tham gia hai Data.Texts không có `mappend`

Question

Tôi nghe rằng Data.Text sẽ thay thế String giây trong các phiên bản Haskell trong tương lai. Một vấn đề tôi có với điều này là (++) chỉ được xác định cho danh sách. Để nối hai số điện thoại Text s, tôi cần sử dụng

text1 `mappend` text2 

Được tiết lộ nhanh chóng. Lý tưởng nhất là tôi muốn có thể sử dụng ++ trên các số Text s này, nhưng nếu không, một giải pháp thay thế khác là gì? Tôi có thể định nghĩa toán tử infix của riêng mình, nhưng tôi muốn một cách tiêu chuẩn để làm điều này.

Answer 1

Từ GHC 7.4 (không chắc chắn phiên bản điểm nào) có một toán tử được xác định trước <> hoạt động giống như mappend. Vì vậy, bạn sẽ có thể nói

text1 <> text2 

Vì vậy, đó là toán tử "chuẩn", nhưng chưa có ở mọi nơi.

Answer 2

Chỉ cần sử dụng mconcat cho tất cả các loại monoids. Bạn không cần nhập bất kỳ thứ gì và mã trông sạch sẽ hơn nhiều.

dụ:

{-# LANGUAGE OverloadedStrings #-} 

import   Data.Text 

table :: Text 
table = "user" 

fields :: [Text] 
fields = ["id","nickname","password","date","posts","comments"] 

insertquery :: Text -> [Text] -> Text 
insertquery table fields = mconcat 
    ["insert into ",table," (",names,") values (",vals,");"] 
    where 
    names = insertcomma fields 
    vals = insertcomma [singleton '?' | _ <- fields] 
    insertcomma = intercalate (singleton ',') 

và kết quả nó mang lại:

lĩnh vực bảng

λ> insertquery

"chèn vào sử dụng (id, biệt danh, mật khẩu, ngày tháng, bài viết, ý kiến) giá trị (?,?,?,?,?,?); "