Esiste un equivalente del tipo di classe Show per Data.Text?

Question

Tutti sanno Show. Ma che dire:

class ShowText a where 
    showText :: a -> Text 

Non riesco a trovarlo da nessuna parte. Perché?

Answer 1

La libreria text-show esiste ora e risolve esattamente questo problema.

Update (2016 Feb 12)

La funzione show fornito nella libreria basic-prelude rende anche direttamente al testo:

show :: Show a => a -> Text 

basic-prelude ha anche un minor numero di dipendenze rispetto text-show. Se si desidera utilizzare basic-prelude, salva te stesso mal di testa di compilazione aggiungendo il seguente alla parte superiore del file di origine:

{-# LANGUAGE NoImplicitPrelude #-} 

Answer 2

E 'banale per scrivere la propria funzione piggybacking fuori Show:.

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

Answer 3

Il problema con la creazione del testo direttamente è ancora bisogno di conoscere la dimensione complessiva del blocco di testo rigoroso prima di riempirlo in è possibile fare meglio con uno schema Builder e utilizzare Data.Text. Lazy. Dan Doel fa questo in bytestring-show, ma non sono a conoscenza di un equivalente per il testo.

Answer 4

Nel caso particolare di Int valori, ecco il codice per convertirli in severe Text valori senza utilizzare Strings in una fase intermedia:

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 

modulo Data.Text.Lazy.Builder.RealFloat offre funzionalità simili per valori a virgola mobile.

Con questi possiamo definire una nostra versione del 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 

Poi possiamo iniziare ad aggiungere più istanze (una per tuple sarebbe utile per esempio).

Answer 5

In entrambi basic-prelude e classy-prelude c'è una funzione tshow ora.

tshow :: Show a => a -> Text 

Se si utilizza il preludio di serie, provare il text-show library.