profunctors-5.1.2: Profunctors

Copyright(C) 2014 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
PortabilityRank2Types
Safe HaskellSafe
LanguageHaskell2010

Data.Profunctor.Tambara

Description

 

Synopsis

Documentation

data Pastro p a b where Source

Pastro -| Tambara

Pastro p ~ exists z. Costar ((,)z) Procompose p Procompose Star ((,)z)

Constructors

Pastro :: ((y, z) -> b) -> p x y -> (a -> (x, z)) -> Pastro p a b 

newtype Cotambara p a b Source

Cotambara is freely adjoins respect for cocartesian structure to a profunctor

Note: this is not dual to Tambara. It is Tambara with respect to a different tensor.

Constructors

Cotambara 

Fields

runCotambara :: forall c. p (Either a c) (Either b c)
 

data Copastro p a b where Source

Copastro -| Cotambara

Constructors

Copastro :: (Either y z -> b) -> p x y -> (a -> Either x z) -> Copastro p a b