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 repo head: git clone https://github.com/ku-fpg/natural-transformation
Uploaded Tue Nov 15 19:59:14 UTC 2016 by ryanglscott
Updated Thu Feb 15 13:47:02 UTC 2018 by ryanglscott to revision 4   [What is this?]
Distributions Arch:0.4, Fedora:0.4, LTSHaskell:0.4, NixOS:0.4, Stackage:0.4, openSUSE:0.4
Downloads 8238 total (127 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.