Module

Data.Profunctor.Cochoice

Package: purescript-profunctor
Repository: purescript/purescript-profunctor

#Cochoice Source

class Cochoice :: (Type -> Type -> Type) -> Constraintclass (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

Modules: Data.Profunctor; Data.Profunctor.Choice; Data.Profunctor.Closed; Data.Profunctor.Cochoice; Data.Profunctor.Costrong; Data.Profunctor.Join; Data.Profunctor.Split; Data.Profunctor.Star; Data.Profunctor.Strong