| definition: |
showResInfo :: AOutFormat -> ResiduationInfo -> String
showResInfo AText MayResiduate = "may residuate or has non-ground result"
showResInfo ANote MayResiduate = "residuate"
showResInfo AText (NoResiduateIf xs) =
"does not residuate" ++
case xs of
[] -> ""
[x] -> " if argument " ++ show x ++ " is ground"
_ -> " if arguments " ++ intercalate "," (map show xs) ++ " are ground"
showResInfo ANote (NoResiduateIf xs) =
"non-residuating" ++
if null xs then "" else " if " ++ intercalate "," (map show xs)
showResInfo AText NoResInfo = "unknown residuation behavior"
showResInfo ANote NoResInfo = "???"
|
| demand: |
arguments 1 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Show non-residuation information as a string. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({AText},{MayResiduate}) |-> {:} || ({AText},{NoResiduateIf}) |-> _ || ({AText},{NoResInfo}) |-> {:} || ({ANote},{MayResiduate}) |-> {:} || ({ANote},{NoResiduateIf}) |-> _ || ({ANote},{NoResInfo}) |-> {:}}
|
| name: |
showResInfo |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Analysis.Types.AOutFormat -> ResiduationInfo -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |