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.
type family (a :: Natural)
+ (b :: Natural) :: Naturaltype-natural Data.Type.Natural Addition of type-level naturals.
type family (a :: Natural)
+ (b :: Natural) :: Naturalwitness Data.Type.Witness.Specific.Natural Addition of type-level naturals.
(
+ ) :: forall a (d :: Dimension) . Num a => Quantity d a -> Quantity d a -> Quantity d adimensional Numeric.Units.Dimensional Adds two Quantitys.
-
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.
(
+ ) :: forall a (d :: Dimension) . Num a => Quantity d a -> Quantity d a -> Quantity d adimensional Numeric.Units.Dimensional.Prelude Adds two Quantitys.
-
distribution-opensuse OpenSuse.Prelude No documentation available.
-
faktory Faktory.Prelude No documentation available.
-
hledger-web Hledger.Web.Import No documentation available.
-
opaleye Opaleye.Operators No documentation available.
type (a :: k1)
+ (b :: k2) = Add a btypenums Data.TypeLits The sum of two type-level numbers