comonad-transformers-1.5.2.5: Comonad transformers

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Functor.Coproduct

Description

 

Documentation

newtype Coproduct f g a Source

Constructors

Coproduct 

Fields

getCoproduct :: Either (f a) (g a)
 

left :: f a -> Coproduct f g aSource

right :: g a -> Coproduct f g aSource

coproduct :: (f a -> b) -> (g a -> b) -> Coproduct f g a -> bSource