如何在haskell中获得一元运算符' - '的类型

Question

在haskell中，负数来自在数字前使用一元运算符'-'，但减法函数也使用'-'。因此，当您在ghci中键入:t (-)时，您只能得到减法函数类型的结果

:t (-)
(-) :: Num a => a -> a -> a

但是有可能获得＆＃34;否定运算符的类型＆＃34;在ghci？我知道这是微不足道的，但我很好奇。

Answer 1

你可以扩展它：

Prelude> :t \x -> -x
\x -> -x :: Num a => a -> a