haskell - 为什么 Hoogle 和 :t 显示的 Text.Parsec.Token.natural 类型不同？

Question

我Text.Parsec.Token.natural在 Hoogle 上搜索，发现类型为Text.Parsec.Token.naturalis natural :: ParsecT s u m Integer。

但这与我:t在 GHCi 中得到的结果相矛盾。

GHCi 给出了这种类型：

Prelude Text.Parsec.Token> :t natural
natural
  :: GenTokenParser s u m -> Text.Parsec.Prim.ParsecT s u m Integer

不仅是自然的，整数、浮点数、小数等也是如此。

Answer 1

natural是数据类型的命名字段GenTokenParser s u m。该字段具有类型ParsecT s u m Integer；向下滚动以找到它。

该函数 natural从 的任何值访问该字段GenTokenParser s u m，因此是类型。