haskell - 如何找到 Prelude 函数的定义？

Question

我目前正在尝试查找 words 函数的定义，以帮助了解我正在编写的类似函数。所以我想知道是否有某个地方包含 Prelude 函数的所有定义？也许是一个 GHCi 命令来显示一个的定义，或者 Haskell wiki 上的一些东西，我不确定。

或者如果我找不到某个地方，你们都知道 words 的定义是什么吗？

Answer 1

Hackage 上的大多数包裹随附的文档还包括指向每个函数的源代码的链接。您通常可以通过 Hoogle 找到该功能.

在words的情况下，找到 Prelude 文档 here , 来源位于 https://hackage.haskell.org/package/base-4.16.3.0/docs/src/Data.OldList.html#words :

-- | 'words' breaks a string up into a list of words, which were delimited
-- by white space.
--
-- >>> words "Lorem ipsum\ndolor"
-- ["Lorem","ipsum","dolor"]
words                   :: String -> [String]
{-# NOINLINE [1] words #-}
words s                 =  case dropWhile {-partain:Char.-}isSpace s of
                                "" -> []
                                s' -> w : words s''
                                      where (w, s'') =
                                             break {-partain:Char.-}isSpace s'

这通常也适用于 local documentation .

对于 ghci 具体来说，有 :info 和 :list 命令，但是 :list words 只产生一条错误消息(“无法列出 words 的源代码:模块 base-…:Data.OldList 未被解释”)给我。