Document the laws of the -WithIndex classes - #58

Open

jozanek wants to merge 2 commits into

haskellari:masterfrom

jozanek:doc/issue-745-withindex-laws

Commits on Jun 9, 2026

Document the laws of the -WithIndex classes
jozanek
committed
ced30ee

Commits on Jun 19, 2026

Drop the index-uniqueness claim and the lens issue reference per review
jozanek
committed
447907b