invertible

bidirectional arrows, bijective functions, and invariant functors

Version on this page:0.2.0.5
LTS Haskell 12.24:0.2.0.5
Stackage Nightly 2018-12-19:0.2.0.5
Latest on Hackage:0.2.0.5

See all snapshots invertible appears in

BSD3 licensed by Dylan Simon
Maintained by dylan@dylex.net

Module documentation for 0.2.0.5

There are no documented modules for this package.

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.
comments powered byDisqus