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

Show — conversion en String

Synopsis 
interface Show a where
show : a -> String
showsPrec : Nat -> a -> String

Convertit une valeur en sa représentation String.

Deux méthodes, qui se définissent mutuellement par défaut, de sorte qu'une instance n'a besoin d'en fournir qu'une :

  • show — le « montre-moi cette valeur » de tous les jours (précédence 0).
  • showsPrec d — affiche à la précédence environnante d, en ajoutant des parenthèses

lorsque la valeur serait sinon ambiguë (par exemple un constructeur avec des arguments placé à l'intérieur d'un autre). Par convention, l'application de fonction a la précédence 10, donc un champ d'un constructeur est affiché à 11 : c'est ce qui fait que Just (Just 3) s'affiche avec les parenthèses internes. Les instances écrites à la main pour des valeurs atomiques ne fournissent que show ; le Show dérivé (et les instances composées ci-dessous) fournissent showsPrec par fidélité.

Instances : Bool, Char, Double, Duration, FileError, Instant, Int, Int16, Int32, Int64, Int8, LocalDate, LocalDateTime, LocalTime, Nat, OffsetDateTime, Ordering, Path, Period, Rational, String, Unit, Uuid, Word16, Word32, Word64, Word8, ZoneOffset
showParen : Bool -> String -> String

Entoure une chaîne de parenthèses lorsque le drapeau est activé — le garde-fou de précédence utilisé partout dans showsPrec, qui tient compte de la précédence.

escStringChar : Char -> String
showDoubleFull : Double -> String
showCommaList : Show a => List a -> String

Éléments séparés par des virgules, pour afficher des listes.