@hackage invertible0.2.0.5

bidirectional arrows, bijective functions, and invariant functors

Categories
License
BSD-3-Clause
Maintainer
dylan@dylex.net
Links
Versions
- 0.2.0.8 Tue, 4 Jul 2023
- 0.2.0.7 Fri, 19 Feb 2021
- 0.2.0.6 Wed, 10 Nov 2021
- 0.2.0.5 Wed, 10 Nov 2021
- 0.2.0.4 Wed, 10 Nov 2021
- 0.2.0.3 Sat, 17 Mar 2018

Installation
In your cabal file:
Tested Compilers
- 7.10.3
Dependencies (11)
- base >=4.8 && <4.14
- template-haskell >=2 && <3
- transformers
- Piso
- TypeCompose >=0.3
- arrows
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.

@hackage invertible0.2.0.5

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (11)

Dependents (5)

Package Flags