|
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
|