store.hs

data Store s a = Store (s -> a) s

-- Read out the store at some specific position
peek :: s -> Store s a -> a
peek = _

-- Modify the current focus, and read the store using the new focus.
peeks :: (s -> s) -> Store s a -> a
peeks = _

-- Set the current focus
seek :: s -> Store s a -> Store s a
seek = _

-- Modify the current focus
seeks :: (s -> s) -> Store s a -> Store s a
seeks = _

-- Run an experiment in the store.
experiment :: Functor f => (s -> f s) -> Store s a -> f a	
experiment = _