如何在Haskell中对函数中的真/假进行模式匹配？

yuvru6vn 于 2022-11-14 发布在其他

关注(0)|答案(2)|浏览(200)

我尝试手动处理文件错误，以便打印我自己的消息，目前我有以下代码：

handleFileError :: FileError -> IO a
handleFileError (FileError errorKind) = do
  case errorKind of
    NotFound -> undefined
    NoPermission -> undefined
    IsDirectory -> undefined
fileRead :: String -> IO String
fileRead file = do
  pathExists <- doesPathExist file
  notDirectory <- doesFileExist file
  -- These two must be handled before `System.Directory.getPermissions` is called
  -- or else it will error.
  permissions <- getPermissions file
  let hasReadPermissions = readable permissions
  if hasReadPermissions then undefined -- This is the success case
  else handleFileError $ FileError NoPermissions

我想检查3个布尔值（pathExists，notDirectory和hasReadPermissions）中是否有一个为false，然后相应地执行。我尝试使用False的case来实现这一点，但是这总是运行第一个分支。

haskell

来源：https://stackoverflow.com/questions/74207479/how-to-pattern-match-for-a-true-false-within-a-function-in-haskell

2条答案

按热度按时间

o2g1uqev1#

一种方法是使用MultiWayIf：

do
  pathExists <- doesPathExist file
  notDirectory <- doesFileExist file
  permissions <- unsafeInterleaveIO (getPermissions file)
  if
    | not pathExists -> -- ...
    | not notDirectory -> -- ...
    | not permissions -> -- ...
    | otherwise -> -- ...

如果您对扩展过敏，则获得此功能的老式方法是使用guards，如下所示：

case () of
    _ | not pathExists -> -- ...
      | not notDirectory -> -- ...
      | not permissions -> -- ...
      | otherwise -> -- ...

但是我不推荐这两种方法，相反，只要对文件做些什么，然后捕获异常;否则，在检查和文件使用之间，文件系统会发生变化，出现竞争情况。

fileRead :: String -> IO String
fileRead = catch (undefined {- success case -}) $ \e -> if
  | isDoesNotExistError e -> -- ...
  | isPermissionError e -> -- ...
  | otherwise -> throw e

展开查看全部

赞(0）回复(0）举报 2022-11-14

i2byvkas2#

我已经解决了这个问题--我没有意识到嵌套if语句的方式可以像其他语言中的else-if一样：

if not (pathExists) then handleFileError $ FileError NotFound
  else if not (notDirectory) then handleFileError $ FileError IsDirectory
  else do
    permissions <- getPermissions file
    let hasReadPermissions = readable permissions
    if hasReadPermissions then undefined -- success
    else handleFileERror $ FileError NoPermissions

赞(0）回复(0）举报 2022-11-14

我来回答

如何在Haskell中对函数中的真/假进行模式匹配？

2条答案

相关问题

热门标签

最新问答