Text.Printfの結果をStringに変換するにはどうすればよいですか？

Question

Text.Printfの結果は、PrintfType型の変数です。

この結果をStringに変換する方法はありますか？私はそのような何かしたい

：convertToString :: PrintfType - >文字列

を私はどこでも検索したが、私は何かを見つけることができません。

Answer 1

Text.Printfの結果は、PrintfType型の変数です。

番号PrintfTypeはタイプ自体ではなく、タイプに対する制約です。注意してくださいmodule Text.Printfによって提供さPrintfTypeのインスタンスは、次のとおりです。

IsChar c => PrintfType [c] 
(~) * a() => PrintfType (IO a) 
(PrintfArg a, PrintfType r) => PrintfType (a -> r) 

はStringにこの結果を変換する方法はありますか？

変換が不要で、String ~ [Char]があり、インスタンスIsChar Charが存在します。したがって、PrintfType Stringという制約が満たされます。

私はそのような何かしたい：convertToString :: PrintfType - >文字列

あなたの代わりに制約のタイプとしてPrintfTypeを使用しているので、意味がありません。