-------------------------------------------------------------------------
--  
-- 	   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'