Text.Printf with Data.Text?

Question

Me cansé de desempaquetar instancias Data.Text todo el tiempo antes de imprimirlas para la depuración y pensé simplemente usar Text.Printf para eso. Por desgracia, no pude hacer que funcione:

{-# LANGUAGE OverloadedStrings #-} 
{-# LANGUAGE ScopedTypeVariables #-} 
import Data.Text 
import Text.Printf 

--instance PrintfArg Text where 
-- toUPrintf = toUPrintf . unpack 

main :: IO() 
main = do 
    let input :: Text = "abc" 
    printf "Input: %s\n" input 

El error:

src/Main.hs:12:3: 
    No instance for (PrintfArg Text) 
     arising from a use of `printf' 
    Possible fix: add an instance declaration for (PrintfArg Text) 
    In a stmt of a 'do' block: printf "Input: %s" input 
    In the expression: 
     do { let input :: Text = "abc"; 
      printf "Input: %s" input } 
    In an equation for `main': 
     main 
      = do { let input :: Text = ...; 
       printf "Input: %s" input } 

Después descomentando la declaración de la instancia:

src/Main.hs:7:7: 
    `toUPrintf' is not a (visible) method of class `PrintfArg' 
src/Main.hs:7:19: Not in scope: `toUPrintf' 

¿Alguna idea?

editado

Como se sugirió, intentó TH, sigue sin ir:

{-# LANGUAGE OverloadedStrings #-} 
{-# LANGUAGE ScopedTypeVariables #-} 
{-# LANGUAGE TemplateHaskell #-} 
import Data.Text 
import Language.Haskell.TH 
import Text.Printf 

runQ [d| instance PrintfArg Text where toUPrintf = toUPrintf . unpack|] 

main :: IO() 
main = do 
    let input :: Text = "abc" 
    printf "Input: %s\n" input 

error:

src/Main.hs:9:40: 
    'toUPrintf' is not a (visible) method of class 'PrintfArg' 
src/Main.hs:9:52: Not in scope: 'toUPrintf' 

Ayuda! Es sorprendente que esto no funcione de la caja dado todos los consejos para usar Data.Text por defecto.

Answer 1

ADVERTENCIA : el formato de texto no se mantiene, no hay respuesta del autor en 2 años. Ver otras respuestas

---

me vería en el paquete text-format: es similar a Text.Printf, pero diseñado específicamente para Data.Text.Lazy.

Hay algunas otras ventajas del formato de texto sobre Text.Printf:

• Buildable La clase está expuesto, por lo que puede ser extendida para soportar nuevos tipos de parámetros.
• Utiliza un enfoque más simple para varargs, que esquiva los problemas que uno tiene en Text.Printf con accessing the return value.
• que debería ser mucho más rápido, por varias razones:
  • nunca se convierte en la representación String ineficiente;
  • no construye tipos de datos intermedios, a diferencia de UPrintf en Text.Printf;
  • usa el paquete double-conversion para representar Double y Float, que es aproximadamente 30 times faster que los métodos de Prelude.

Answer 2

De la documentación:

The HPrintfType class provides the variable argument magic for hPrintf. Its implementation is intentionally not visible from this module.

Mientras que usted podría usar TH generar instancias HPrintfType (porque TH hace caso omiso de las restricciones de exportación) la solución más sencilla es probablemente una función printf' Tipo:

printt :: PrintType r => Text -> r 
printt = printf . Data.Text.unpack 

Answer 3

Otro paquete vale la pena ver: formatting

Combinator-based type-safe formatting (like printf() or FORMAT) for Text.

Example:

format ("Person's name is " % text % ", age is " % hex) "Dave" 54