内容简介：http://stackoverflow.com/questions/8540999/extracting-a-maybe-value-in-io
给出以下内容：
> (liftM2 fromMaybe) (ioError $userError "OOPS") (return $Just "ok")
ghci给我
*** Exception: user error (OOPS)
当然,从Mayay可以正常工作：
> (liftM2 fromMaybe) (return $"not me") (return $Just "ok") "ok"
但是,IO操作似乎正在执行,然后被丢弃：
> (liftM2 fromMaybe) (putStrLn "computing.." >> "discarded") (return $Just "ok") computing.. "ok"
为什么会发生这种情况？有没有办法使IO monad lazier？
具体来说,给定值:: IO(也许a)一个(干净,简洁)的方式
result <- (liftM2 fromMaybe) err value
并解压缩结果或相应地引发IOError？
我不知道制作IO懒惰是这里的正确方向.你似乎想做的是首先得到可能,然后消除它.这可以写几种方法,这里有一个选项：
test :: IO (Maybe a) -> IO a test = (>>= maybe (ioError $userError "oops") return)
http://stackoverflow.com/questions/8540999/extracting-a-maybe-value-in-io
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
PHP项目开发全程实录
清华大学出版社 / 2008 / 56.00元
《软件项目开发全程实录丛书•PHP项目开发全程实录:DVD17小时语音视频讲解(附光盘1张)》主要特色： （1）12-32小时全程语音同步视频讲解，目前市场上唯一的“全程语音视频教学”的案例类 图书，培训数千元容，尽在一盘中！ （2）10套“应用系统”并公开全部“源代码”，誓将案例学习进行到底！ （3）丛书总计80个应用系统300个应用模块。 （4）含5000页SQL se......一起来看看 《PHP项目开发全程实录》 这本书的介绍吧!
图片转BASE64编码
在线图片转Base64编码工具
RGB HSV 转换
RGB HSV 互转工具