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.

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

    units Data.Metrology

    Add two integers

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

    units Data.Metrology

    Adds corresponding exponents in two dimension, preserving order

  3. 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.

  4. (|+|) :: 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

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

    units Data.Metrology.Internal

    Adds corresponding exponents in two dimension, preserving order

  6. 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.

  7. (|.+^|) :: 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.

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

    units Data.Metrology.Linear

    Add two compatible vector quantities

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

    units Data.Metrology.Poly

    Add two integers

  10. (|+|) :: 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.Poly

    Add two compatible quantities

Page 62 of many | Previous | Next