Core.Show — oppi

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

Convert a value to its String representation.

Two methods, mutually defaulting, so an instance need only give one:

show — the everyday "show me this value" (precedence 0).
showsPrec d — show at surrounding precedence d, adding parentheses

when the value would otherwise be ambiguous (e.g. a constructor with arguments sitting inside another). By convention function application has precedence 10, so a field of a constructor is shown at 11: that is what makes Just (Just 3) print with the inner parentheses. Hand-written instances of atomic values just give show; the derived Show (and the compound instances below) give showsPrec for faithfulness.

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

Wrap a string in parentheses when the flag is set — the precedence guard used throughout precedence-aware showsPrec.

escStringChar : Char -> String

showStringInner : List Char -> String

doubleIsBare : List Char -> Bool

showDoubleFull : Double -> String

showCommaList : Show a => List a -> String

Comma-separated elements, for showing lists.

Show — conversion to String