@hackage / invertible

bidirectional arrows, bijective functions, and invariant functors

Latest0.2.0.8

About

Metadata

  • Last updated , by DylanSimon
  • License BSD-3-Clause

  • Maintained by: dylan@dylex.net

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 7.10.3

Package Flags

Use the -f option with cabal commands to enable 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

Readme

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.