Data.Functor.Flip

newtype Flip :: forall k1 k2. (k1 -> k2 -> Type) -> k2 -> k1 -> Typenewtype Flip p a b

Flips the order of the type arguments of a Bifunctor.

Constructors

• Flip (p b a)

Instances

• Newtype (Flip p a b) _
• (Eq (p b a)) => Eq (Flip p a b)
• (Ord (p b a)) => Ord (Flip p a b)
• (Show (p a b)) => Show (Flip p b a)
• (Bifunctor p) => Functor (Flip p a)
• (Bifunctor p) => Bifunctor (Flip p)
• (Biapply p) => Biapply (Flip p)
• (Biapplicative p) => Biapplicative (Flip p)
• (Profunctor p) => Contravariant (Flip p b)
• (Semigroupoid p) => Semigroupoid (Flip p)
• (Category p) => Category (Flip p)