-------------------------------------------------------------------------
--  
--     UseStoreFun.hs
--  
--          Using an abstract data type StoreFun of stores of integers.     
--                                  
--         (c) Addison-Wesley, 1996-2011.                   
--  
-------------------------------------------------------------------------
                


module UseStoreFun where

import StoreFun

-- A complex store.

store = update (update (update initial 'a' 4) 'b' 5) 'a' 3

-- Lookup 'a' in store3; can see that 'a' has the value 3 rather than 4.

find  = value store 'a'