Haskell'de String/Char için show yöntemini geçersiz kıl

Question

Bir sorum var: Dize veya Char için show yöntemini nasıl geçersiz kılabilirim? Teşekkürler. insanlar benim yorumunu gibi görünüyor yana

Answer 1

yazdıracaktır Bunu yapmak istiyorsan, yanlış yapıyorsun.

Daha teknik bir neden için, önceki bir soruya bakın, my answer.

Sen gerçekten (muhtemelen kendi tip sınıf aracılığıyla) kendi a -> String fonksiyonları kullanarak veya daha detaylı çıkışları için oldukça-baskı kitaplığı (bunlardan bazıları zaten bir dahili Pretty sınıf var) kullanmak gerekir.

Answer 2

, işte burada bir cevap gibidir:

varolan türlerinde tip sınıfları reimplement istiyorsanız

, bir newtype -declared tipinde dolayabilirsiniz. Bu, kendi uygulamalarınızı, çalışma zamanında herhangi bir gerçek ek yük olmadan tanımlamanıza olanak tanır (çünkü newtype orijinal türüne izomorftur, çalışma zamanında gerçek bir boks işlemi yapılmaz).

Bu şuna benzer olabilir:

newtype MyChar = MyChar Char 

instance Show MyChar where 
    show (MyChar c) = "head \"" ++ c : "\"" 

Bu kullanabilirsiniz Char s sararak MyChar ile, şöyle:

print $ fmap MyChar "test" 

Bu

[head "t",head "e",head "s",head "t"]