profunctor-extras-0.3.1.3: Profunctor extras

Data.Profunctor.Collage

Synopsis

Documentation

data Collage k b a whereSource

The cograph of a profunctor

Constructors

L :: (b -> b') -> Collage k (L b) (L b') 
R :: (a -> a') -> Collage k (R a) (R a') 
C :: k b a -> Collage k (L b) (R a) 

Instances

Profunctor k => Semigroupoid (Collage k) 
Profunctor k => Ob (Collage k) (R a) 
Profunctor k => Ob (Collage k) (L a)