CurryInfo: exact-print-2.0.0 / Curry.ExactPrint.ppLit

definition: Info
 
ppLit :: Literal -> String
ppLit (Char   c) = ['\'', c, '\'']
ppLit (Int    i) = show i
ppLit (Float  f) = show f
ppLit (String s) = "\"" ++ s ++ "\""
demand: Info
 argument 1
deterministic: Info
 deterministic operation
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({Char}) |-> {:} || ({Int}) |-> _ || ({Float}) |-> _ || ({String}) |-> _}
name: Info
 ppLit
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Curry.Types.Literal -> String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term