Hi all, I have a tuple inside a TVar :
type MySTM = TVar (Int,Int)
Whenever I want to edit/read 'a' or 'b' I find myself writing :
editFunction mySTM = do (a',b') <- readTVar mySTM dostuff a' ...
This is boilerplate stuff, so I decided to write some accessors. So far I have :
getA , getB :: MySTM -> STM Int getA mySTM = do (a',b') <- readTVar mySTM return a'
getB mySTM = do (a',b') <- readTVar mySTM return b'
I want to be able to use these accessors like so:
doSomethingWithA mySTM = do case (getA mySTM) of 1 -> doStuff 0 -> doSomethingElse
But getA returns an STM Int, so I still have to do a :
doSomethingWithA = do a' <- (getA mySTM) case a' of 1 -> doStuff 0 -> doSomethingElse
This doesn't really save me a lot of boilerplate. What is the best way of writing a function that just returns my values do I can work with them in the STM monad without unpacking them all the time? Thanks , Deech