| definition: |
formatVarVals :: String -> [(String,String)] -> [String]
formatVarVals sep vvs =
map (\ (var,val) -> var ++ blanks (maxvar - length var) ++ sep ++
intercalate ('\n' : blanks (maxvar + length sep)) (lines val))
vvs
where
blanks n = take n (repeat ' ')
maxvar = maximum (map (length . fst) vvs)
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Format a list of variable/value string pairs and put the first argument -- between these strings. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> {:,[]}}
|
| name: |
formatVarVals |
| precedence: |
no precedence defined |
| result-values: |
{:,[]}
|
| signature: |
String -> [(String, String)] -> [String] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |