|
definition:
|
showComplete :: AOutFormat -> Completeness -> String
showComplete AText Complete = "complete"
showComplete ANote Complete = ""
showComplete _ InComplete = "incomplete"
showComplete _ InCompleteOr = "incomplete in each disjunction"
|
|
demand:
|
argument 2
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Shows the result of the completeness analysis.
|
|
failfree:
|
(_, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({AText},{Complete}) |-> {:} || ({ANote},{Complete}) |-> {[]} || (_,{InComplete}) |-> {:} || (_,{InCompleteOr}) |-> {:}}
|
|
name:
|
showComplete
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
{:,[]}
|
|
signature:
|
Analysis.Types.AOutFormat -> Completeness -> String
|
|
solution-complete:
|
operationally complete operation
|
|
terminating:
|
yes
|
|
totally-defined:
|
reducible on all ground data terms
|