Control.Arrow.Square

Documentation

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

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

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

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

second :: (Arrow a, Profunctor a) => Square '[a] '[a] '[(,) d] '[(,) d]

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

(***) :: Arrow a => Square21 '[a] '[a] '[a] (,) (,)

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

right :: (ArrowChoice a, Profunctor a) => Square '[a] '[a] '[Either d] '[Either d]

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

(+++) :: ArrowChoice a => Square21 '[a] '[a] '[a] Either Either

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