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

Question

我搜索了 Text.Parsec.Token.natural在 Hoogle 上找到了 Text.Parsec.Token.natural 的类型是 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 的任何值访问该字段，因此类型。