Data.Bifunctor.Flip

Documentation

newtype Flip p a b

Make a Bifunctor flipping the arguments of a Bifunctor.

Constructors

Flip

Fields

runFlip :: p b a

Instances

BifunctorFunctor k k k k (Flip k k)

Bifunctor p => Bifunctor (Flip * * p)

Bifoldable p => Bifoldable (Flip * * p)

Bitraversable p => Bitraversable (Flip * * p)

Biapplicative p => Biapplicative (Flip * * p)

Bifunctor p => Functor (Flip * * p a)

Bifoldable p => Foldable (Flip * * p a)

Bitraversable p => Traversable (Flip * * p a)

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

Ord (p b a) => Ord (Flip k k p a b)

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

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

Generic (Flip k k p a b)

type Rep (Flip k k1 p a b)