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

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.9 && <5) [details]
Tested with ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.6, ghc ==9.8.2, ghc ==9.10.1
License BSD-3-Clause
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 by ryanglscott at 2024-10-27T14:02:40Z
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 19651 total (70 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 2024-10-27 [all 1 reports]

Readme for natural-transformation-0.4.1

[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.