natural-transformation: A natural transformation package.

[ bsd3, control, library ] [ Propose Tags ] [ Report a vulnerability ]

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]

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

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.2, 0.3, 0.3.1, 0.4, 0.4.1
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), semigroups (>=0.16 && <0.21) [details]
Tested with ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.1
License BSD-3-Clause
Copyright Copyright (c) 2015-2016 The University of Kansas
Author Andy Gill
Maintainer Andy Gill <andygill@ku.edu>
Revised Revision 12 made by ryanglscott at 2023-09-30T12:01:20Z
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 2016-11-15T19:59:14Z
Distributions Arch:0.4.1, Debian:0.4, Fedora:0.4, LTSHaskell:0.4.1, NixOS:0.4, Stackage:0.4.1
Reverse Dependencies 17 direct, 744 indirect [details]
Downloads 19614 total (96 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-16 [all 1 reports]

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.