invertible

bidirectional arrows, bijective functions, and invariant functors

Version on this page:	0.2.0.5
LTS Haskell 19.33:	0.2.0.7@rev:1
Stackage Nightly 2023-12-08:	0.2.0.8
Latest on Hackage:	0.2.0.8

See all snapshots invertible appears in

BSD-3-Clause licensed by Dylan Simon

Maintained by dylan@dylex.net

This version can be pinned in stack with:invertible-0.2.0.5@sha256:0278afd7a686edda7243a031d23922494b9a2e517ea9972f0dc1c0f1dd8404a8,3623

Module documentation for 0.2.0.5

Control
- Control.Invertible
  - Control.Invertible.BiArrow
  - Control.Invertible.Functor
  - Control.Invertible.MonadArrow
  - Control.Invertible.Monoidal
    - Control.Invertible.Monoidal.Free
Data
- Data.Invertible
  - Data.Invertible.Bijection
  - Data.Invertible.Bits
  - Data.Invertible.Bool
  - Data.Invertible.Coerce
  - Data.Invertible.Complex
  - Data.Invertible.Either
  - Data.Invertible.Enum
  - Data.Invertible.Function
  - Data.Invertible.Functor
  - Data.Invertible.List
  - Data.Invertible.Maybe
  - Data.Invertible.Monad
  - Data.Invertible.Monoid
  - Data.Invertible.Ord
  - Data.Invertible.Prelude
  - Data.Invertible.TH
  - Data.Invertible.Tuple

Depends on 8 packages(full list with versions):

base, haskell-src-meta, invariant, lens, partial-isomorphisms, semigroupoids, template-haskell, transformers

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.