CurryInfo: currypp-3.2.0 / CPP.ICode.Parser.SQL.Symboltab.enterScope

definition: Info
 
enterScope :: Symboltable a b  -> Symboltable a b
enterScope s@(ST (_,n) _ ) = ST (Map.empty ,n) (Just s)
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
Create a new scope inside the last one
(first table, leaving the secong one unchanged).
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({ST}) |-> {ST}}
name: Info
 enterScope
precedence: Info
 no precedence defined
result-values: Info
 {ST}
signature: Info
 Symboltable a b -> Symboltable a b
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms