natural-transformation: A natural transformation package.
A natural transformation transforms a container f a into another
container g a. Natural transformations act as functor morphisms
in category theory.
The naming of ~>, :~> and $$ were taken,
with permission, from Edward Kmett's indexed package.
[Skip to Readme]
Downloads
- natural-transformation-0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1, 0.2, 0.3, 0.3.1, 0.4, 0.4.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.7 && <5) [details] |
| Tested with | ghc ==7.8.4, ghc ==7.10.3 |
| License | BSD-3-Clause |
| Copyright | Copyright (c) 2015 The University of Kansas |
| Author | Andy Gill |
| Maintainer | Andy Gill <andygill@ku.edu> |
| Uploaded | by AndyGill at 2016-01-25T19:50:07Z |
| Category | Control |
| Home page | https://github.com/ku-fpg/natural-transformation |
| Bug tracker | https://github.com/ku-fpg/natural-transformation/issues |
| Source repo | head: git clone git://github.com/ku-fpg/natural-transformation |
| Distributions | Arch:0.4.1, LTSHaskell:0.4.1, Stackage:0.4.1 |
| Reverse Dependencies | 17 direct, 773 indirect [details] |
| Downloads | 19976 total (20 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2016-01-25 [all 1 reports] |
Readme for natural-transformation-0.3
[back to package description]natural-transformation 
A natural transformation transforms a container f a into another container g a.
Natural transformations act as functor morphisms in category theory.
Technically, f and g should be functors, but we allow any correctly-shaped structure.