Data.Profunctor.Costrong

class (Profunctor p) <= Costrong p  where

The Costrong class provides the dual operations of the Strong class.

Members

• unfirst :: forall a b c. p (Tuple a c) (Tuple b c) -> p a b
• unsecond :: forall a b c. p (Tuple a b) (Tuple a c) -> p b c