@hackage invertible0.2.0.8

bidirectional arrows, bijective functions, and invariant functors

  • Installation

  • Tested Compilers

  • Dependencies (10)

  • Dependents (1)

    @hackage/web-inv-route

    • 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

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.