From d2ebddeab7f6f878cbde250765900342e34a6c88 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Thu, 19 Oct 2023 16:23:05 -0400 Subject: [PATCH] Update README --- README.md | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ea93c9d..fea32fe 100644 --- a/README.md +++ b/README.md @@ -3,10 +3,14 @@ This package provides utilities for working with lenses, prisms, traversals, and other optics in Idris. This library uses *profunctor optics*. -Eventually, this library will also include elaboration scripts to automatically -generate lenses for a particular datatype. +## Comparison to Monocle -## Comparisons +[Monocle](https://github.com/stefan-hoeck/idris2-monocle) is another Idris 2 library +for lenses. That library represents lenses using a datatype, which is often less +efficient at run-time, but results in better error messages and is generally +simpler to understand. + +## Comparisons to Non-Idris Libraries This library is inspired by the Haskell libraries [lens](https://hackage.haskell.org/package/lens-5.2.2), [optics](https://hackage.haskell.org/package/optics) and [fresnel](https://hackage.haskell.org/package/fresnel), @@ -46,3 +50,7 @@ Or you can install using [pack](https://github.com/stefan-hoeck/idris2-pack): pack install lens ``` +## Thanks + +Special thanks to [Stefan Höck](https://github.com/stefan-hoeck) for assistance +with writing elaboration scripts.