Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. data SSum (a1 :: Sum a)

    singletons-base Data.Semigroup.Singletons

    No documentation available.

  2. SSum :: forall a (n :: a) . Sing n -> SSum ('Sum n)

    singletons-base Data.Semigroup.Singletons

    No documentation available.

  3. sGetSum :: forall a (t :: Sum a) . Sing t -> Sing (Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) t)

    singletons-base Data.Semigroup.Singletons

    No documentation available.

  4. sSum :: forall a (t1 :: t a) . (SFoldable t, SNum a) => Sing t1 -> Sing (Apply (SumSym0 :: TyFun (t a) a -> Type) t1)

    singletons-base Data.Singletons.Base.TH

    No documentation available.

  5. sSum :: forall a (t1 :: t a) . (SFoldable t, SNum a) => Sing t1 -> Sing (Apply (SumSym0 :: TyFun (t a) a -> Type) t1)

    singletons-base Prelude.Singletons

    No documentation available.

  6. consumeBuffer :: Buffer % 1 -> ()

    text-builder-linear Data.Text.Builder.Linear.Buffer

    Consume buffer linearly, similar to Consumable from linear-base.

  7. consumeBuffer :: Buffer % 1 -> ()

    text-builder-linear Data.Text.Builder.Linear.Core

    Consume buffer linearly, similar to Consumable from linear-base.

  8. msum :: (Foldable t, MonadPlus m) => t (m a) -> m a

    base-compat-batteries Control.Monad.Compat

    The sum of a collection of actions using (<|>), generalizing concat. msum is just like asum, but specialised to MonadPlus.

    Examples

    Basic usage, using the MonadPlus instance for Maybe:
    >>> msum [Just "Hello", Nothing, Just "World"]
    Just "Hello"
    

  9. getSum :: Sum a -> a

    base-compat-batteries Data.Monoid.Compat

    No documentation available.

  10. getSum :: Sum a -> a

    base-compat-batteries Data.Semigroup.Compat

    No documentation available.

Page 121 of many | Previous | Next