Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. (@+) :: forall (n :: Nat) (m :: Nat) . (KnownNat n, KnownNat m) => Ordinal n -> Ordinal m -> Ordinal (n + m)

   type-natural	Data.Type.Ordinal

   Ordinal addition. Since 1.0.0.0(type changed)

2. (:+) :: forall v . Exp v 'Number -> Exp v 'Number -> Exp v 'Number

   typecheck-plugin-nat-simple	Data.Derivation.Expression

   No documentation available.

3. (.+.) :: Log s v -> Log s v -> Log s v

   typecheck-plugin-nat-simple	Data.Log

   No documentation available.

4. type family (a :: Z) #+ (b :: Z) :: Z

   units	Data.Metrology

   Add two integers

5. type family (a :: [Factor Type]) @+ (b :: [Factor Type]) :: [Factor Type]

   units	Data.Metrology

   Adds corresponding exponents in two dimension, preserving order

6. type family (a :: [Factor Type]) @@+ (b :: [Factor Type]) :: [Factor Type]

   units	Data.Metrology

   Adds corresponding exponents in two dimension, assuming the lists are ordered similarly.

7. (|+|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) n (l :: LCSU Type) . (d1 @~ d2, Num n) => Qu d1 l n -> Qu d2 l n -> Qu d1 l n

   units	Data.Metrology

   Add two compatible quantities

8. type family (a :: [Factor Type]) @+ (b :: [Factor Type]) :: [Factor Type]

   units	Data.Metrology.Internal

   Adds corresponding exponents in two dimension, preserving order

9. type family (a :: [Factor Type]) @@+ (b :: [Factor Type]) :: [Factor Type]

   units	Data.Metrology.Internal

   Adds corresponding exponents in two dimension, assuming the lists are ordered similarly.

10. (|.+^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) f a (l :: LCSU Type) . (d1 @~ d2, Affine f, Num a) => Qu d1 l (f a) -> Qu d2 l (Diff f a) -> Qu d1 l (f a)

    units	Data.Metrology.Linear

    Add a point to a vector.

Page 62 of many | Previous | Next