invertible: bidirectional arrows, bijective functions, and invariant functors

[ bsd3, composition, control, data, library ] [ Propose Tags ]

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 [faq] 0.1, 0.1.1, 0.1.2, 0.2.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.0.4, 0.2.0.5
Dependencies arrows, base (>=4.8 && <5), haskell-src-meta (>=0.6 && <0.8), HList (==0.4.*), invariant, lens (==4.*), partial-isomorphisms, Piso, semigroupoids (>=4), template-haskell (==2.*), transformers, TypeCompose (>=0.3) [details]
License BSD-3-Clause
Copyright 2016
Author Dylan Simon
Maintainer dylan@dylex.net
Revised Revision 1 made by DylanSimon at Fri Jan 27 03:18:11 UTC 2017
Category Data, Control, Composition
Source repo head: git clone https://github.com/dylex/invertible
Uploaded by DylanSimon at Fri Aug 12 01:08:07 UTC 2016
Distributions LTSHaskell:0.2.0.5, NixOS:0.2.0.5, Stackage:0.2.0.5
Downloads 2742 total (68 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-08-12 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
arrows

Support the arrows package

EnabledAutomatic
hlist

Support the HList package

EnabledAutomatic
invariant

Support the invariant package

EnabledAutomatic
lens

Support the lens package

EnabledAutomatic
partial-isomorphisms

Support the partial-isomorphisms package

EnabledAutomatic
piso

Support the Piso package

EnabledAutomatic
semigroupoids

Support the semigroupoids package

EnabledAutomatic
typecompose

Support the TypeCompose package

EnabledAutomatic

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

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees