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.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.4-bp150.2.4 info | GA Release | 2018-08-01 | 15 |
|
|
| 0.4-bp150.2.6 info | GA Release | 2018-07-30 | 15 |
|
|