Package0.4Control
natural-transformation
A natural transformation package.
- Version0.4
- CategoryControl
- LicenceBSD-3-Clause
- AuthorAndy Gill
- MaintainerAndy Gill <andygill@ku.edu>
- Homepagegithub.com/ku-fpg/natural-transformation
- Pinned byhackage natural-transformation 0.4
- Sourcehackage.haskell.org/package/natural-transformation-0.4
Modules
3 modules- Control.Natural5A data type and class for natural transformations.
- Control.Natural.RULES0GHC RULE for Natural Transformation RULES "natural free theorem" [~]
- Control.Object2An Object type, which is a natural transformation into the IO monad.
Description
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.
Depends on
1 package- base-4.20.2.0with GHC
Used by in this set · 0
Nothing in this set depends on it.