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.

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.2.0, 0.2.0.1, 0.2.0.2
Dependencies base (>=4.8 && <5), haskell-src-meta (>=0.6 && <0.8), invariant, lens (==4.*), partial-isomorphisms, semigroupoids (>=4), template-haskell (==2.*), transformers, TypeCompose (>=0.3) [details]
License BSD3
Copyright 2016
Author Dylan Simon
Maintainer dylan@dylex.net
Stability Unknown
Category Data, Control, Composition
Source repository head: git clone https://github.com/dylex/invertible
Uploaded Tue Feb 21 20:22:59 UTC 2017 by DylanSimon
Distributions NixOS:0.2.0.2, Stackage:0.2.0.2, Tumbleweed:0.2.0.2
Downloads 151 total (38 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-02-21 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees