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.
-
singletons-base Data.Semigroup.Singletons No documentation available.
SSum :: forall a (n :: a) . Sing n -> SSum ('Sum n)singletons-base Data.Semigroup.Singletons No documentation available.
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.
-
singletons-base Data.Singletons.Base.TH No documentation available.
-
singletons-base Prelude.Singletons No documentation available.
consumeBuffer :: Buffer % 1 -> ()text-builder-linear Data.Text.Builder.Linear.Buffer Consume buffer linearly, similar to Consumable from linear-base.
consumeBuffer :: Buffer % 1 -> ()text-builder-linear Data.Text.Builder.Linear.Core Consume buffer linearly, similar to Consumable from linear-base.
msum :: (Foldable t, MonadPlus m) => t (m a) -> m abase-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"
-
base-compat-batteries Data.Monoid.Compat No documentation available.
-
base-compat-batteries Data.Semigroup.Compat No documentation available.