Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. type (a :: k1) + (b :: k2) = Add a b

   typenums	Data.TypeNums

   The sum of two type-level numbers

2. (+) :: Additive r => r -> r -> r

   algebra	Numeric.Additive.Class

   No documentation available.

3. (+) :: Additive r => r -> r -> r

   algebra	Numeric.Algebra

   No documentation available.

4. (+) :: Num a => a -> a -> a

   classy-prelude-yesod	ClassyPrelude.Yesod

   No documentation available.

5. type (+) = Either

   constrained-categories	Control.Category.Constrained

   No documentation available.

6. type (+) = Either

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

7. (+) :: Num a => a -> a -> a

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

8. (+) :: Num a => a -> a -> a

   constrained-categories	Control.Category.Hask

   No documentation available.

9. (+) :: Num a => a -> a -> a

   copilot-language	Copilot.Language.Prelude

   No documentation available.

10. (+) :: forall x (m :: Type -> Type) . (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
    

Page 7 of many | Previous | Next