FR
PréludeChargé par défaut — aucun import nécessaire.

Display — human-readable conversion to String

Synopsis
interface Display a where
display : a -> String

Convert a value to a human-readable String — what a person should read.

This is the counterpart of show: show is faithful and round-trippable (it looks like valid oppi code — show "hi" = "\"hi\"", with the quotes), whereas display is the human form (display "hi" = "hi", raw). For most types the two agree, so every Show type is a Display for free through the blanket below; a type gives its own display only when the human form really differs (a String is the first such case).

Instances : String