name: dual-category version: 0.0.1 cabal-version: 1.12 build-type: Simple license: BSD3 synopsis: A pair of categories, from a->b and b->a description: 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. library exposed-modules: Data.DualCategory Data.DualCategory.Instances.Categories.Kleisli build-depends: base <=4.9, categories -any, generalised-functor >=0.0.4 default-language: Haskell2010 hs-source-dirs: src other-modules: Data.DualCategory.DualCategory Data.DualCategory.Instances.Categories Data.DualCategory.Instances.GeneralisedFunctor ghc-options: -ferror-spans test-suite test-dual-category type: exitcode-stdio-1.0 main-is: Main.hs build-depends: base <=4.9, categories -any, generalised-functor >=0.0.4 default-language: Haskell2010 hs-source-dirs: test ghc-options: -ferror-spans