Module
Data.Functor.Flip
- Package
- functors
- Repository
- purescript/purescript-functors
#Flip Source
newtype Flip :: forall k1 k2. (k1 -> k2 -> Type) -> k2 -> k1 -> Type
newtype 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)