Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. maybeFromSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (u + a) (Maybe a)

   constrained-categories	Control.Category.Constrained

   No documentation available.

2. type ObjectSum (k :: Type -> Type -> Type) a b = (Category k, Object k a, Object k b, SumObjects k a b, Object k a + b)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

3. boolAsSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k Bool (u + u)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

4. boolFromSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k (u + u) Bool

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

5. maybeAsSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (Maybe a) (u + a)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

6. maybeFromSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (u + a) (Maybe a)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

7. modSum :: forall (m :: Type -> Type) a . (Monad m, Data a, Integral a) => a -> Cell m a a

   essence-of-live-coding-pulse	LiveCoding.Pulse

   No documentation available.

8. wrapSum :: forall (m :: Type -> Type) a . (Monad m, Data a, RealFloat a) => Cell m a a

   essence-of-live-coding-pulse	LiveCoding.Pulse

   Returns the sum of all incoming values, and wraps it between -1 and 1. This is to prevent floating number imprecision when the sum gets too large.

9. posSumC :: forall (m :: Type -> Type) a . (Monad m, Num a, Data a) => Cell m a a

   essence-of-live-coding-quickcheck	LiveCoding.QuickCheck

   No documentation available.

10. asum :: (Foldable t, Alternative f) => t (f a) -> f a

    frisby	Text.Parsers.Frisby

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

    Examples

    Basic usage:

    >>> asum [Just "Hello", Nothing, Just "World"]
    Just "Hello"
    

Page 238 of many | Previous | Next