The natural-transformation package

[Tags:bsd3, library, test]

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]

Properties

Versions 0.1, 0.2, 0.3, 0.3.1, 0.4
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), semigroups (>=0.16 && <0.19) [details]
License BSD3
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 repository head: git clone https://github.com/ku-fpg/natural-transformation
Uploaded Tue Nov 15 19:59:14 UTC 2016 by ryanglscott
Updated Thu Jun 15 15:35:01 UTC 2017 by ryanglscott to revision 1
Distributions Arch:0.4, LTSHaskell:0.4, NixOS:0.4, Stackage:0.4, Tumbleweed:0.4
Downloads 4019 total (1743 in the last 30 days)
Votes
1 []
Status Docs available [build log]
Last success reported on 2016-11-16 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for natural-transformation

Readme for natural-transformation-0.4

natural-transformation Hackage version Build Status

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.