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