haskell - getZipList 是如何定义的？

Question

我很好奇 getZipList 在 ghc 中的定义位置。
Control.Applicative 对 ZipList 有这个定义。

newtype ZipList a = ZipList { getZipList :: [a] }

使用 ZipLists 的一种方法是(来自 LYAH):

ghci> getZipList $ (+) <$> ZipList [1,2,3] <*> ZipList [100,100,100]

[101,102,103]

我很好奇 getZipList 如何知道要返回什么。
也许我错过了关于 newtype 关键字的一些东西。
谢谢!

Answer 1

不仅仅是newtype ，它与 data 的作用相同.您似乎不知道的是命名字段语法，

newtype ZipList a = ZipList { getZipList :: [a] }

几乎一样

newtype ZipList a = ZipList [a]

getZipList :: ZipList a -> [a]
getZipList (ZipList xs) = xs

但是命名字段语法允许更方便的更新和模式匹配 - 特别是对于 data 中的命名字段更方便具有多个字段的类型。

命名字段(隐式)定义了从包装值中提取包含数据的访问器函数。