CurryInfo: base-3.3.0 / Prelude.Num

class Num a where
  (+), (-), (*) :: a -> a -> a
  negate :: a -> a
  abs :: a -> a
  signum :: a -> a
  fromInt :: Int -> a

  x - y = x + negate y
  negate x = 0 - x

--- The class of basic numeric values.
--- For type wich are instances of `Num`, one can write values
--- as integers which are converted by an implicit `fromInt` application.

["(+) :: a -> a -> a","(-) 2 :: a -> a -> a","(*) :: a -> a -> a","negate 1 :: a -> a","abs :: a -> a","signum :: a -> a","fromInt :: Int -> a"]

Num