Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Profunctor.Coproduct
Documentation
data ((p :: PRO j k) :+: (q :: PRO j k)) (a :: j) (b :: k) where Source Comments #
Constructors
InjL :: forall {j} {k} (p :: PRO j k) (a :: j) (b :: k) (q :: PRO j k). p a b -> (p :+: q) a b | |
InjR :: forall {j} {k} (q :: PRO j k) (a :: j) (b :: k) (p :: PRO j k). q a b -> (p :+: q) a b |
Instances
(Profunctor p, Profunctor q) => Profunctor (p :+: q :: j -> k -> Type) Source Comments # | |
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :+: q :: j -> j -> Type) Source Comments # | |
(Cotraversable p, Cotraversable q) => Cotraversable (p :+: q :: k -> k -> Type) Source Comments # | |
Defined in Proarrow.Category.Monoidal.Distributive Methods cotraverse :: forall (p0 :: k +-> k). (DistributiveProfunctor p0, Strong k p0, SelfAction k) => (p0 :.: (p :+: q)) :~> ((p :+: q) :.: p0) Source Comments # | |
(Traversable p, Traversable q) => Traversable (p :+: q :: k -> k -> Type) Source Comments # | |
Defined in Proarrow.Category.Monoidal.Distributive |