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

ric*_*d.g 8 haskell

在haskell中,负数来自在数字'-'前使用一元运算符,但减法函数也使用'-'.所以当你输入:t (-)ghci时,你只得到减法函数类型的结果

:t (-)
(-) :: Num a => a -> a -> a
Run Code Online (Sandbox Code Playgroud)

但是有可能在ghci中获得"否定运算符"的类型吗?我知道这是微不足道的,但我很好奇.

J. *_*son 11

你可以扩展它:

Prelude> :t \x -> -x
\x -> -x :: Num a => a -> a
Run Code Online (Sandbox Code Playgroud)