Data.Bifunctor.Flip

Documentation

newtype Flip p a b

Make a Functor over the first argument of a Bifunctor.

Constructors

Flip

Fields

runFlip :: p b a

Instances

Bifoldable p => Bifoldable (Flip p)

(Bifoldable (Flip p), Bifoldable1 p) => Bifoldable1 (Flip p)

Bifunctor p => Bifunctor (Flip p)

(Bifunctor (Flip p), Biapply p) => Biapply (Flip p)

(Bifunctor (Flip p), Bifoldable (Flip p), Bitraversable p) => Bitraversable (Flip p)

(Bifoldable1 (Flip p), Bitraversable (Flip p), Bitraversable1 p) => Bitraversable1 (Flip p)

(Bifunctor (Flip p), Biapplicative p) => Biapplicative (Flip p)

Bifunctor p => Functor (Flip p a)

Bifoldable p => Foldable (Flip p a)

(Functor (Flip p a), Foldable (Flip p a), Bitraversable p) => Traversable (Flip p a)

Eq (p b a) => Eq (Flip p a b)

(Eq (Flip p a b), Ord (p b a)) => Ord (Flip p a b)

Read (p b a) => Read (Flip p a b)

Show (p b a) => Show (Flip p a b)