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	None
Language	Haskell98

Data.Profunctor.Collage

Description

Synopsis

data Collage k b a where
- 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)

Documentation

data Collage k b a where #

The cograph of a Profunctor.

Constructors

Instances

Profunctor k => Semigroupoid (Collage k :: Either Type Type -> Either Type Type -> Type) #
Instance details Defined in Data.Profunctor.Collage Methods o :: Collage k j k1 -> Collage k i j -> Collage k i k1 #
Profunctor k => Ob (Collage k :: Either Type Type -> Either Type Type -> Type) (Right a :: Either Type Type) #
Instance details Defined in Data.Profunctor.Collage Methods semiid :: Collage k (Right a) (Right a) #
Profunctor k => Ob (Collage k :: Either Type Type -> Either Type Type -> Type) (Left a :: Either Type Type) #
Instance details Defined in Data.Profunctor.Collage Methods semiid :: Collage k (Left a) (Left a) #