+ 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
Addition of type-level naturals.
(+) :: Point -> Point -> Point
gloss Graphics.Gloss.Data.Point.Arithmetic
Add two vectors, or add a vector to a point.
(+) :: C a => a -> a -> a
numeric-prelude Algebra.Additive Algebra.Additive NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric
add and subtract elements
data (+)
first-class-families Fcf Fcf.Data.Nat
(+) :: Semiring a => a -> a -> a
semirings Data.Semiring
Infix shorthand for plus.
(+) :: Additive a => a -> a -> a
basement Basement.Numerical.Additive, numhask NumHask NumHask.Algebra.Additive, foundation Foundation Foundation.Numerical
(+) :: Word128 -> Word128 -> Word128
basement Basement.Types.Word128
Add 2 Word128
(+) :: Word256 -> Word256 -> Word256
basement Basement.Types.Word256
Add 2 Word256
(+) :: Num a => Quantity d a -> Quantity d a -> Quantity d a
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.Prelude
Adds two Quantitys.
(+) :: Num a => SQuantity s d a -> SQuantity s d a -> SQuantity s d a
dimensional Numeric.Units.Dimensional.FixedPoint
Adds two possibly scaled SQuantitys, preserving any scale factor. Use in conjunction with changeRepRound to combine quantities with differing scale factors.
(+) :: CanAddAsymmetric t1 t2 => t1 -> t2 -> AddType t1 t2
mixed-types-num Numeric.MixedTypes.AddSub
(+) :: Additive r => r -> r -> r
algebra Numeric.Additive.Class Numeric.Algebra
type (+) = Either
constrained-categories Control.Category.Constrained Control.Category.Constrained.Prelude
type family (i :: TypeInt) + (i' :: TypeInt) :: TypeInt
numtype-dk Numeric.NumType.DK.Integers
TypeInt addition.
(+) :: Proxy i -> Proxy i' -> Proxy (i + i')
numtype-dk Numeric.NumType.DK.Integers
type (+) a b = Add a b
typenums Data.TypeLits Data.TypeNums
The sum of two type-level numbers
(+) :: forall x m . (Show x, Additive x, MonadLogger m) => Backprop (Kleisli m) (x, x) x
inf-backprop Debug.LoggingBackprop
Differentiable logging sum function.

Examples of usage

>>> import Control.Arrow (runKleisli)

>>> import Control.Monad.Logger (runStdoutLoggingT)

>>> import InfBackprop (call)

>>> runStdoutLoggingT $ runKleisli (call (+)) (2, 2)
[Info] Calculating sum of 2 and 2 => 4
4
(+) :: forall x . Additive x => BackpropFunc (x, x) x
inf-backprop InfBackprop Prelude.InfBackprop
Summation differentiable binary operation.

Examples of usage

>>> import Prelude (Float)

>>> import InfBackprop (call, derivative)

>>> call (+) (2, 3) :: Float
5.0

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

>>> x = variable "x"

>>> y = variable "y"

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