| definition: |
transQN :: String -> String
transQN tcons | tcons == "[]" = "List"
| tcons == ":" = "Cons"
| tcons == "()" = "Unit"
| tcons == "(,)" = "Pair"
| tcons == "(,,)" = "Triple"
| tcons == "(,,,)" = "Tuple4"
| tcons == "(,,,,)" = "Tuple5"
| otherwise = tcons
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
-- Transform a qualified (typ) constructor name into a name -- with alpha-numeric characters. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
transQN |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |