 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Morphism.Span |
|
| Constructors | ||||||
| ||||||
| Constructors | ||||||
| ||||||
| ||||||||
| ||||||||
| Description | ||||||||
| Spans and Cospans http://en.wikipedia.org/wiki/Span_(category_theory) | ||||||||
| Documentation | ||||||||
| newtype Span (~>) x y z | ||||||||
| ||||||||
| newtype Cospan (~>) x y z | ||||||||
| ||||||||
| Produced by Haddock version 2.1.0 | ||||||||