Lines Matching refs:Swap
2 module Data.Bifunctor.Swap (
3 Swap (..),
35 class Swap p where constructor
38 instance Swap (,) where
41 instance Swap Either where
45 instance Swap p => Swap (Flip p) where
48 instance (Swap p, Swap q) => Swap (Product p q) where
51 instance (Swap p, Swap q) => Swap (Sum p q) where
55 instance (Functor f, Swap p) => Swap (Tannen f p) where
58 instance (f ~ g, Functor f, Swap p) => Swap (Biff p f g) where
61 instance Swap ((,,) x) where
64 instance Swap ((,,,) x y) where
67 instance Swap ((,,,,) x y z) where
70 instance Swap ((,,,,,) x y z w) where
73 instance Swap ((,,,,,,) x y z w v) where