| definition: |
addSpaces :: Int -> Tokens -> String addSpaces m ts = case ts of LineBreak _ _ -> "" EOD -> "" Empty ts' -> addSpaces m ts' OpenGroup ts' -> addSpaces m ts' CloseGroup ts' -> addSpaces m ts' OpenNest _ ts' -> addSpaces m ts' CloseNest ts' -> addSpaces m ts' OpenFormat _ ts' -> addSpaces m ts' CloseFormat ts' -> addSpaces m ts' Text _ _ -> replicate m ' ' |
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{LineBreak}) |-> {[]} || (_,{EOD}) |-> {[]} || (_,{Empty}) |-> {:,[]} || (_,{OpenGroup}) |-> {:,[]} || (_,{CloseGroup}) |-> {:,[]} || (_,{OpenNest}) |-> {:,[]} || (_,{CloseNest}) |-> {:,[]} || (_,{OpenFormat}) |-> {:,[]} || (_,{CloseFormat}) |-> {:,[]} || (_,{Text}) |-> {:,[]}}
|
| name: |
addSpaces |
| precedence: |
no precedence defined |
| result-values: |
{:,[]}
|
| signature: |
Prelude.Int -> Tokens -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |