category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Functor.Combinators.Flip Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

newtype Flip p a b

Constructors Flip runFlip :: p b a Instances Coassociative Hask p => Associative Hask (Flip p) Associative Hask p => Coassociative 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

Produced by Haddock version 2.1.0