Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. runCopastroSum :: CopastroSum (p :: Type -> Type -> Type) a b -> forall (r :: Type -> Type -> Type) . Cochoice r => (forall x y . () => p x y -> r x y) -> r a b

   profunctors	Data.Profunctor.Choice

   No documentation available.

2. runTambaraSum :: TambaraSum (p :: Type -> Type -> Type) a b -> forall c . () => p (Either a c) (Either b c)

   profunctors	Data.Profunctor.Choice

   No documentation available.

3. tambaraSum :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) . Choice p => (p :-> q) -> p :-> TambaraSum q

   profunctors	Data.Profunctor.Choice

   tambaraSum . untambaraSum ≡ id
   untambaraSum . tambaraSum ≡ id
   

4. uncotambaraSum :: forall (q :: Type -> Type -> Type) (p :: Type -> Type -> Type) . Profunctor q => (p :-> CotambaraSum q) -> p :-> q

   profunctors	Data.Profunctor.Choice

   cotambaraSum . uncotambaraSum ≡ id
   uncotambaraSum . cotambaraSum ≡ id
   

5. untambaraSum :: forall (q :: Type -> Type -> Type) (p :: Type -> Type -> Type) . Profunctor q => (p :-> TambaraSum q) -> p :-> q

   profunctors	Data.Profunctor.Choice

   tambaraSum . untambaraSum ≡ id
   untambaraSum . tambaraSum ≡ id
   

6. Consumed :: Consumption

   megaparsec	Text.Megaparsec.Internal

   Some part of input stream was consumed

7. data Consumption

   megaparsec	Text.Megaparsec.Internal

   Whether the input has been consumed or not. See also: Result, Reply.

8. NotConsumed :: Consumption

   megaparsec	Text.Megaparsec.Internal

   No input was consumed

9. psum :: (Foldable t, Plus f) => t (f a) -> f a

   semigroupoids	Data.Functor.Plus

   The sum of a collection of actions, generalizing concat.

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

10. asum1 :: (Foldable1 t, Alt m) => t (m a) -> m a

    semigroupoids	Data.Semigroup.Foldable

    No documentation available.

Page 85 of many | Previous | Next