License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Safe Haskell	Safe
Language	Haskell2010

Data.Profunctor.Square

Contents

Description

Synopsis

second :: Strong p => Square '[p] '[p] '[(,) a] '[(,) a]
right :: Choice p => Square '[p] '[p] '[Either a] '[Either a]
closed :: Closed p => Square '[p] '[p] '[(->) a] '[(->) a]
map :: (Mapping p, Functor f) => Square '[p] '[p] '[f] '[f]
fromHom :: Square '[(->)] '[] '[] '[]
toHom :: Square '[] '[(->)] '[] '[]
fromProcompose :: (Profunctor p, Profunctor q) => Square '[Procompose q p] '[p, q] '[] '[]
toProcompose :: (Profunctor p, Profunctor q) => Square '[p, q] '[Procompose q p] '[] '[]

Squares for profunctor subclasses

second :: Strong p => Square '[p] '[p] '[(,) a] '[(,) a] Source #

+-a⊗_-+
|  v  |
p--@--p
|  v  |
+-a⊗_-+

+-a⊕_-+
|  v  |
p--@--p
|  v  |
+-a⊕_-+

closed :: Closed p => Square '[p] '[p] '[(->) a] '[(->) a] Source #

+-a→_-+
|  v  |
p--@--p
|  v  |
+-a→_-+

map :: (Mapping p, Functor f) => Square '[p] '[p] '[f] '[f] Source #

+--f--+
|  v  |
p--@--p
|  v  |
+--f--+

Squares for `(->)`

fromHom :: Square '[(->)] '[] '[] '[] Source #

 +-----+
 |     |
(→)-@  |
 |     |
 +-----+

toHom :: Square '[] '[(->)] '[] '[] Source #

+-----+
|     |
|  @-(→)
|     |
+-----+

 +-----+
 |   /-p
q.p-@  |
 |   \-q
 +-----+

 +-----+
 p-\   |
 |  @-q.p
 q-/   |
 +-----+