Copyright | (C) 2011-2015 Edward Kmett, |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | provisional |

Portability | MPTCs |

Safe Haskell | Trustworthy |

Language | Haskell98 |

# Documentation

data Collage k b a where Source

The cograph of a `Profunctor`

.

L :: (b -> b') -> Collage k (Left b) (Left b') | |

R :: (a -> a') -> Collage k (Right a) (Right a') | |

C :: k b a -> Collage k (Left b) (Right a) |

Profunctor k => Semigroupoid (Either * *) (Collage k) | |

Profunctor k => Ob (Either * *) (Collage k) (Right * * a) | |

Profunctor k => Ob (Either * *) (Collage k) (Left * * a) |