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.4.1.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.9 && <5) [details] |
| Tested with | ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.6, ghc ==9.8.2, ghc ==9.10.1 |
| License | BSD-3-Clause |
| Copyright | Copyright (c) 2015-2016 The University of Kansas |
| Author | Andy Gill |
| Maintainer | Andy Gill <andygill@ku.edu> |
| 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 https://github.com/ku-fpg/natural-transformation |
| Uploaded | by ryanglscott at 2024-10-27T14:02:40Z |
| Distributions | Arch:0.4.1, Debian:0.4, Fedora:0.4, LTSHaskell:0.4.1, NixOS:0.4, Stackage:0.4.1 |
| Reverse Dependencies | 17 direct, 745 indirect [details] |
| Downloads | 19682 total (43 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 2024-10-27 [all 1 reports] |
Readme for natural-transformation-0.4.1
[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.