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

Interpolation — embedding values in string interpolation "…\{e}…"

Synopsis
interface Interpolation a where
interpolate : a -> String

How a value is rendered when it appears inside an interpolated string. Unlike show, interpolate adds NO quoting around a String, so "hi \{name}" splices name verbatim. An interpolated expression must have an Interpolation instance for its type.

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