negate -package:synthesizer-dimensional

negate :: Num a => a -> a
base Prelude GHC.Num, hedgehog Hedgehog.Internal.Prelude, base-compat Prelude.Compat, protolude Protolude Protolude.Base, relude Relude.Numeric, rio RIO.Prelude, base-prelude BasePrelude, 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, ghc-internal GHC.Internal.Num, prelude-compat Prelude2010, opaleye Opaleye.Operators, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, faktory Faktory.Prelude
Unary negation.
negate :: Num a => a -> a
ghc GHC.Prelude.Basic
negate :: Point -> Point
gloss Graphics.Gloss.Data.Point.Arithmetic
Negate a vector.
negate :: C a => a -> a
numeric-prelude Algebra.Additive NumericPrelude NumericPrelude.Numeric
inverse with respect to +
negate :: C a => T a -> T a
numeric-prelude MathObj.LaurentPolynomial MathObj.PowerSeries2.Core
negate :: C a => [a] -> [a]
numeric-prelude MathObj.Polynomial.Core MathObj.PowerSeries.Core
negate :: Ring a => a -> a
semirings Data.Semiring
negate :: HasNegation a => a -> a
basement Basement.Compat.Base Basement.Compat.NumLiteral Basement.Imports, foundation Foundation
negate :: Subtractive a => a -> a
numhask NumHask NumHask.Algebra.Additive
negate :: Proxy x -> Proxy (Negate x)
tfp Type.Data.Num
negate :: NatRepr w -> BV w -> BV w
bv-sized Data.BitVector.Sized
2's complement bitvector negation.
negate :: (Homogeneous typ, HomogeneousExtra typ xl, HomogeneousExtra typ xu) => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => Matrix typ xl xu lower upper meas vert horiz height width a -> Matrix typ xl xu lower upper meas vert horiz height width a
lapack Numeric.LAPACK.Matrix
negate :: Homogeneous property => (Measure meas, C vert, C horiz) => (C height, C width, Floating a) => ArrayMatrix pack property lower upper meas vert horiz height width a -> ArrayMatrix pack property lower upper meas vert horiz height width a
lapack Numeric.LAPACK.Matrix.Array
negate :: (C neg, C zero, C pos, Natural offDiag, C sh, Floating a) => FlexHermitian neg zero pos offDiag sh a -> FlexHermitian pos zero neg offDiag sh a
lapack Numeric.LAPACK.Matrix.BandedHermitian
negate :: (C neg, C zero, C pos, C sh, Floating a) => AnyHermitianP pack neg zero pos bands sh a -> AnyHermitianP pack pos zero neg bands sh a
lapack Numeric.LAPACK.Matrix.Hermitian
negate :: (C sh, Floating a) => Vector sh a -> Vector sh a
lapack Numeric.LAPACK.Vector, comfort-blas Numeric.BLAS.Vector
forVector number_ $ \xs -> xs == Vector.negate (Vector.negate xs)
negate :: (C a, Transform sig a) => sig a -> sig a
synthesizer-core Synthesizer.Generic.Filter.NonRecursive
negate :: Term -> Term
what4 What4.Protocol.SMTLib2.Syntax
Negate an integer or real number.
negate :: Num a => Quantity d a -> Quantity d a
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.Prelude
Negates the value of a Quantity.
negate :: Num a => SQuantity s d a -> SQuantity s d a
dimensional Numeric.Units.Dimensional.FixedPoint
Negates the value of a possibly scaled SQuantity, preserving any scale factor.
negate :: CanNeg t => t -> NegType t
mixed-types-num Numeric.MixedTypes.Bool
negate :: Group r => r -> r
algebra Numeric.Additive.Group Numeric.Algebra
negate :: Proxy i -> Proxy (Negate i)
numtype-dk Numeric.NumType.DK.Integers
negate :: (C sh, Floating a) => T shA sh a -> Vector sh a
comfort-blas Numeric.BLAS.Vector.Slice
forSliced number_ $ \xs -> VectorSlice.toVector xs == Vector.negate (VectorSlice.negate xs)
negate :: Interval -> Maybe Interval
postgresql-simple-interval Database.PostgreSQL.Simple.Interval
Negates an interval. Returns Nothing if the result would overflow. 
>>> negate (MkInterval 1 2 3)
Just (MkInterval {months = -1, days = -2, microseconds = -3})

>>> negate (MkInterval (-2147483648) 0 0)
Nothing