--                                                               
-- 	 UseStore.lhs

--          Using the abstract data type Store of stores of integers.			
--                                                                 
--          (c) Simon Thompson, 1998.					


module UseStore where

import Store

-- Testing the exported definitions of the show and equality.					

exam1 = show initial

exam2 = (initial == initial) 

-- Can you check a Store against its representation? You need to uncomment
-- the definition before you use it.

-- checkAbs = (initial == Sto [])

-- A complex store.

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

-- Show the store3.

exam3  = show store3 

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

exam4  = value store3 'a'