| Copyright | (C) 2014-2015 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | Rank2Types |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Profunctor.Choice
Contents
Description
- class Profunctor p => Choice p where
- newtype TambaraSum p a b = TambaraSum {
- runTambaraSum :: forall c. p (Either a c) (Either b c)
- tambaraSum :: Choice p => (p :-> q) -> p :-> TambaraSum q
- untambaraSum :: Profunctor q => (p :-> TambaraSum q) -> p :-> q
- data PastroSum p a b where
- class Profunctor p => Cochoice p where
- data CotambaraSum q a b where
- CotambaraSum :: Cochoice r => (r :-> q) -> r a b -> CotambaraSum q a b
- cotambaraSum :: Cochoice p => (p :-> q) -> p :-> CotambaraSum q
- uncotambaraSum :: Profunctor q => (p :-> CotambaraSum q) -> p :-> q
- newtype CopastroSum p a b = CopastroSum {
- runCopastroSum :: forall r. Cochoice r => (forall x y. p x y -> r x y) -> r a b
Strength
class Profunctor p => Choice p where
The generalization of Costar of Functor that is strong with respect
to Either.
Note: This is also a notion of strength, except with regards to another monoidal structure that we can choose to equip Hask with: the cocartesian coproduct.
Instances
| Choice (->) | |
| Monad m => Choice (Kleisli m) | |
| Comonad w => Choice (Cokleisli w) |
|
| Choice (Tagged *) | |
| Monoid r => Choice (Forget r) | |
| ArrowChoice p => Choice (WrappedArrow p) | |
| Traversable w => Choice (Costar w) | |
| Applicative f => Choice (Star f) | |
| Choice p => Choice (Tambara p) | |
| Choice (PastroSum p) | |
| Profunctor p => Choice (TambaraSum p) | |
| Choice (FreeTraversing p) | |
| Profunctor p => Choice (CofreeTraversing p) | |
| Choice (FreeMapping p) | |
| Profunctor p => Choice (CofreeMapping p) | |
| (Functor f, Choice p) => Choice (Cayley f p) | |
| (Choice p, Choice q) => Choice (Procompose p q) | |
| Functor f => Choice (Joker * * f) | |
| (Choice p, Choice q) => Choice (Product * * p q) | |
| (Functor f, Choice p) => Choice (Tannen * * * f p) |
newtype TambaraSum p a b
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.
Constructors
| TambaraSum | |
Fields
| |
Instances
| ProfunctorComonad TambaraSum | |
| ProfunctorFunctor TambaraSum | |
| ProfunctorAdjunction PastroSum TambaraSum | |
| Category * p => Category * (TambaraSum p) | |
| Profunctor p => Profunctor (TambaraSum p) | |
| Profunctor p => Choice (TambaraSum p) | |
| Profunctor p => Functor (TambaraSum p a) |
tambaraSum :: Choice p => (p :-> q) -> p :-> TambaraSum q
untambaraSum :: Profunctor q => (p :-> TambaraSum q) -> p :-> q
data PastroSum p a b where
PastroSum -| TambaraSum
PastroSum freely constructs strength with respect to Either.
Costrength
class Profunctor p => Cochoice p where
Instances
| Cochoice (->) | |
| Applicative f => Cochoice (Costar f) | |
| Traversable f => Cochoice (Star f) | |
| Cochoice (CopastroSum p) | |
| Cochoice (CotambaraSum p) | |
| (Cochoice p, Cochoice q) => Cochoice (Product * * p q) | |
| (Functor f, Cochoice p) => Cochoice (Tannen * * * f p) |
data CotambaraSum q a b where
CotambaraSum cofreely constructs costrength with respect to Either (aka Choice)
Constructors
| CotambaraSum :: Cochoice r => (r :-> q) -> r a b -> CotambaraSum q a b |
cotambaraSum :: Cochoice p => (p :-> q) -> p :-> CotambaraSum q
uncotambaraSum :: Profunctor q => (p :-> CotambaraSum q) -> p :-> q
newtype CopastroSum p a b
CopastroSum -| CotambaraSum
CopastroSum freely constructs costrength with respect to Either (aka Choice)
Constructors
| CopastroSum | |
Fields
| |