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.

Exact lookup

1. PastroSum :: forall y z b (p :: Type -> Type -> Type) x a . (Either y z -> b) -> p x y -> (a -> Either x z) -> PastroSum p a b

   profunctors	Data.Profunctor.Choice

   No documentation available.

2. newtype TambaraSum (p :: Type -> Type -> Type) a b

   profunctors	Data.Profunctor.Choice

   TambaraSum is cofreely adjoins strength with respect to Either. Note: this is not dual to Tambara. It is Tambara with respect to a different tensor.

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

   profunctors	Data.Profunctor.Choice

   No documentation available.

4. cotambaraSum :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type) . Cochoice p => (p :-> q) -> p :-> CotambaraSum q

   profunctors	Data.Profunctor.Choice

   cotambaraSum . uncotambaraSum ≡ id
   uncotambaraSum . cotambaraSum ≡ id
   

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

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

   profunctors	Data.Profunctor.Choice

   No documentation available.

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

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

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

10. Consumed :: Consumption

    megaparsec	Text.Megaparsec.Internal

    Some part of input stream was consumed

Page 85 of many | Previous | Next