@hackage invertible0.2.0.8
bidirectional arrows, bijective functions, and invariant functors
Categories
License
BSD-3-Clause
Maintainer
dylan@dylex.net
Links
Versions
Installation
Tested Compilers
Dependencies (11)
- Piso >0.1
- TypeCompose >=0.3
- arrows
- base >=4.8 && <5
- haskell-src-meta >=0.6 && <0.9
- invariant Show all…
Dependents (5)
@hackage/web-inv-route, @hackage/hsaml2, @hackage/invertible-hxt, @hackage/invertible-hlist, @hackage/multivariant
Package Flags
arrows
(off by default)
Support the arrows package
invariant
(on by default)
Support the invariant package
lens
(on by default)
Support the lens package
partial-isomorphisms
(on by default)
Support the partial-isomorphisms package
piso
(off by default)
Support the Piso package
semigroupoids
(on by default)
Support the semigroupoids package
typecompose
(off by default)
Support the TypeCompose 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.