haskell - (某事-> 做)的意思

Question

我在 Real World Haskell 书中遇到了以下函数:

namesMatching pat
  | not (isPattern pat) = do
    exists <- doesNameExist pat
    return (if exists then [pat] else [])
  | otherwise = do
    case splitFileName pat of
      ("", baseName) -> do
          curDir <- getCurrentDirectory
          listMatches curDir baseName
      (dirName, baseName) -> do
          -- do something
          return (concat pathNames)

以下一行是什么意思: ("", baseName) -> do ?我见过 ->在函数类型签名中，但这在这段代码中做了什么。

Answer 1

->是 case 语法的一部分，它将模式与替代中的表达式连接起来。
do { ... }只是一种表达。