profunctors-4.4.1: Profunctors

PortabilityRank2Types
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Data.Profunctor.Tambara

Description

 

Synopsis

Documentation

newtype Tambara p a b Source

Constructors

Tambara 

Fields

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

Instances

ProfunctorComonad Tambara 
ProfunctorFunctor Tambara 
ProfunctorAdjunction Pastro Tambara 
Category p => Category (Tambara p) 
ArrowZero p => ArrowZero (Tambara p) 
ArrowPlus p => ArrowPlus (Tambara p) 
ArrowLoop p => ArrowLoop (Tambara p) 
ArrowChoice p => ArrowChoice (Tambara p) 
ArrowApply p => ArrowApply (Tambara p) 
Arrow p => Arrow (Tambara p) 
Profunctor p => Profunctor (Tambara p) 
Choice p => Choice (Tambara p) 
Profunctor p => Strong (Tambara p) 
Profunctor p => Functor (Tambara p a) 
(Profunctor p, Arrow p) => Applicative (Tambara p a) 
(Profunctor p, ArrowPlus p) => Alternative (Tambara p a) 
(Profunctor p, ArrowPlus p) => Monoid (Tambara p a b) 

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

 tambara . untambaraid
 untambara . tambaraid

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

 tambara . untambaraid
 untambara . tambaraid

data Pastro p a b whereSource

Pastro -| Tambara

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

Constructors

Cotambara 

Fields

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

data Copastro p a b whereSource

Copastro -| Cotambara

Constructors

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