haskell - : Option{. 形式的模式匹配 .} <-

Question

这种形式的模式匹配称为:Option{..} <- ... ，例如正如这里所使用的:

data Option = Option { cabal :: Maybe String , noStylish :: Bool }
...
main = do
  Option{..} <- cmdArgs defOption
  cabp <- case cabal of
    Nothing -> do
    ...

似乎重新定义了cabal和nostylish 。模式匹配之前cabal类型为Option -> Maybe String但在输入 Maybe String 之后.

这个例子来自最近上传的包cabal2ghci .

Answer 1

这是一个名为 record wildcards 的 GHC 语法扩展。 。引用文档:

Record wildcard syntax permits a ".." in a record pattern, where each elided field f is replaced by the pattern f = f.

所以这段代码相当于

Option { cabal = cabal, noStylish = noStylish } <- cmdArgs defOption

有效绑定(bind)名称x名为 x 的记录字段的值对于记录类型中的每个字段。

<-这里的部分无关紧要，你也可以写

let Option { .. } = some expression