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 family (a :: Natural) + (b :: Natural) :: Natural

   clash-prelude	Clash.Explicit.Prelude

   Addition of type-level naturals.

2. type family (a :: Natural) + (b :: Natural) :: Natural

   clash-prelude	Clash.Explicit.Prelude.Safe

   Addition of type-level naturals.

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

   clash-prelude	Clash.HaskellPrelude

   No documentation available.

4. type family (a :: Natural) + (b :: Natural) :: Natural

   clash-prelude	Clash.Prelude

   Addition of type-level naturals.

5. type family (a :: Natural) + (b :: Natural) :: Natural

   clash-prelude	Clash.Prelude.Safe

   Addition of type-level naturals.

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

   incipit-base	Incipit.Base

   No documentation available.

7. type family (a :: Natural) + (b :: Natural) :: Natural

   incipit-base	Incipit.Base

   Addition of type-level naturals.

8. type family (i :: TypeInt) + (i' :: TypeInt) :: TypeInt

   numtype-dk	Numeric.NumType.DK.Integers

   TypeInt addition.

9. (+) :: forall (i :: TypeInt) (i' :: TypeInt) . Proxy i -> Proxy i' -> Proxy (i + i')

   numtype-dk	Numeric.NumType.DK.Integers

   No documentation available.

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

    subcategories	Control.Subcategory.RebindableSyntax

    No documentation available.

Page 5 of many | Previous | Next