Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

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

    profunctors Data.Profunctor.Choice

    No documentation available.

  2. data CotambaraSum (q :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    CotambaraSum cofreely constructs costrength with respect to Either (aka Choice)

  3. CotambaraSum :: forall (r :: Type -> Type -> Type) (q :: Type -> Type -> Type) a b . Cochoice r => (r :-> q) -> r a b -> CotambaraSum q a b

    profunctors Data.Profunctor.Choice

    No documentation available.

  4. data PastroSum (p :: Type -> Type -> Type) a b

    profunctors Data.Profunctor.Choice

    PastroSum -| TambaraSum PastroSum freely constructs strength with respect to Either.

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

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

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

    profunctors Data.Profunctor.Choice

    No documentation available.

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

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

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

    profunctors Data.Profunctor.Choice

    No documentation available.

Page 84 of many | Previous | Next