The natural-transformation package

[maintain]

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

Versions0.1, 0.2, 0.3, 0.3, 0.3.1, 0.4
Dependenciesbase (>=4.7 && <5) [details]
LicenseBSD3
CopyrightCopyright (c) 2015 The University of Kansas
AuthorAndy Gill
MaintainerAndy Gill <andygill@ku.edu>
StabilityProvisional
CategoryControl
Home pagehttps://github.com/ku-fpg/natural-transformation
Bug trackerhttps://github.com/ku-fpg/natural-transformation/issues
Source repositoryhead: git clone git://github.com/ku-fpg/natural-transformation
UploadedMon Jan 25 19:49:19 UTC 2016 by AndyGill

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for natural-transformation-0.3

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.