CurryInfo: roman-2.0.0 / Data.Roman.showsRoman

definition:
 
showsRoman :: Roman -> ShowS
showsRoman r = case r of
  Minus m n       -> showsRoman m . showsRoman n
  Plus  n p       -> showsRoman n . showsRoman p
  _               -> shows r
demand:
 argument 1
deterministic:
 deterministic operation
documentation:
 
Shows roman numbers continuation style.
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {({Minus}) |-> {.._#lambda508} || ({Plus}) |-> {.._#lambda508} || ({I}) |-> _ || ({V}) |-> _ || ({X}) |-> _ || ({L}) |-> _ || ({C}) |-> _ || ({D}) |-> _ || ({M}) |-> _}
name:
 showsRoman
precedence:
 no precedence defined
result-values:
 _
signature:
 Roman -> String -> String
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term