Data.Functor.Coproduct

newtype Coproduct f g a

Coproduct f g is the coproduct of two functors f and g

Constructors

• Coproduct (Either (f a) (g a))

Instances

• Newtype (Coproduct f g a) _
• (Eq1 f, Eq1 g, Eq a) => Eq (Coproduct f g a)
• (Eq1 f, Eq1 g) => Eq1 (Coproduct f g)
• (Ord1 f, Ord1 g, Ord a) => Ord (Coproduct f g a)
• (Ord1 f, Ord1 g) => Ord1 (Coproduct f g)
• (Show (f a), Show (g a)) => Show (Coproduct f g a)
• (Functor f, Functor g) => Functor (Coproduct f g)
• (FunctorWithIndex a f, FunctorWithIndex b g) => FunctorWithIndex (Either a b) (Coproduct f g)
• (Extend f, Extend g) => Extend (Coproduct f g)
• (Comonad f, Comonad g) => Comonad (Coproduct f g)
• (Foldable f, Foldable g) => Foldable (Coproduct f g)
• (FoldableWithIndex a f, FoldableWithIndex b g) => FoldableWithIndex (Either a b) (Coproduct f g)
• (Traversable f, Traversable g) => Traversable (Coproduct f g)
• (TraversableWithIndex a f, TraversableWithIndex b g) => TraversableWithIndex (Either a b) (Coproduct f g)

left :: forall a g f. f a -> Coproduct f g a

Left injection

right :: forall a g f. g a -> Coproduct f g a

Right injection

coproduct :: forall b a g f. (f a -> b) -> (g a -> b) -> Coproduct f g a -> b

Eliminate a coproduct by providing eliminators for the left and right components

bihoistCoproduct :: forall i h g f. (f ~> h) -> (g ~> i) -> (Coproduct f g) ~> (Coproduct h i)

Change the underlying functors in a coproduct