Module
Data.Functor.Coproduct
- Package
- purescript-functors
- Repository
- purescript/purescript-functors
#Coproduct Source
newtype Coproduct f g a
Constructors
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)
(Extend f, Extend g) => Extend (Coproduct f g)
(Comonad f, Comonad g) => Comonad (Coproduct f g)