natural-transformation: A natural transformation package.

[ bsd3, control, library ] [ Propose Tags ]

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]
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 BSD-3-Clause
Copyright Copyright (c) 2015-2016 The University of Kansas
Author Andy Gill
Maintainer Andy Gill <andygill@ku.edu>
Revised Revision 7 made by ryanglscott at Sat Dec 1 11:30:49 UTC 2018
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 Tue Nov 15 19:59:14 UTC 2016
Distributions Arch:0.4, Debian:0.4, Fedora:0.4, LTSHaskell:0.4, NixOS:0.4, Stackage:0.4
Downloads 9206 total (79 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-16 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees


Readme for natural-transformation-0.4

[back to package description]

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.