- is:exact

(-) :: Num a => a -> a -> a
base Prelude GHC.Num, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Prelude.Compat, protolude Protolude Protolude.Base, relude Relude.Numeric, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, classy-prelude ClassyPrelude, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Base, ihaskell IHaskellPrelude, clash-prelude Clash.HaskellPrelude, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, ghc-internal GHC.Internal.Num, rebase Rebase.Prelude, opaleye Opaleye.Operators, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, subcategories Control.Subcategory.RebindableSyntax, vcr Imports, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
type family (a :: Natural) - (b :: Natural) :: Natural
base GHC.TypeLits GHC.TypeNats, basement Basement.Nat, parameterized-utils Data.Parameterized.NatRepr, ghc-internal GHC.Internal.TypeLits GHC.Internal.TypeNats, type-natural Data.Type.Natural, incipit-base Incipit.Base, witness Data.Type.Witness.Specific.Natural
Subtraction of type-level naturals.
(-) :: Point -> Point -> Point
gloss Graphics.Gloss.Data.Point.Arithmetic
Subtract two vectors, or subtract a vector from a point.
(-) :: C a => a -> a -> a
numeric-prelude Algebra.Additive Algebra.Additive NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric
data (-)
first-class-families Fcf Fcf.Data.Nat
(-) :: Ring a => a -> a -> a
semirings Data.Semiring
Infix shorthand for minus.
(-) :: Subtractive a => a -> a -> Difference a
basement Basement.Numerical.Subtractive, foundation Foundation Foundation.Numerical
(-) :: Word128 -> Word128 -> Word128
basement Basement.Types.Word128
Subtract 2 Word128
(-) :: Word256 -> Word256 -> Word256
basement Basement.Types.Word256
Subtract 2 Word256
(-) :: Subtractive a => a -> a -> a
numhask NumHask NumHask.Algebra.Additive
(-) :: Num a => Quantity d a -> Quantity d a -> Quantity d a
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.Prelude
Subtracts one Quantity from another.
(-) :: Num a => SQuantity s d a -> SQuantity s d a -> SQuantity s d a
dimensional Numeric.Units.Dimensional.FixedPoint
Subtracts one possibly scaled SQuantity from another, preserving any scale factor. Use in conjunction with changeRepRound to combine quantities with differing scale factors.
(-) :: CanSub t1 t2 => t1 -> t2 -> SubType t1 t2
mixed-types-num Numeric.MixedTypes.AddSub
(-) :: Group r => r -> r -> r
algebra Numeric.Additive.Group Numeric.Algebra
type family (i :: TypeInt) - (i' :: TypeInt) :: TypeInt
numtype-dk Numeric.NumType.DK.Integers
TypeInt subtraction.
(-) :: Proxy i -> Proxy i' -> Proxy (i - i')
numtype-dk Numeric.NumType.DK.Integers
type (-) a b = Sub a b
typenums Data.TypeLits Data.TypeNums
The difference of two type-level numbers For the difference of two naturals a and b, a-b is also a natural, so only exists for a >= b.
(-) :: forall x . Subtractive x => BackpropFunc (x, x) x
inf-backprop InfBackprop Prelude.InfBackprop
Subtraction differentiable binary operation.

Examples of usage

>>> import Prelude (Float)

>>> import InfBackprop (call, derivative)

>>> call (-) (5, 3) :: Float
2.0

>>> import Debug.SimpleExpr.Expr (variable)

>>> x = variable "x"

>>> y = variable "y"

>>> derivative (-) (x, y)
(1,-(1))