If you have only one alternative, then you can simply do:
Opt1 <- someIO
E.g., if you are _sure_ that foo returns always a 'Just' within a monad you can perfectly do :
Just x <- foo
2011/3/14 tsuraan
<tsuraan@gmail.com>
In my code, I'm doing this quite a lot:
x <- someIO
case x of
Opt1 -> ...
Having a line for extracting the value from the IO (or STM) and then
acting on the value seems unnatural. Is there a more concise way to
do this? This code:
case someIO of
Opt1 -> ...
Doesn't work, but is there something like that, that is valid?
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe