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) |