3 Feb
2007
3 Feb
'07
7:25 a.m.
On Sat, Feb 03, 2007 at 10:13:17AM +0100, apfelmus@quantentunnel.de wrote:
Chad Scherrer wrote:
So in reality, I'm trying to construct something like f :: (a -> STM b) -> STM (a -> b)
Indeed, such an f most likely does not exist.
Yes, consider: f readTVar :: STM (TVar c -> c) That would be pretty dangerous. Best regards Tomasz