Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Trustworthy |
Documentation
newtype Coproduct f g a Source
Coproduct | |
|
(Functor f, Functor g) => Functor (Coproduct f g) | |
(Foldable f, Foldable g) => Foldable (Coproduct f g) | |
(Traversable f, Traversable g) => Traversable (Coproduct f g) | |
(Comonad f, Comonad g) => Comonad (Coproduct f g) | |
(Contravariant f, Contravariant g) => Contravariant (Coproduct f g) | |
(Traversable1 f, Traversable1 g) => Traversable1 (Coproduct f g) | |
(Foldable1 f, Foldable1 g) => Foldable1 (Coproduct f g) | |
(Extend f, Extend g) => Extend (Coproduct f g) |