The dual-category package
- No 'category' field.
- No 'maintainer' field.
- A 'license-file' is not specified.
A data type that is essentially a pair of categories, from a->b and b->a. However a whole bunch of instances are defined on such categories, which allow them to be used almost as arrows. One possible use case are composable reversible functions.
|Dependencies||base (<=4.9), categories, generalised-functor (>=0.0.4) [details]|
|Uploaded||Tue Oct 20 02:08:32 UTC 2015 by clintonmead|
- dual-category-0.0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees