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.
data ((a :: Nat)
+ (b :: Nat)) (c :: Nat)first-class-families Fcf.Data.Nat No documentation available.
type family (a :: Natural)
+ (b :: Natural) :: Naturalbasement Basement.Nat Addition of type-level naturals.
(
+ ) :: Additive a => a -> a -> abasement Basement.Numerical.Additive No documentation available.
(
+ ) :: Word128 -> Word128 -> Word128basement Basement.Types.Word128 Add 2 Word128
(
+ ) :: Word256 -> Word256 -> Word256basement Basement.Types.Word256 Add 2 Word256
-
ghc-internal GHC.Internal.Num No documentation available.
type family (a :: Natural)
+ (b :: Natural) :: Naturalghc-internal GHC.Internal.TypeLits Addition of type-level naturals.
type family (a :: Natural)
+ (b :: Natural) :: Naturalghc-internal GHC.Internal.TypeNats Addition of type-level naturals.
-
protolude Protolude No documentation available.
-
protolude Protolude.Base No documentation available.