- -package:dimensional

(-) :: 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
(-) :: 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))
(-#) :: Int# -> Int# -> Int#
base GHC.Base GHC.Exts
(-##) :: Double# -> Double# -> Double#
base GHC.Base GHC.Exts
(-<.>) :: FilePath -> String -> FilePath
filepath System.FilePath System.FilePath.Posix System.FilePath.Windows
Remove the current extension and add another, equivalent to replaceExtension. 
"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"
(-<.>) :: OsPath -> OsString -> OsPath
filepath System.OsPath
Remove the current extension and add another, equivalent to replaceExtension. 
"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"
(-<.>) :: PosixPath -> PosixString -> PosixPath
filepath System.OsPath.Posix
Remove the current extension and add another, equivalent to replaceExtension. 
"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"
(-<.>) :: ShortByteString -> ShortByteString -> ShortByteString
filepath System.OsPath.Posix.Internal System.OsPath.Windows.Internal
Remove the current extension and add another, equivalent to replaceExtension. 
"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"
(-<.>) :: WindowsPath -> WindowsString -> WindowsPath
filepath System.OsPath.Windows
Remove the current extension and add another, equivalent to replaceExtension. 
"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"
(-=) :: (MonadState s m, Num a) => ASetter' s a -> a -> m ()
lens Control.Lens.Operators
Modify the target(s) of a Lens', Iso, Setter or Traversal by subtracting a value. 
>>> execState (do _1 -= c; _2 -= d) (a,b)
(a - c,b - d)

(-=) :: (MonadState s m, Num a) => Setter' s a    -> a -> m ()
(-=) :: (MonadState s m, Num a) => Iso' s a       -> a -> m ()
(-=) :: (MonadState s m, Num a) => Lens' s a      -> a -> m ()
(-=) :: (MonadState s m, Num a) => Traversal' s a -> a -> m ()
(-~) :: Num a => ASetter s t a a -> a -> s -> t
lens Control.Lens.Operators
Decrement the target(s) of a numerically valued Lens, Iso, Setter or Traversal. 
>>> (a,b) & _1 -~ c
(a - c,b)

>>> (a,b) & both -~ c
(a - c,b - c)

>>> _1 -~ 2 $ (1,2)
(-1,2)

>>> mapped.mapped -~ 1 $ [[4,5],[6,7]]
[[3,4],[5,6]]

(-~) :: Num a => Setter' s a    -> a -> s -> s
(-~) :: Num a => Iso' s a       -> a -> s -> s
(-~) :: Num a => Lens' s a      -> a -> s -> s
(-~) :: Num a => Traversal' s a -> a -> s -> s