Data.Profunctor.Cowrap

newtype Cowrap p b a

Provides a Contravariant over the first argument of a Profunctor.

Constructors

• Cowrap (p a b)

Instances

• Newtype (Cowrap p b a) _
• (Eq (p a b)) => Eq (Cowrap p b a)
• (Ord (p a b)) => Ord (Cowrap p b a)
• (Show (p a b)) => Show (Cowrap p b a)
• (Profunctor p) => Contravariant (Cowrap p b)