Data.Profunctor.Cochoice

class (Profunctor p) <= Cochoice p  where

The Cochoice class provides the dual operations of the Choice class.

Members

• unleft :: forall a b c. p (Either a c) (Either b c) -> p a b
• unright :: forall a b c. p (Either a b) (Either a c) -> p b c