• About
  • Snapshots
  • LTS
  • Nightly
  • FAQ
  • Blog

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

    Add two integers

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

    units Data.Metrology.Vector

    Add two compatible quantities

  3. (|.+^|) :: forall (d1 :: [Factor Type]) (d2 :: [Factor Type]) n (l :: LCSU Type) . (d1 @~ d2, AffineSpace n) => Qu d1 l n -> Qu d2 l (Diff n) -> Qu d1 l n

    units Data.Metrology.Vector

    Add a point to a vector.

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

    units Data.Metrology.Z

    Add two integers

  5. (:+) :: a -> a -> Complex a

    what4 What4.Utils.Complex

    No documentation available.

  6. (<++>) :: (Text, Text) -> UnpickleError -> UnpickleError

    xml-picklers Data.XML.Pickle

    No documentation available.

  7. (<?+>) :: (Text, Text) -> PU t a -> PU t a

    xml-picklers Data.XML.Pickle

    Add a back trace level to the error report.

  8. (<+>) :: Monoid m => m -> m -> m

    xmonad XMonad.ManageHook

    Infix mappend. Compose two ManageHook from right to left.

  9. ($+$) :: Doc -> Doc -> Doc

    Agda Agda.Compiler.JS.Pretty

    No documentation available.

  10. ($++$) :: Doc -> Doc -> Doc

    Agda Agda.Compiler.JS.Pretty

    Separate by blank line.

Page 63 of many | Previous | Next

Stackage is a service provided by the Haskell Foundation │ Originally developed by FP Complete