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.


[Skip to Readme]
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, 0.2.0.6, 0.2.0.7
Dependencies base (>=4.8 && <5), haskell-src-meta (>=0.6 && <0.9), invariant, lens (==4.*), partial-isomorphisms, semigroupoids (>=4), template-haskell (==2.*), transformers [details]
License BSD-3-Clause
Copyright 2016
Author Dylan Simon
Maintainer dylan@dylex.net
Category Data, Control, Composition
Source repo head: git clone https://github.com/dylex/invertible
Uploaded by DylanSimon at 2020-08-07T21:22:18Z
Distributions LTSHaskell:0.2.0.5, NixOS:0.2.0.7, Stackage:0.2.0.5
Downloads 5659 total (39 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

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

DisabledManual

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


Readme for invertible-0.2.0.7

[back to package description]
Haskell bidirectional arrows, bijective functions, and invariant functors

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.

See also: semigroupoids, TypeCompose, lens, semi-iso, partial-isomorphisms, and
Piso packages.

Artem Alimarine, et al. There and Back Again: Arrows for Invertible
  Programming. Haskell '05.