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.9), 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
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
Updated Fri May 5 01:48:52 UTC 2017 by DylanSimon to revision 1
Distributions LTSHaskell:0.2.0.2, NixOS:0.2.0.2, Stackage:0.2.0.2, Tumbleweed:0.2.0.2
Downloads 339 total (24 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-02-21 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
arrows

Support the arrows package

DisabledManual
invariant

Support the invariant package

EnabledManual
lens

Support the lens package

EnabledManual
partial-isomorphisms

Support the partial-isomorphisms package

EnabledManual
piso

Support the Piso package

DisabledManual
semigroupoids

Support the semigroupoids package

EnabledManual
typecompose

Support the TypeCompose package

EnabledManual

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