The natural-transformation package

[ Tags: 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]

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 5675 total (1174 in the last 30 days)
Rating 2.0 (1 ratings) [clear rating]
  • λ
  • λ
  • λ
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-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.