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

Interpolation — incorporer des valeurs dans l'interpolation de chaînes "…\{e}…"

Synopsis
interface Interpolation a where
interpolate : a -> String

Comment une valeur est rendue lorsqu'elle apparaît à l'intérieur d'une chaîne interpolée. Contrairement à show, interpolate n'ajoute AUCUN guillemet autour d'une String, donc "hi \{name}" insère name tel quel. Une expression interpolée doit posséder une instance Interpolation pour son type.

Instances : Bool, Char, Double, Int, Nat, String