Haskell -如何在IO函数中使用？
Haskell -如何在IO函数中使用？
提问于 2021-09-18 16:58:35
main :: IO ()
main = do
result <- function_returns_io_maybe -- type of result is Maybe x
-- if result maybe is Just, run function that return IO() with result, else do not run function.如何在IO函数中使用？
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-09-18 19:33:57
只要表达式具有正确的一元类型，就可以在do块中写入任何表达式。特别是，您可以进行案例分析：
main = do
result <- something
case result of
Just r -> somethingElse r
Nothing -> return ()(其中something :: IO (Maybe X); somethingElse :: X -> IO ())
就我个人而言，我会用一个lambda案例和一个绑定来写这个：
{-# LANGUAGE LambdaCase #-}
main = something >>= \case
Just r -> somethingElse r
Nothing -> return ()Maybe上的案例分析用maybe组合器编写得更简洁：
main = maybe somethingElse (return ()) =<< somethingControl.Monad.Extra.whenJustM捕获了整个类型的操作：
import Control.Monad.Extra (whenJustM)
main = whenJustM something somethingElse页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/69239559
复制
相似问题
Haskell -如何在IO函数中使用纯函数？
Haskell远程文件IO库(如kio)？
定义haskell函数[IO a] -> IO[a]
如何在Haskell中调用Ptr GLubyte -> IO()类型的函数
如何在Haskell中处理递归函数中的副IO操作？
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
