| Copyright | (C) 2014 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | Rank2Types |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.Profunctor.Tambara
Description
- newtype Tambara p a b = Tambara {
- runTambara :: forall c. p (a, c) (b, c)
- tambara :: Strong p => (p :-> q) -> p :-> Tambara q
- untambara :: Profunctor q => (p :-> Tambara q) -> p :-> q
- data Pastro p a b where
- newtype Cotambara p a b = Cotambara {
- runCotambara :: forall c. p (Either a c) (Either b c)
- cotambara :: Choice p => (p :-> q) -> p :-> Cotambara q
- uncotambara :: Profunctor q => (p :-> Cotambara q) -> p :-> q
- data Copastro p a b where
Documentation
Constructors
| Tambara | |
Fields
| |
Instances
| ProfunctorComonad Tambara | |
| ProfunctorFunctor Tambara | |
| ProfunctorAdjunction Pastro Tambara | |
| Category * p => Category * (Tambara p) | |
| Arrow p => Arrow (Tambara p) | |
| ArrowZero p => ArrowZero (Tambara p) | |
| ArrowPlus p => ArrowPlus (Tambara p) | |
| ArrowChoice p => ArrowChoice (Tambara p) | |
| ArrowApply p => ArrowApply (Tambara p) | |
| ArrowLoop p => ArrowLoop (Tambara p) | |
| Profunctor p => Profunctor (Tambara p) | |
| Choice p => Choice (Tambara p) | |
| Profunctor p => Strong (Tambara p) | |
| (Profunctor p, ArrowPlus p) => Alternative (Tambara p a) | |
| Profunctor p => Functor (Tambara p a) | |
| (Profunctor p, Arrow p) => Applicative (Tambara p a) | |
| (Profunctor p, ArrowPlus p) => Monoid (Tambara p a b) |
newtype Cotambara p a b Source
Cotambara is freely adjoins respect for cocartesian structure to a profunctor
Constructors
| Cotambara | |
Fields
| |
Instances
| ProfunctorComonad Cotambara | |
| ProfunctorFunctor Cotambara | |
| ProfunctorAdjunction Copastro Cotambara | |
| Category * p => Category * (Cotambara p) | |
| Profunctor p => Profunctor (Cotambara p) | |
| Profunctor p => Choice (Cotambara p) | |
| Profunctor p => Functor (Cotambara p a) |
uncotambara :: Profunctor q => (p :-> Cotambara q) -> p :-> q Source