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 <[email protected]>

> 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
> [email protected]
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to