Control.Functor.Combinators.Flip

Documentation

newtype Flip p a b

Constructors

Flip

Fields

runFlip :: p b a

Instances

Associative Hask p => Coassociative Hask (Flip p)

Coassociative Hask p => Associative Hask (Flip p)

Symmetric Hask p => Symmetric Hask (Flip p)

Braided Hask p => Braided Hask (Flip p)

(Associative Hask p, Comonoidal Hask p i) => Comonoidal Hask (Flip p) i

(Coassociative Hask p, Monoidal Hask p i) => Monoidal Hask (Flip p) i

HasIdentity Hask p i => HasIdentity Hask (Flip p) i

PFunctor p Hask Hask => QFunctor (Flip p) Hask Hask

QFunctor p Hask Hask => PFunctor (Flip p) Hask Hask

Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask

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

liftFlip :: (p a b -> p c d) -> Flip p b a -> Flip p d c