- package:numeric-prelude

(-) :: C a => a -> a -> a
numeric-prelude Algebra.Additive Algebra.Additive NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric
(-|) :: C a => a -> a -> a
numeric-prelude Algebra.NonNegative
x -| y == max 0 (x-y)
The default implementation is not efficient, because it compares the values and then subtracts, again, if safe. max 0 (x-y) is more elegant and efficient but not possible in the general case, since x-y may already yield a negative number.
(-:) :: C a => a -> a -> T a
numeric-prelude Number.Complex
Construct a complex number with negated imaginary part.
package numeric-prelude
Uses
An experimental alternative hierarchy of numeric type classes The package provides an experimental alternative hierarchy of numeric type classes. The type classes are more oriented at mathematical structures and their methods come with laws that the instances must fulfill.
(<*>.-) :: C x => T (v, v) (x -> a) -> (v -> x) -> T (v, v) a
numeric-prelude Algebra.Additive
(<*>.-$) :: C x => T v (x -> a) -> (v -> x) -> T v a
numeric-prelude Algebra.Additive
(^-) :: C a => a -> Integer -> a
numeric-prelude Algebra.Field NumericPrelude NumericPrelude.Numeric