ghc-natural-transformation
A natural transformation package
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.
BSD-3-Clausecloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...