CurryInfo: currypp-3.2.0 / CPP.ICode.Parser.SQL.Symboltab.combineST
definition: 
|
combineST :: Symboltable k v -> Symboltable k v -> Symboltable k v
combineST (ST (m1,n1) ms) (ST (m2,n2) _) =
ST ((Map.union m2 m1), (Map.union n2 n1)) ms
|
|
demand:
|
arguments 1 2 |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Combines two Symboltables. The current Scopes will be merged, all the remaining scopes are taken from the first table. Bindings for the same key will be overwritten by the binding in the current scope. |
|
failfree:
|
(_, _) |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{({ST},{ST}) |-> {ST}}
|
|
name:
|
combineST |
|
precedence:
|
no precedence defined |
|
result-values:
|
{ST}
|
|
signature:
|
Symboltable a b -> Symboltable a b -> Symboltable a b |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |