Package0.4.1Control
natural-transformation
A natural transformation package.
- Version0.4.1
- CategoryControl
- LicenceBSD-3-Clause
- AuthorAndy Gill
- MaintainerAndy Gill <andygill@ku.edu>
- Homepagegithub.com/ku-fpg/natural-transformation
- Pinned byhackage natural-transformation 0.4.1
- Sourcehackage.haskell.org/package/natural-transformation-0.4.1
Modules
- Control.NaturalA data type and class for natural transformations.
- Control.Natural.RULESGHC RULE for Natural Transformation RULES "natural free theorem" [~]
- Control.ObjectAn 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.23.0.0with GHC
Used by in this set · 0
Nothing in this set depends on it.