semigroupoid-extras-5: Semigroupoids that depend on PolyKinds

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
PortabilityMPTCs
Safe HaskellNone
LanguageHaskell98

Data.Profunctor.Collage

Description

 

Synopsis

Documentation

data Collage k b a where #

The cograph of a Profunctor.

Constructors

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) 

Instances

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

Methods

o :: c j k1 -> c i j -> c i k1 #

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

Methods

semiid :: Right * * a a a #

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

Methods

semiid :: Left * * a a a #