Agda-2.2.4: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.String
Synopsis
quote :: String -> String
addFinalNewLine :: String -> String
indent :: Integral i => i -> String -> String
Documentation
quote :: String -> StringSource

quote adds double quotes around the string, and escapes double quotes and backslashes within the string. This is different from the behaviour of show: 

 > System.IO.UTF8.putStrLn $ show "\x2200"
 "\8704"
 > System.IO.UTF8.putStrLn $ quote "\x2200"
 "∀"
addFinalNewLine :: String -> StringSource
Adds a final newline if there is not already one.
indent :: Integral i => i -> String -> StringSource
Indents every line the given number of steps.
Produced by Haddock version 2.4.2