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

Control.Arrow.Square

Description

Synopsis

Documentation

arr :: Arrow a => Square '[] '[a] '[] '[] Source #

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

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

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

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

+-_⊗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