¿Hay un equivalente de Show type class para Data.Text?

Question

Todo el mundo sabe Show. Pero qué tal:

class ShowText a where 
    showText :: a -> Text 

No puedo encontrarlo en ninguna parte. ¿Por qué?

Answer 1

La biblioteca text-show existe ahora y resuelve exactamente este problema.

Update (2016 12 de febrero)

La función show proporcionado en la biblioteca basic-prelude renders también directamente al texto:

show :: Show a => a -> Text 

basic-prelude también tiene un menor número de dependencias que text-show. Si desea utilizar basic-prelude, se ahorrará dolores de cabeza de compilación, añadiendo lo siguiente a la parte superior de su archivo de origen:

{-# LANGUAGE NoImplicitPrelude #-} 

Answer 2

Es trivial para escribir su propia función que lleva a cuestas fuera Show:.

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

Answer 3

El problema con la creación del texto directamente es que todavía necesita saber el tamaño total de la estricta bloque de texto antes de llenarlo en Puede hacerlo mejor con un esquema de Constructor y usando Data.Text.Lazy. Dan Doel lo hace en bytestring-show, pero no conozco un equivalente para Text.

Answer 4

Para el caso particular de Int valores, aquí está el código para convertirlos en Text estrictos valores sin utilizar Strings en una etapa 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 

Módulo Data.Text.Lazy.Builder.RealFloat ofrece una funcionalidad similar para valores de coma flotante.

Con estos podemos definir una versión propia de la clase de tipos Show:

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 

entonces podemos empezar a añadir más instancias (una para tuplas sería útil, por ejemplo).

Answer 5

En tanto basic-prelude y classy-prelude hay una función tshow ahora.

tshow :: Show a => a -> Text 

Si está utilizando el preludio estándar, probar el text-show library.