category-extras-0.44.4: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Bifunctor.Composition

Description

 

Documentation

module Control.Bifunctor.Braided

newtype CompB p f g a b Source

Constructors

CompB 

Fields

runCompB :: p (f a b) (g a b)
 

Instances

(Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g) 
(Bifunctor p, Symmetric f, Symmetric g) => Symmetric (CompB p f g) 
(Bifunctor p, Braided f, Braided g) => Braided (CompB p f g) 
(Bifunctor p, Bifunctor f, Bifunctor g) => Functor (CompB p f g a) 

liftCompB :: Bifunctor p => (f a b -> f c d) -> (g a b -> g c d) -> CompB p f g a b -> CompB p f g c dSource