为什么类型的Text.Parsec.Token.natural在Hoogle和显示的内容之间是不一样的:t?

Tor*_*nny 4 haskell types parsec ghc

我搜索了Text.Parsec.Token.natural关于Hoogle和发现的类型Text.Parsec.Token.naturalnatural :: 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
Run Code Online (Sandbox Code Playgroud)

而且不仅是自然的,所以是整数,浮点数,小数等.

小智 7

natural是数据类型的命名字段GenTokenParser s u m.那个领域有类型ParsecT s u m Integer; 向下滚动以找到它.

函数 natural从任何值访问该字段GenTokenParser s u m,因此类型.