The dual-category package

[maintain]
Warnings:

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.

Properties

Version0.0.1
Dependenciesbase (<=4.9), categories, generalised-functor (>=0.0.4) [details]
LicenseBSD3
Maintainernone
UploadedTue Oct 20 02:08:32 UTC 2015 by clintonmead

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees