CurryInfo: html2-3.5.0 / HTML.Base.htmlQuote

definition: 
htmlQuote :: String -> String
htmlQuote [] = []
htmlQuote (c:cs) | c=='<' = "&lt;"   ++ htmlQuote cs
                 | c=='>' = "&gt;"   ++ htmlQuote cs
                 | c=='&' = "&amp;"  ++ htmlQuote cs
                 | c=='"' = "&quot;" ++ htmlQuote cs
                 | otherwise = htmlIsoUmlauts [c] ++ htmlQuote cs
demand: 
argument 1
deterministic: 
deterministic operation
documentation: 
------------------------------------------------------------------------------
--- Quotes special characters (`<`,`>`,`&`,`"`, umlauts) in a string
--- as HTML special characters.
failfree: 
_
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{({[]}) |-> {[]} || ({:}) |-> _}
name: 
htmlQuote
precedence: 
no precedence defined
result-values: 
_
signature: 
String -> String
solution-complete: 
operation might suspend on free variables
terminating: 
yes
totally-defined: 
possibly non-reducible on same data term