@hackage invertible0.2.0.8

bidirectional arrows, bijective functions, and invariant functors

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.

  • Installation

  • Tested Compilers

  • Dependencies (11)

  • Dependents (2)

    @hackage/web-inv-route, @hackage/hsaml2

    • 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