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

newtype Tambara p a b Source

Constructors

Tambara 

Fields

runTambara :: forall c. p (a, c) (b, c)
 

Instances

tambara :: Strong p => (p :-> q) -> p :-> Tambara q Source

tambara . untambara ≡ id
untambara . tambara ≡ id

untambara :: Profunctor q => (p :-> Tambara q) -> p :-> q Source

tambara . untambara ≡ id
untambara . tambara ≡ id

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 

Instances

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)
 

Instances

cotambara :: Choice p => (p :-> q) -> p :-> Cotambara q Source

cotambara . uncotambara ≡ id
uncotambara . cotambara ≡ id

uncotambara :: Profunctor q => (p :-> Cotambara q) -> p :-> q Source

cotambara . uncotambara ≡ id
uncotambara . cotambara ≡ id

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 

Instances