interface Display a where
display : a -> String
Convertit une valeur en chaîne lisible par un humain — ce qu'une personne doit lire.
C'est le pendant de show : show est fidèle et réversible (il ressemble à du code oppi valide — show "hi" = "\"hi\"", avec les guillemets), tandis que display est la forme humaine (display "hi" = "hi", brute). Pour la plupart des types les deux coïncident, donc tout type Show est Display gratuitement via le blanket ci-dessous ; un type ne donne son propre display que lorsque la forme humaine diffère vraiment (un String est le premier cas).
Instances : String