Module Data.Assoc

Library to deal with a single global association between strings.

Author: Michael Hanus

Summary of exported operations:

setAssoc :: String -> String -> IO ()  Deterministic 
Defines a global association between two strings.
getAssoc :: String -> IO (Maybe String)  Deterministic 
Gets the value associated to a string.

Exported operations:

setAssoc :: String -> String -> IO ()  Deterministic 

Defines a global association between two strings. Both arguments must be evaluable to ground terms before applying this operation.

getAssoc :: String -> IO (Maybe String)  Deterministic 

Gets the value associated to a string. Nothing is returned if there does not exist an associated value.