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

Control.Arrow.Square

Description

Synopsis

arr :: (Arrow a, Profunctor a) => Square '[] '[a] '[] '[]
(>>>) :: (Arrow a, Profunctor a) => Square '[a, a] '[a] '[] '[]
second :: (Arrow a, Profunctor a) => Square '[a] '[a] '[(,) d] '[(,) d]
(***) :: Arrow a => Square21 '[a] '[a] '[a] (,) (,)
right :: (ArrowChoice a, Profunctor a) => Square '[a] '[a] '[Either d] '[Either d]
(+++) :: ArrowChoice a => Square21 '[a] '[a] '[a] Either Either

Documentation

arr :: (Arrow a, Profunctor a) => Square '[] '[a] '[] '[] Source #

+-----+
|     |
|  @--a
|     |
+-----+

(>>>) :: (Arrow a, Profunctor a) => Square '[a, a] '[a] '[] '[] Source #

+-----+
a--\  |
|  @--a
a--/  |
+-----+

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

H²-⊗--H
|  v  |
a²-@--a
|  v  |
H²-⊗--H

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

H²-⊕--H
|  v  |
a²-@--a
|  v  |
H²-⊕--H