@@ -1,8 +1,9 @@
11name: semi-iso
22version: 1.0.0.0
33synopsis: Weakened partial isomorphisms, reversible computations.
4−description: Semi-isomorphisms are partial isomorphisms with weakened iso laws.
5− And they work with Iso and Prism from @lens@!
4+description:
5+ Semi-isomorphisms are partial isomorphisms with weakened iso laws. They are a basic
6+ building block of reversible computations. And they work with Iso and Prism from @lens@!
67 .
78 The module "Control.Lens.SemiIso" defines semi-isomorphisms and provides some
89 basic semi-isos and combinators. A @SemiIso' a b@ can be applied in both directions