Data.Bifunctor.Swap

Documentation

class Swap p where

Symmetric Bifunctors.

swap . swap = id

If p is a Bifunctor the following property is assumed to hold:

swap . bimap f g = bimap g f . swap

Swap isn't a subclass of Bifunctor, as for example

>>> newtype Bipredicate a b = Bipredicate (a -> b -> Bool)

is not a Bifunctor but has Swap instance

>>> instance Swap Bipredicate where swap (Bipredicate p) = Bipredicate (flip p)

Methods

swap :: p a b -> p b a

Instances

Swap Either

Defined in Data.Bifunctor.Swap

Methods

swap :: Either a b -> Either b a

Swap (,)

Defined in Data.Bifunctor.Swap

Methods

swap :: (a, b) -> (b, a)

Swap p => Swap (Flip p)

Defined in Data.Bifunctor.Swap

Methods

swap :: Flip p a b -> Flip p b a

(Swap p, Swap q) => Swap (Sum p q)

Defined in Data.Bifunctor.Swap

Methods

swap :: Sum p q a b -> Sum p q b a

(Swap p, Swap q) => Swap (Product p q)

Defined in Data.Bifunctor.Swap

Methods

swap :: Product p q a b -> Product p q b a

(Functor f, Swap p) => Swap (Tannen f p)

Defined in Data.Bifunctor.Swap

Methods

swap :: Tannen f p a b -> Tannen f p b a

(f ~ g, Functor f, Swap p) => Swap (Biff p f g)

Defined in Data.Bifunctor.Swap

Methods

swap :: Biff p f g a b -> Biff p f g b a