(某事->做)的意思

自己

我在真实世界的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我已经->在函数类型签名中看到过,但是在这段代码中这是做什么的。

英戈

->是大小写语法的一部分,用于将模式与表达式连接在一起。

do { ... } 只是一种表达而已。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

在后台做某事

来自分类Dev

在Scroll上做某事

来自分类Dev

自动做某事

来自分类Dev

在Scroll上做某事

来自分类Dev

这是什么意思:if(variable){/ *做某事* /}

来自分类Dev

每秒n次如何做某事?

来自分类Dev

未按下键时的ReadKey做某事

来自分类Dev

我每秒如何做某事?[LibGDX]

来自分类Dev

到期时间到期后做某事[infinispan]

来自分类Dev

用Silverstripe删除后如何“做某事”

来自分类Dev

选择onfocusin做某事不起作用

来自分类Dev

如何计算每个用户做某事的次数?

来自分类Dev

做某事后关闭终端窗口

来自分类Dev

满足复杂的条件然后做某事

来自分类Dev

位置更新后做某事的最佳实践是什么?

来自分类Dev

如何打印导致fswatch做某事的文件路径

来自分类Dev

有没有办法让if(null)做某事

来自分类Dev

如何每天在特定时间在Android中做某事

来自分类Dev

文档滚动问题(键入动画/使div做某事)

来自分类Dev

要求繁殖代理人ID做某事

来自分类Dev

以“类型安全”的方式做某事意味着什么?

来自分类Dev

Angular 8在导航开始之前取消或做某事

来自分类Dev

在后台Django中做某事的最好方法

来自分类Dev

计时器使用日期时间做某事

来自分类Dev

jQuery如果输入文本等于var做某事

来自分类Dev

如何让我的活动在特定时间做某事

来自分类Dev

jQuery $ .deferred()完成后如何做某事?

来自分类Dev

在多个div类中的特定alt上做某事

来自分类Dev

在一天的特定时间做某事js