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

 
lookupFirstTable :: String -> Symboltable a b -> Maybe a
lookupFirstTable k (ST (m,_) Nothing ) = Map.lookup k m
lookupFirstTable k (ST (m,_) (Just s)) = case Map.lookup k m of
                                       Just v -> Just v
                                       Nothing -> lookupFirstTable k s

 argument 2

 deterministic operation

 
Lookupfunction: First looks up the key in the current scope (first table)
if it is not found the surrounding scope will be used and so on.
Returns Nothing if no value was found.

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{ST}) |-> {Just,Nothing}}

 lookupFirstTable

 no precedence defined

 {Just,Nothing}

 String -> Symboltable a b -> Prelude.Maybe a

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term