Có tương đương với Hiển thị kiểu chữ cho Data.Text không?

Question

Mọi người đều biết Show. Nhưng còn về:

class ShowText a where 
    showText :: a -> Text 

Tôi không thể tìm thấy địa điểm này ở bất kỳ đâu. Tại sao?

Answer 1

Thư viện text-show hiện tồn tại và giải quyết chính xác vấn đề này.

Update (2016 Feb 12)

Các show chức năng được cung cấp trong thư viện basic-prelude cũng làm cho thẳng vào văn bản:

show :: Show a => a -> Text 

basic-prelude cũng có phụ thuộc ít hơn text-show. Nếu bạn muốn sử dụng basic-prelude, tiết kiệm cho mình đau đầu biên soạn bằng cách thêm dòng sau vào phía trên cùng của tập tin nguồn của bạn:

{-# LANGUAGE NoImplicitPrelude #-} 

Answer 2

Đó là tầm thường để viết chức năng riêng của bạn cõng tắt Show:.

showText :: Show a => a -> Text 
showText = pack . show 

Answer 3

Vấn đề với việc tạo ra các văn bản trực tiếp là bạn vẫn cần phải biết kích thước tổng thể của các văn bản khối nghiêm ngặt trước khi điền nó trong Bạn có thể làm tốt hơn với chương trình Builder và sử dụng Data.Text.Lazy. Dan Doel thực hiện điều này trong bytestring-show, nhưng tôi không biết tương đương với Text.

Answer 4

Đối với trường hợp cụ thể của Int giá trị, đây là đoạn code để chuyển đổi chúng thành Text giá trị nghiêm ngặt mà không sử dụng Strings trong một giai đoạn trung gian:

import Data.Text 
import Data.Text.Lazy (toStrict) 
import Data.Text.Lazy.Builder (toLazyText) 
import Data.Text.Lazy.Builder.Int (decimal) 

showIntegral :: Integral a => a -> T.Text 
showIntegral = toStrict. toLazyText . decimal 

Mô-đun Data.Text.Lazy.Builder.RealFloat cung cấp chức năng tương tự cho các giá trị dấu chấm động.

Với những chúng ta có thể xác định một phiên bản của chúng tôi riêng của Show typeclass:

import Data.Text 
import Data.Text.Lazy (toStrict) 
import Data.Text.Lazy.Builder (toLazyText) 
import Data.Text.Lazy.Builder.Int (decimal) 
import Data.Text.Lazy.Builder.RealFloat (realFloat) 

class ShowText a where 
    showText :: a -> Text 

instance ShowText Int where 
    showText = toStrict . toLazyText . decimal 

instance ShowText Float where 
    showText = toStrict . toLazyText . realFloat 

Sau đó, chúng ta có thể bắt đầu thêm các trường hợp hơn (một cho các tuple sẽ có ích ví dụ).

Answer 5

Trong cả hai basic-prelude và classy-prelude có một chức năng tshow bây giờ.

tshow :: Show a => a -> Text 

Nếu bạn đang sử dụng nút chuẩn, hãy thử text-show library.