我对 Haskell 相当陌生,我想表达可能发生也可能不会发生的 IO 操作的概念。
Network.URI提供了解析URI的函数
parseURI :: String -> Maybe URI
在我的主函数中,我从用户那里获取输入
main :: IO ()
main = do
url <- getLine
getResource url
并使用parseURI函数
getResource :: String -> Maybe (IO ())
getResource url = parseURI url >>= doStuff
doStuff :: URI -> Maybe (IO ())
doStuff = undefined
正如你所看到的,我想使用 >>=
来避免我会处理 Maybes 的 case
级联。
我已经通过将 IO 嵌入 Maybe 来做到这一点。我想表达一个 IO 操作可能发生也可能不发生的情况。我应该用什么?我肯定不是第一个遇到这个问题的人。我研究过 MaybeT 和 MonadIO,但我不确定这就是我需要的。
具体来说,如果我将 doStuff 移动到 MaybeT IO ()
,我仍然会遇到 parseURI url::Maybe String
。如果我现在将其提升到 MaybeT,我会得到 MaybeT Maybe String
并且它不会与我的 doStuff::MaybeT IO ()
我希望它看起来更好(如果可能的话)并了解什么是正确的方向以及可以使用的主流工具是什么。
感谢您的时间和建议。
最佳答案
首先: IO ()
的类型可能发生也可能不发生的 Action 可以简单地IO ()
:你不关心结果,或者它是否成功,你只是希望它如果可能的话执行。
如果您确实关心成功,那么有两种选择。
-
Maybe (IO ())
是 Action 的类型还是不是 Action ,而是是否是透明的“纯值”。即,如果您有Maybe (IO ())
顶层的值,那么您就可以确定是否可以发生某个操作,而无需实际执行任何IO
首先。但这不能是您首先必须执行一些 IO 来确定关键操作是否会发生的值的类型,因为为了绑定(bind)任何 IO,您必须位于Just
中。Maybe
的分支!因此,如果成功取决于用户提供的字符串,那么这可能不是适合您的类型。 -
IO (Maybe ())
是IO
的类型可以执行任何需要确定要采取的操作的操作。该类型实际上相当于IO Bool
– 一个IO
返回一些指示标志的操作。您可以指定Just ()
表示发生了一些关键操作,并且Nothing
意味着它没有,但是没有办法从签名中实际看到这一点。
MaybeT IO ()
相当于后者,实际上可能是最适合您的应用程序的类型。只是,您需要正确地进行变压器吊装! lift
从变压器堆栈中向下执行一个操作,直到该堆栈的顶部。因此lift
!例如,您需要它来举起正常的 IO
类似getLine :: IO String
的行动进入MaybeT IO
堆栈:
lift getLine :: MaybeT IO String
但是如果你有一个纯粹的Maybe
值,您宁愿需要“支撑”它以获得 MaybeT IO
。最简单的方法就是使用 MaybeT
直接构造函数。
getResource :: String -> MaybeT IO ()
getResource url = MaybeT (return $ parseURI url) >>= doStuff
doStuff :: URI -> MaybeT IO ()
doStuff = undefined
关于haskell - 条件计算 Maybe (IO ()),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34711339/