@hackage invertible0.2.0.3
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 && <4.10
- 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
(on by default)
Support the TypeCompose package
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.