https://github.com/dylex/invertible

Haskell bidirectional arrows, bijective functions, and invariant functors
https://github.com/dylex/invertible

Last synced: 11 months ago
JSON representation

Haskell bidirectional arrows, bijective functions, and invariant functors

• Host: GitHub
• URL: https://github.com/dylex/invertible
• Owner: dylex
• License: bsd-3-clause
• Created: 2016-04-05T17:09:40.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2023-07-04T16:53:31.000Z (almost 3 years ago)
• Last Synced: 2025-04-23T04:28:47.943Z (about 1 year ago)
• Language: Haskell
• Homepage: http://hackage.haskell.org/package/invertible
• Size: 131 KB
• Stars: 5
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

          
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.