The invertible package

[Tags:bsd3, library, test]

Representations and operations for bidirectional arrows (total isomorphisms: an arrow paired with its inverse). Classes for invariant functors and monoidal functors. Includes a number of useful bijections and operations, as well as interoperability with related packages.

Most users will want to import one or more of Data.Invertible qualified, Control.Invertible.Monoidal unqualified, and any additional compatibility modules.


Versions 0.1, 0.1.1, 0.1.2, 0.2.0,,
Dependencies base (>=4.8 && <5), haskell-src-meta (>=0.6 && <0.9), invariant, lens (==4.*), partial-isomorphisms, semigroupoids (>=4), template-haskell (==2.*), transformers, TypeCompose (>=0.3) [details]
License BSD3
Copyright 2016
Author Dylan Simon
Category Data, Control, Composition
Source repository head: git clone
Uploaded Tue Feb 21 20:22:59 UTC 2017 by DylanSimon
Updated Fri May 5 01:48:52 UTC 2017 by DylanSimon to revision 1
Distributions LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 286 total (11 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2017-02-21 [all 1 reports]
Hackage Matrix CI




arrowsSupport the arrows packageDisabledManual
invariantSupport the invariant packageEnabledManual
lensSupport the lens packageEnabledManual
partial-isomorphismsSupport the partial-isomorphisms packageEnabledManual
pisoSupport the Piso packageDisabledManual
semigroupoidsSupport the semigroupoids packageEnabledManual
typecomposeSupport the TypeCompose packageEnabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees