CurryInfo: verify-non-fail-2.0.0 / FlatCurry.Print.showExp

definition:
 
showExp :: Expr -> String
showExp = pPrint . ppExp
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Shows a pretty-printed FlatCurry expression.
failfree:
 <FAILING>
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {() |-> {.._#lambda508}}
name:
 showExp
precedence:
 no precedence defined
result-values:
 {.._#lambda508}
signature:
 FlatCurry.Types.Expr -> String
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term