bidirectional arrows, bijective functions, and invariant functors

invertible alternatives and similar packages

Based on the "Composition" category

• TypeCompose

  6.2 0.0 invertible VS TypeCompose

  Type composition classes & instances

• composition-tree

  6.1 0.0 invertible VS composition-tree

  Composition trees for arbitrary monoids.

• composition

  5.7 0.0 invertible VS composition

  Combinators for unorthodox function composition

• composition-extra

  5.7 0.0 invertible VS composition-extra

  Combinators for unorthodox structure composition

Do you think we are missing an alternative of invertible or a related project?